logic-classes-1.4.8: Framework for propositional and first order logic, theorem proving

Data.Logic.Failing

Synopsis

data Failing a

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

Constructors

Instances

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