git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4263 from clayrat/monad-helpers
6f08595Ahmad Salim Al-Sibahi
libs/contrib/Control/Monad/Syntax.idrnew file+18
compare with master
unifiedsplit
@@ -0,0 +1,18 @@
1+module Control.Monad.Syntax
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/contrib/contrib.ipkg+1
@@ -13,6 +13,7 @@ modules = CFFI
13
13
14 , Control.Delayed
14 , Control.Delayed
15 , Control.Isomorphism.Primitives
15 , Control.Isomorphism.Primitives
16+ , Control.Monad.Syntax
16 , Control.Partial
17 , Control.Partial
17 , Control.Pipeline
18 , Control.Pipeline
18
19