failure-0.2.0.3: A simple type class for success/failure computations. (deprecated)
Safe HaskellSafe-Inferred
LanguageHaskell98

Control.Failure

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.

Synopsis

Type class

class Monad f => Failure e f where Source #

Methods

failure :: e -> f v Source #

Instances

Instances details
Exception e => Failure e IO Source # 
Instance details

Defined in Control.Failure

Methods

failure :: e -> IO v Source #

Failure e Maybe Source # 
Instance details

Defined in Control.Failure

Methods

failure :: e -> Maybe v Source #

Failure e [] Source # 
Instance details

Defined in Control.Failure

Methods

failure :: e -> [v] Source #

Failure e (Either e) Source # 
Instance details

Defined in Control.Failure

Methods

failure :: e -> Either e v Source #

(MonadTrans t, Failure e m, Monad (t m)) => Failure e (t m) Source #

Instance for all monad transformers, simply lift the failure into the base monad.

Instance details

Defined in Control.Failure

Methods

failure :: e -> t m v Source #

General exceptions

exception :: (Exception e, Failure SomeException m) => e -> m a Source #

Convert to a SomeException via toException before calling failure.