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

Monad Failing

Functor Failing

Typeable1 Failing

Applicative Failing

Alternative 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)

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