specialize functions that fail in a Monad to Maybe (proposal #2309)
authorRoss Paterson <ross@soi.city.ac.uk>
Tue, 22 Jul 2008 15:48:12 +0000 (15:48 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Tue, 22 Jul 2008 15:48:12 +0000 (15:48 +0000)
commitcf99591f4bfda31b3c713b5ccf17e83b7d819963
tree6f40b0876eada5c68d39fb9227c14f5657eb3544
parente22528eb63b2a1f009ae428af7a7e4923733f9ee
specialize functions that fail in a Monad to Maybe (proposal #2309)

Specialize functions signatures like

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

for simplicity and safety.  No information is lost, as each of these
functions had only one use of fail, which is now changed to Nothing.
Data/IntMap.hs
Data/IntSet.hs
Data/Map.hs
Data/Set.hs