Safe Haskell | None |
---|
Data.Logic.Failing
Documentation
data Failing a
An error idiom. Rather like the error monad, but collect all | errors together
logic-classes-1.4.8: Framework for propositional and first order logic, theorem proving
Safe Haskell | None |
---|
Data.Logic.Failing
data Failing a
An error idiom. Rather like the error monad, but collect all | errors together