Index - L
| Lam | |
| 1 (Type/Class) | Hyper.Type.AST.Lam |
| 2 (Data Constructor) | Hyper.Type.AST.Lam |
| lamIn | Hyper.Type.AST.Lam |
| lamOut | Hyper.Type.AST.Lam |
| Let | |
| 1 (Type/Class) | Hyper.Type.AST.Let |
| 2 (Data Constructor) | Hyper.Type.AST.Let |
| letEquals | Hyper.Type.AST.Let |
| letIn | Hyper.Type.AST.Let |
| letVar | Hyper.Type.AST.Let |
| liftH2 | Hyper.Class.Apply, Hyper |
| load | Hyper.Unify.Binding.ST.Load |
| LoadedNominalDecl | Hyper.Type.AST.Nominal |
| loadNominalDecl | Hyper.Type.AST.Nominal |
| loadScheme | Hyper.Type.AST.Scheme |
| localInstantiations | Hyper.Type.AST.Scheme |
| localLevel | Hyper.Infer.ScopeLevel, Hyper.Infer |
| LocalScopeType | Hyper.Class.Infer.Env, Hyper.Infer |
| localScopeType | Hyper.Class.Infer.Env, Hyper.Infer |
| lookupQVar | Hyper.Type.AST.Scheme |
| lookupVar | Hyper.Class.Unify, Hyper.Unify |