Safe Haskell  Safe 

Language  Haskell2010 
Synopsis
 newtype FreeHeyting a = FreeHeyting {
 runFreeHeyting :: forall h. HeytingAlgebra h => (a > h) > h
 atom :: a > FreeHeyting a
Documentation
newtype FreeHeyting a Source #
Free Heyting algebra.
instance provides all the usual
combinators for a free algebra.FreeAlgebra
The
graph
of free Heyting algebra with one generator/atom, i.e.
.FreeHeyting
()
FreeHeyting  

Instances
atom :: a > FreeHeyting a Source #
Construct an atom of the
lattice (in the laguage of free
algebra, it is called a generator, e.g. FreeHeyting
atom = returnFree
).