Folly-0.1.3.0: A first order logic library in Haskell
Folly.Utils
type Name = String
data Error a
Constructors
Instances
extractValue :: Error a -> a