Data.Logic.Failing

Documentation

data Failing a :: * -> *

An error idiom. Rather like the error monad, but collect all | errors together

Constructors

Success a

Failure [ErrorMsg]

Instances

Alternative Failing

Monad Failing

Functor Failing

Applicative Failing

Eq a => Eq (Failing a)

Data a => Data (Failing a)

Ord a => Ord (Failing a)

Read a => Read (Failing a)

Show a => Show (Failing a)

Typeable (* -> *) Failing

failing :: ([String] -> b) -> (a -> b) -> Failing a -> b