Proper-0.4.3.0: An implementation of propositional logic in Haskell

Safe HaskellSafe-Infered

Proper.Utils

Documentation

type Name = StringSource

data Error a Source

Constructors

Succeeded a 
Failed String 

Instances

Monad Error 
Show a => Show (Error a)