#2309: containers: specialize functions that fail in a Monad to Maybe

Nicolas Pouillard nicolas.pouillard at gmail.com
Mon Jul 21 09:19:43 EDT 2008


Excerpts from Ross Paterson's message of Sat Jul 19 01:29:40 +0200 2008:
> To summarize:
> 
> Several container classes have types like
> 
>     lookup :: (Monad m, Ord k) => k -> Map k a -> m a

And what about keeping the monadic version under another name like lookupM?

Cheers,

-- 
Nicolas Pouillard aka Ertai
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/libraries/attachments/20080721/5faa8f49/signature.bin


More information about the Libraries mailing list