Merge pull request #2976 from ulidtko/patch-1
Add the "fmap" shortcut <$> to EffM
commit39ab37b6aa3728cecc6a1f3a2074d22b04218aa2
authorEdwin Brady <edwin.brady@gmail.com>
dateThu 24 Mar 2016, 17:16 (11 years ago)
parentf86f86c05d24ff
libs/effects/Effects.idr+4
@@ -327,6 +327,10 @@ pureM = Value
327327(<*>) prog v = do fn <- prog
328328 arg <- v
329329 return (fn arg)
330+
331+(<$>) : (a -> b) ->
332+ EffM m a xs (\v => xs) -> EffM m b xs (\v => xs)
333+(<$>) f v = pure f <*> v
330334
331335(*>) : EffM m a xs (\v => xs) ->
332336 EffM m b xs (\v => xs) -> EffM m b xs (\v => xs)