Merge pull request #1651 from Melvar/pureM-function
Turn pureM into a function
commit5ce2c239dc54677027dbf82bdf297cbe85ca200f
authorEdwin Brady <edwin.brady@gmail.com>
dateSat 18 Oct 2014, 12:27 (12 years ago)
parent22eb6a9c0ac681
libs/effects/Effects.idr+2−1
@@ -181,7 +181,8 @@ infixl 2 <$>
181181pure : a -> Eff a xs (\v => xs)
182182pure = value
183183
184−syntax pureM [val] = with_val val (pure ())
184+pureM : (val : a) -> Eff a (xs val) xs
185+pureM val = with_val val (pure ())
185186
186187(<$>) : Eff (a -> b) xs (\v => xs) ->
187188 Eff a xs (\v => xs) -> Eff b xs (\v => xs)