| Tan | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| tan | Language.Hakaru.Syntax.Prelude |
| Tanh | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| tanh | Language.Hakaru.Syntax.Prelude |
| tCDF | Language.Hakaru.Inference |
| TCM | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| TCMTypeRepr | Language.Hakaru.Syntax.TypeCheck.Unification |
| Term | |
| 1 (Type/Class) | Language.Hakaru.Syntax.AST |
| 2 (Type/Class) | Language.Hakaru.Parser.AST |
| 3 (Type/Class) | Language.Hakaru.Command |
| TermEvaluator | Language.Hakaru.Evaluation.Types |
| text | Language.Hakaru.Parser.Maple |
| third | Language.Hakaru.Syntax.Prelude |
| thRootOf | |
| 1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
| 2 (Function) | Language.Hakaru.Runtime.Prelude |
| 3 (Function) | Language.Hakaru.Syntax.Prelude |
| Thunk | Language.Hakaru.Evaluation.Types |
| timelimit | Language.Hakaru.Maple |
| toAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| toAssocs1 | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| toGBranch | Language.Hakaru.Syntax.DatumABT |
| toHead | Language.Hakaru.Evaluation.Types |
| TokenParser | Language.Hakaru.Parser.Maple |
| toLAssocs1 | Language.Hakaru.Evaluation.Types |
| toList1 | Language.Hakaru.Syntax.IClasses |
| toNat | Data.Number.Nat |
| toNatural | Data.Number.Natural |
| toNonNegativeRational | Data.Number.Natural |
| total | Language.Hakaru.Expect |
| toTypeRepr | Language.Hakaru.Syntax.TypeCheck.Unification |
| ToU | Language.Hakaru.Parser.AST |
| ToUntyped | Language.Hakaru.Parser.AST |
| toVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| toVarSet1 | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| toVarStatements | Language.Hakaru.Evaluation.Types |
| toWhnf | Language.Hakaru.Evaluation.Types |
| Transform | |
| 1 (Type/Class) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| Transform' | Language.Hakaru.Parser.AST |
| TransformCtx | |
| 1 (Type/Class) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| TransformImpl | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| TransformM | Language.Hakaru.Syntax.AST.Transforms |
| transformName | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| TransformTable | |
| 1 (Type/Class) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| Transform_ | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| transitivity | Language.Hakaru.Syntax.IClasses |
| Traversable11 | Language.Hakaru.Syntax.IClasses |
| Traversable12 | Language.Hakaru.Syntax.IClasses |
| Traversable21 | Language.Hakaru.Syntax.IClasses |
| Traversable22 | Language.Hakaru.Syntax.IClasses |
| traverse11 | Language.Hakaru.Syntax.IClasses |
| traverse12 | Language.Hakaru.Syntax.IClasses |
| traverse21 | Language.Hakaru.Syntax.IClasses |
| traverse22 | Language.Hakaru.Syntax.IClasses |
| traversePairs | Language.Hakaru.Syntax.AST |
| trFromTyped | Language.Hakaru.Parser.AST |
| triv | Language.Hakaru.Syntax.Prelude |
| TrivialABT | Language.Hakaru.Syntax.ABT |
| true | |
| 1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
| 2 (Function) | Language.Hakaru.Runtime.Prelude |
| 3 (Function) | Language.Hakaru.Syntax.Prelude |
| try | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| tryWith | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| try_bool | Language.Hakaru.Syntax.AST.Eq |
| TyCon | Language.Hakaru.Types.DataKind |
| TypeApp | Language.Hakaru.Parser.AST |
| TypeAST' | Language.Hakaru.Parser.AST |
| TypeCheckError | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
| TypeCheckMode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
| TypeCheckMonad | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
| TypedAST | |
| 1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
| 2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
| TypedASTs | |
| 1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| 2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| typeDeclaration | Language.Hakaru.CodeGen.Types |
| TypedReducer | |
| 1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| 2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| TypeEq | Language.Hakaru.Syntax.IClasses |
| TypeFun | Language.Hakaru.Parser.AST |
| typeMismatch | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| typeName | Language.Hakaru.CodeGen.Types |
| typeOf | Language.Hakaru.Syntax.TypeOf |
| typeOfReducer | Language.Hakaru.Syntax.TypeOf |
| typeOfTransform | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| typePtrDeclaration | Language.Hakaru.CodeGen.Types |
| TypeVar | Language.Hakaru.Parser.AST |