On Wed, Feb 20, 2008 at 10:46 PM, <[EMAIL PROTECTED]> wrote: > Quoting Neil Mitchell <[EMAIL PROTECTED]>: > > > Yes, its the projection onto another type: > > > > [] = Nothing > > (x:xs) = Just (x, xs) > > Also known as msplit: > > http://www.haskell.org/haskellwiki/New_monads/MonadSplit
Almost. The projection has type f a -> Maybe (a, f a), but msplit has type f a -> f (Maybe (a, f a)). -- Dave Menendez <[EMAIL PROTECTED]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
