djinn-lib-0.0.1: Generate Haskell code from a type. Library extracted from djinn package.
Djinn.LJTFormula
newtype Symbol Source
Constructors
Instances
data Formula Source
(<->) :: Formula -> Formula -> FormulaSource
(&) :: Formula -> Formula -> FormulaSource
(|:) :: Formula -> Formula -> FormulaSource
fnot :: Formula -> FormulaSource
false :: FormulaSource
true :: FormulaSource
data ConsDesc Source
data Term Source
applys :: Term -> [Term] -> TermSource
freeVars :: Term -> [Symbol]Source