move into contrib
commit6aea36c17881c36a6d984ec106b372356d318560
authorAlex Gryzlov <alexander.gryzlov@adform.com>
dateTue 2 Jan 2018, 13:04 (9 years ago)
parent28c3928
libs/base/base.ipkg−1
@@ -8,7 +8,6 @@ modules = Control.Arrow
88 , Control.IOExcept
99 , Control.Isomorphism
1010
11− , Control.Monad
1211 , Control.Monad.Identity
1312 , Control.Monad.Reader
1413 , Control.Monad.RWS
libs/base/Control/Monad.idr → libs/contrib/Control/Monad/Syntax.idrrenamed+2−2
@@ -1,4 +1,4 @@
1−module Control.Monad
1+module Control.Monad.Syntax
22
33%default total
44%access public export
@@ -15,4 +15,4 @@ infixr 1 =<<, <=<, >=>
1515
1616||| Right-to-left monadic bind, flipped version of `>>=`.
1717(=<<) : Monad m => (a -> m b) -> m a -> m b
18−(=<<) = flip (>>=)
18+(=<<) = flip (>>=)
libs/contrib/contrib.ipkg+1
@@ -13,6 +13,7 @@ modules = CFFI
1313
1414 , Control.Delayed
1515 , Control.Isomorphism.Primitives
16+ , Control.Monad.Syntax
1617 , Control.Partial
1718 , Control.Pipeline
1819