Proper-0.5.2.0: An implementation of propositional logic in Haskell

Safe HaskellSafe-Inferred

Proper.Utils

Documentation

type Name = String

data Error a

Constructors

Succeeded a 
Failed String 

Instances

Monad Error 
Show a => Show (Error a) 

extractValue :: Error a -> a