raiseError

MonadError

raiseErrorAttempt

Laws

recoverConsistentWithRecoverWith

Laws

rh

IsEquiv