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

Safe HaskellSafe
LanguageHaskell98

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.

Synopsis

Type class

class Monad f => Failure e f where #

Minimal complete definition

failure

Methods

failure :: e -> f v #

Instances

Exception e => Failure e IO # 

Methods

failure :: e -> IO v #

Failure e [] # 

Methods

failure :: e -> [v] #

Failure e Maybe # 

Methods

failure :: e -> Maybe v #

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

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

Methods

failure :: e -> t m v #

Failure e (Either e) # 

Methods

failure :: e -> Either e v #

General exceptions

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

Convert to a SomeException via toException before calling failure.