git.iko.soy/Idris-dev
on master help sign in
Add helper functions for Monad
28c3928Alex Gryzlov
libs/base/Control/Monad.idrnew file+18
compare with master
unifiedsplit
@@ -0,0 +1,18 @@
1+module Control.Monad
2+
3+%default total
4+%access public export
5+
6+infixr 1 =<<, <=<, >=>
7+
8+||| Left-to-right Kleisli composition of monads.
9+(>=>) : Monad m => (a -> m b) -> (b -> m c) -> (a -> m c)
10+(>=>) f g = \x => f x >>= g
11+
12+||| Right-to-left Kleisli composition of monads, flipped version of `>=>`.
13+(<=<) : Monad m => (b -> m c) -> (a -> m b) -> (a -> m c)
14+(<=<) = flip (>=>)
15+
16+||| Right-to-left monadic bind, flipped version of `>>=`.
17+(=<<) : Monad m => (a -> m b) -> m a -> m b
18+(=<<) = flip (>>=)
libs/base/base.ipkg+1
@@ -8,6 +8,7 @@ modules = Control.Arrow
8 , Control.IOExcept
8 , Control.IOExcept
9 , Control.Isomorphism
9 , Control.Isomorphism
10
10
11+ , Control.Monad
11 , Control.Monad.Identity
12 , Control.Monad.Identity
12 , Control.Monad.Reader
13 , Control.Monad.Reader
13 , Control.Monad.RWS
14 , Control.Monad.RWS