Add *> as a shortcut for do a; b on Effects
Like Haskell's >>.
Was surprised *> wasn't already available on Effects, until I realized
their >>= wasn't from Monad.
commit272efeaa1d106630a75b9f3e217567a7f4a262f3
authorLeif Warner <abimelech@gmail.com>
dateWed 28 Oct 2015, 23:04 (11 years ago)
parent80d88b1
libs/effects/Effects.idr+5
@@ -245,6 +245,11 @@ pureM = Value
245245(<*>) prog v = do fn <- prog
246246 arg <- v
247247 return (fn arg)
248+
249+(*>) : EffM m a xs (\v => xs) ->
250+ EffM m b xs (\v => xs) -> EffM m b xs (\v => xs)
251+a *> b = do a
252+ b
248253
249254new : Handler e' m => (e : EFFECT) -> resTy ->
250255 {auto prf : e = MkEff resTy e'} ->