small fixes patch

Christian Maeder maeder at tzi.de
Wed Jan 26 09:38:32 EST 2005


> -lookup :: Ord k => k -> Map k a -> Maybe a
> +lookup :: (Monad m,Ord k) => k -> Map k a -> m a
> +lookup' :: Ord k => k -> Map k a -> Maybe a

How about providing lookup (as is or as your hidden lookup') and lookupM 
as generalization instead?

Cheers Christian


More information about the Libraries mailing list