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

Functor Failing

Applicative Failing

Alternative Failing

Show a => Show (Failing a)

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