Folly-0.1.3.0: A first order logic library in Haskell

Safe HaskellSafe-Inferred

Folly.Utils

Documentation

type Name = String

data Error a

Constructors

Succeeded a 
Failed String 

Instances

Monad Error 
Eq a => Eq (Error a) 
Show a => Show (Error a)