tell | Tip.Writer |
tffify | Tip.Pretty.TFF |
tffvarify | Tip.Pretty.TFF |
TH | Tip.Haskell.Repr |
Theory | |
1 (Type/Class) | Tip.Types, Tip.Core |
2 (Data Constructor) | Tip.Types, Tip.Core |
theoryBoolOpToIf | Tip.Pass.Booleans, Tip.Passes |
theoryBuiltins | Tip.Haskell.Translate |
theoryDecls | Tip.Types, Tip.Core |
theoryGoals | Tip.Core |
theorySigs | Tip.Haskell.Translate |
theoryStuff | Tip.CallGraph |
theoryTypes | Tip.Core |
THSplice | Tip.Haskell.Repr |
thy_asserts | Tip.Types, Tip.Core |
thy_datatypes | Tip.Types, Tip.Core |
thy_funcs | Tip.Types, Tip.Core |
thy_sigs | Tip.Types, Tip.Core |
thy_sorts | Tip.Types, Tip.Core |
tipDSL | Tip.Haskell.Translate |
topsort | Tip.Core |
touch_lets | Tip.Simplify, Tip.Passes |
transformExpr | Tip.Types, Tip.Core |
transformExprIn | Tip.Types, Tip.Core |
transformExprInM | Tip.Types, Tip.Core |
transformExprM | Tip.Types, Tip.Core |
transformType | Tip.Types, Tip.Core |
transformTypeInDecl | Tip.Types, Tip.Core |
transformTypeInExpr | Tip.Types, Tip.Core |
trBuiltinType | Tip.Haskell.Translate |
trTheory | Tip.Haskell.Translate |
trTheory' | Tip.Haskell.Translate |
trType | Tip.Haskell.Translate |
trueExpr | Tip.Core |
trueName | Tip.Pass.Booleans |
tryMatch | Tip.Simplify |
Tup | Tip.Haskell.Repr |
tuple | Tip.Pretty.Haskell |
TupPat | Tip.Haskell.Repr |
TyArr | Tip.Haskell.Repr |
TyCon | |
1 (Data Constructor) | Tip.Haskell.Repr |
2 (Data Constructor) | Tip.Types, Tip.Core |
TyCtx | Tip.Haskell.Repr |
TyForall | Tip.Haskell.Repr |
TyImp | Tip.Haskell.Repr |
Type | |
1 (Type/Class) | Tip.Haskell.Repr |
2 (Type/Class) | Tip.Types, Tip.Core |
typeable | Tip.Haskell.Translate |
TypeDef | Tip.Haskell.Repr |
TypeInfo | Tip.Scope |
typeOfBuiltin | Tip.Haskell.Translate |
types | Tip.Scope |
TypeSkolemConjecture | Tip.Passes |
typeSkolemConjecture | Tip.Passes |
TySig | Tip.Haskell.Repr |
TyTup | Tip.Haskell.Repr |
TyVar | |
1 (Data Constructor) | Tip.Haskell.Repr |
2 (Data Constructor) | Tip.Types, Tip.Core |
TyVarInfo | Tip.Scope |
tyVars | Tip.Core |