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

Safe HaskellNone

Data.Logic.Failing

Synopsis

Documentation

data Failing a

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

Constructors

Success a 
Failure [ErrorMsg] 

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