:: Monoid_a _ => _ a package:relude
Lifted version of
exitFailure.
>>> exitFailure
*** Exception: ExitFailure 1
Lifted version of
exitSuccess.
>>> exitSuccess
*** Exception: ExitSuccess
The identity of
mplus. It should also satisfy the equations
mzero >>= f = mzero
v >> mzero = mzero
The default definition is
mzero = empty
The identity of
<|>
empty <|> a == a
a <|> empty == a
Retrieves the monad environment.