flatten for monads
join is already in use
for JoinSemilattice
commit8a86c2a509c2d8b6231ff57946b3de0429d529c4
authorraichoo <raichoo@googlemail.com>
dateWed 31 Oct 2012, 22:02 (14 years ago)
parent2a536ec
lib/Prelude/Monad.idr+2−1
@@ -42,4 +42,5 @@ mapM f xs = sequence (map f xs)
4242mapM_ : Monad m => (a -> m b) -> List a -> m ()
4343mapM_ f xs = sequence_ (map f xs)
4444
45−
45+flatten : Monad m => m (m a) -> m a
46+flatten a = a >>= id