Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Control.Failure
Contents
Description
Type classes for returning failures.
Note: This module used to contain a lot more functionality, but I believe it was unused functionality. If you want any of it back, just email me.
Type class
class Monad f => Failure e f where Source #
Instances
Exception e => Failure e IO Source # | |
Defined in Control.Failure | |
Failure e Maybe Source # | |
Defined in Control.Failure | |
Failure e [] Source # | |
Defined in Control.Failure | |
Failure e (Either e) Source # | |
Defined in Control.Failure | |
(MonadTrans t, Failure e m, Monad (t m)) => Failure e (t m) Source # | Instance for all monad transformers, simply lift the |
Defined in Control.Failure |
General exceptions
exception :: (Exception e, Failure SomeException m) => e -> m a Source #
Convert to a SomeException
via toException
before calling failure
.