djinn-lib-0.0.1.2: Generate Haskell code from a type. Library extracted from djinn package. (Index)

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

Index

& | Djinn.LJTFormula, Djinn.LJT
:-> | Djinn.LJTFormula, Djinn.LJT
<-> | Djinn.LJTFormula, Djinn.LJT
Apply | Djinn.LJTFormula, Djinn.LJT
applys | Djinn.LJTFormula, Djinn.LJT
Ccases | Djinn.LJTFormula, Djinn.LJT
Cinj | Djinn.LJTFormula, Djinn.LJT
Conj | Djinn.LJTFormula, Djinn.LJT
ConsDesc |
1 (Type/Class) | Djinn.LJTFormula, Djinn.LJT
2 (Data Constructor) | Djinn.LJTFormula, Djinn.LJT
Csplit | Djinn.LJTFormula, Djinn.LJT
Ctuple | Djinn.LJTFormula, Djinn.LJT
Disj | Djinn.LJTFormula, Djinn.LJT
false | Djinn.LJTFormula, Djinn.LJT
fnot | Djinn.LJTFormula, Djinn.LJT
Formula | Djinn.LJTFormula, Djinn.LJT
freeVars | Djinn.LJTFormula, Djinn.LJT
getBinderVars | Djinn.HTypes
getHTVars | Djinn.HTypes
HClause |
1 (Type/Class) | Djinn.HTypes
2 (Data Constructor) | Djinn.HTypes
HEApply | Djinn.HTypes
HECase | Djinn.HTypes
HECon | Djinn.HTypes
HELam | Djinn.HTypes
HETuple | Djinn.HTypes
HEVar | Djinn.HTypes
HExpr | Djinn.HTypes
HKind | Djinn.HTypes
HPApply | Djinn.HTypes
HPAt | Djinn.HTypes
HPat | Djinn.HTypes
HPCon | Djinn.HTypes
hPrClause | Djinn.HTypes
hPrExpr | Djinn.HTypes
HPTuple | Djinn.HTypes
HPVar | Djinn.HTypes
HSymbol | Djinn.HTypes
HTAbstract | Djinn.HTypes
HTApp | Djinn.HTypes
HTArrow | Djinn.HTypes
htCheckEnv | Djinn.HCheck
htCheckType | Djinn.HCheck
HTCon | Djinn.HTypes
htNot | Djinn.HTypes
HTTuple | Djinn.HTypes
HTUnion | Djinn.HTypes
HTVar | Djinn.HTypes
HType | Djinn.HTypes
hTypeToFormula | Djinn.HTypes
isHTUnion | Djinn.HTypes
KArrow | Djinn.HTypes
KStar | Djinn.HTypes
KVar | Djinn.HTypes
Lam | Djinn.LJTFormula, Djinn.LJT
MoreSolutions | Djinn.LJT
pHDataType | Djinn.HTypes
pHKind | Djinn.HTypes
pHSymbol | Djinn.HTypes
pHTAtom | Djinn.HTypes
pHType | Djinn.HTypes
prHSymbolOp | Djinn.HTypes
Proof | Djinn.LJT
provable | Djinn.LJT
prove | Djinn.LJT
PVar | Djinn.LJTFormula, Djinn.LJT
substHT | Djinn.HTypes
Symbol |
1 (Type/Class) | Djinn.LJTFormula, Djinn.LJT
2 (Data Constructor) | Djinn.LJTFormula, Djinn.LJT
Term | Djinn.LJTFormula, Djinn.LJT
termToHClause | Djinn.HTypes
termToHExpr | Djinn.HTypes
true | Djinn.LJTFormula, Djinn.LJT
Var | Djinn.LJTFormula, Djinn.LJT
Xsel | Djinn.LJTFormula, Djinn.LJT
|: | Djinn.LJTFormula, Djinn.LJT