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