| /$ | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| /-> | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| <><> | Control.Typecheckable |
| ==== | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| abstract | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| allTypes | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| appendExprToEContexts | Control.Typecheckable |
| Apply | Calculi.Lambda |
| applyAllSubs | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| applyAllSubsGr | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| applySubstitution | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| areAlphaEquivalent | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| bases | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| basesOfExpr | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| boundPolytypesOf | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| buildFromNodes | Data.Graph.Inductive.Helper |
| conflicts | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| ConflictTree | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| Constant | Calculi.Lambda |
| constants | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| cyclesOfGraph | Data.Graph.Inductive.Helper |
| cyclicSubgraphs | Data.Graph.Inductive.Helper |
| CyclicSubstitution | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| Dependent | Calculi.Lambda.Cube.Dependent, Calculi.Lambda.Cube |
| DependentTerm | Calculi.Lambda.Cube.Dependent, Calculi.Lambda.Cube |
| edgeyTopsort | Data.Graph.Inductive.Helper |
| envFromExpr | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| environment | Control.Typecheckable |
| equivalent | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| ErrorContext | |
| 1 (Type/Class) | Control.Typecheckable |
| 2 (Data Constructor) | Control.Typecheckable |
| ErrorContext' | Control.Typecheckable |
| errorOfContext | Control.Typecheckable |
| expression | Control.Typecheckable |
| findRootPaths | Data.Graph.Inductive.Helper |
| findRootPathsBy | Data.Graph.Inductive.Helper |
| Forall | Compiler.Typesystem.SystemF |
| freeVars | Calculi.Lambda |
| Function | |
| 1 (Data Constructor) | Compiler.Typesystem.SystemF |
| 2 (Data Constructor) | Compiler.Typesystem.SimplyTyped |
| generalise | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| generalise' | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| hasSome | Data.Graph.Inductive.Helper |
| hasSome' | Data.Graph.Inductive.Helper |
| hasSubstitutions | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| HigherOrder | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| infer | Control.Typecheckable |
| Inferable | Control.Typecheckable |
| InferenceContext | Control.Typecheckable |
| InferError | Control.Typecheckable |
| isBase | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| isFunction | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| isPolyType | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| kindcheck | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| KindContext | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| KindError | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| Kindsystem | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| Lambda | Calculi.Lambda |
| LambdaTerm | Calculi.Lambda |
| LetDeclr | Calculi.Lambda |
| letsDependency | Calculi.Lambda |
| letsDependency' | Calculi.Lambda |
| markAsFunctionArrow | Compiler.Typesystem.SystemFOmega |
| Mono | |
| 1 (Data Constructor) | Compiler.Typesystem.SystemF |
| 2 (Data Constructor) | Compiler.Typesystem.SimplyTyped |
| mono | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| MonoType | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| monotypesOf | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| MultipleSubstitutions | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| Mutual | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| NotAFunction | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| NotKnownErr | Calculi.Lambda |
| occursCheck | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| order | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| Poly | Compiler.Typesystem.SystemF |
| poly | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| polyctx | Compiler.Typesystem.SystemF |
| Polymorphic | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| PolyType | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| polytypesOf | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| prettyprintST | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| quantifiedOf | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| quantify | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| reify | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| resolveMutuals | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| runTypecheck | Control.Typecheckable |
| sf | Calculi.Lambda.Cube.TH |
| SFNotKnownErr | Compiler.Typesystem.SystemF |
| SFSimpleTypeErr | Compiler.Typesystem.SystemF |
| SFSubsErr | Compiler.Typesystem.SystemF |
| SimpleType | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| SimpleTypeErr | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| SimpleTypingContext | |
| 1 (Type/Class) | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| 2 (Data Constructor) | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| SimplyTyped | Compiler.Typesystem.SimplyTyped |
| SimplyTypedErr | Compiler.Typesystem.SimplyTyped |
| stlc | Calculi.Lambda.Cube.TH |
| stlcctx | Compiler.Typesystem.SystemF |
| STNotKnownErr | Compiler.Typesystem.SimplyTyped |
| STSimpleTypeErr | Compiler.Typesystem.SimplyTyped |
| SubsContext | |
| 1 (Type/Class) | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| 2 (Data Constructor) | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| SubsContext' | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| SubsErr | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| subsMade | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| SubsMismatch | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| Substitution | |
| 1 (Type/Class) | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| 2 (Data Constructor) | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| substitutionGraph | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| substitutionGraphGr | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| substitutionGraphM | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| substitutions | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| SystemF | Compiler.Typesystem.SystemF |
| SystemFContext | |
| 1 (Type/Class) | Compiler.Typesystem.SystemF |
| 2 (Data Constructor) | Compiler.Typesystem.SystemF |
| SystemFErr | Compiler.Typesystem.SystemF |
| SystemFOmega | Compiler.Typesystem.SystemFOmega |
| tape | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| throwErrorContext | Control.Typecheckable |
| throwErrorContexts | Control.Typecheckable |
| topsortSubs | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| topsortSubsG | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| topsortWithCycles | Data.Graph.Inductive.Helper |
| treeRootStatefulBy | Data.Graph.Inductive.Helper |
| treeToPaths | Data.Graph.Inductive.Helper |
| typeap | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| Typecheck | Control.Typecheckable |
| typecheck | Control.Typecheckable |
| Typecheckable | Control.Typecheckable |
| TypeError | Control.Typecheckable |
| TypingContext | Control.Typecheckable |
| typingContext | Control.Typecheckable |
| UnexpectedType | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| unify | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| unifyGr | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| UnknownConstant | Calculi.Lambda |
| UnknownType | Calculi.Lambda |
| UnknownVariable | Calculi.Lambda |
| unlet | Calculi.Lambda |
| untypeap | Calculi.Lambda.Cube.HigherOrder, Calculi.Lambda.Cube |
| UntypedLambdaExpr | Calculi.Lambda |
| unvalidatedApplyAllSubs | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| unvalidatedEdgeyTopsort | Data.Graph.Inductive.Helper |
| valueToType | Calculi.Lambda.Cube.Dependent, Calculi.Lambda.Cube |
| Variable | Calculi.Lambda |
| variables | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| \-/ | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| \< | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |
| _allTypes | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| _constants | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| _environment | Control.Typecheckable |
| _errorOfContext | Control.Typecheckable |
| _expression | Control.Typecheckable |
| _polyctx | Compiler.Typesystem.SystemF |
| _stlcctx | Compiler.Typesystem.SystemF |
| _subsMade | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| _tape | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| _variables | Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube |
| ≣ | Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube |
| ⊑ | Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube |