Annotations.Except

The Except datatype captures monoidal exceptions in applicative computations.

Documentation

data Except e a

Except is like Either but is meant to be used only in applicative computations. When two exceptions are sequenced, their sum (using mappend) is computed.

Constructors

Failed e

OK a

Instances

Functor (Except e)

Monoid e => Applicative (Except e)

(Eq e, Eq a) => Eq (Except e a)

(Show e, Show a) => Show (Except e a)