logic-classes-1.4.7: 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