Table | |
1 (Data Constructor) | Database.Ferry.Syntax |
2 (Data Constructor) | Database.Ferry.SyntaxTyped |
TBool | Database.Ferry.Syntax |
TFloat | Database.Ferry.Syntax |
TInt | Database.Ferry.Syntax |
Tr | Database.Ferry.SyntaxTyped |
Tr' | Database.Ferry.SyntaxTyped |
Transform | Database.Ferry.Compiler |
TString | Database.Ferry.Syntax |
TUnit | Database.Ferry.Syntax |
Type | |
1 (Data Constructor) | Database.Ferry.Compiler |
2 (Type/Class) | Database.Ferry.Syntax |
typedCoreToAlgebra | Database.Ferry.Compiler |
TypeInfer | Database.Ferry.Compiler |
typeInferPhase | Database.Ferry.Compiler |
typeOf | Database.Ferry.SyntaxTyped |
TyScheme | Database.Ferry.SyntaxTyped |