Proper-0.5.2.0: An implementation of propositional logic in Haskell
Proper.Utils
type Name = String
data Error a
Constructors
Instances
extractValue :: Error a -> a