[Haskell-cafe] Generalized null / zero

adam vogt vogt.adam at gmail.com
Wed Jan 29 02:40:48 UTC 2014


Hi Alvaro,

1. null . toList :: Foldable t => t a -> Bool
2. mappend, mplus, <|>  are supposed to drop arguments that are mempty,
mzero, empty respectively. There's no requirement to prefer the first
argument, but that's what the MonadPlus Maybe instance does at least.

--
Adam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140128/ddd167fc/attachment.html>


More information about the Haskell-Cafe mailing list