djinn-lib-0.0.1.1: Generate Haskell code from a type. Library extracted from djinn package.

Safe HaskellSafe-Inferred

Djinn.LJTFormula

Documentation

newtype Symbol Source

Constructors

Symbol String 

Instances

data Formula Source

Constructors

Conj [Formula] 
Disj [(ConsDesc, Formula)] 
Formula :-> Formula 
PVar Symbol 

Instances

(<->) :: Formula -> Formula -> FormulaSource

(&) :: Formula -> Formula -> FormulaSource

(|:) :: Formula -> Formula -> FormulaSource

fnot :: Formula -> FormulaSource

false :: FormulaSource

true :: FormulaSource

data ConsDesc Source

Constructors

ConsDesc String Int 

Instances

data Term Source

Constructors

Var Symbol 
Lam Symbol Term 
Apply Term Term 
Ctuple Int 
Csplit Int 
Cinj ConsDesc Int 
Ccases [ConsDesc] 
Xsel Int Int Term 

Instances

applys :: Term -> [Term] -> TermSource

freeVars :: Term -> [Symbol]Source