| label | DDC.Control.Parser |
| labels | DDC.Control.Parser |
| langle | DDC.Data.Pretty, DDC.Core.Pretty |
| lbrace | DDC.Data.Pretty, DDC.Core.Pretty |
| lbracket | DDC.Data.Pretty, DDC.Core.Pretty |
| LChar | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Lets | DDC.Core.Exp, DDC.Core.Exp.Annot |
| letter | DDC.Control.Parser |
| Lexeme | DDC.Core.Lexer.Offside |
| LexemeStartBlock | DDC.Core.Lexer.Offside |
| LexemeStartLine | DDC.Core.Lexer.Offside |
| LexemeToken | DDC.Core.Lexer.Offside |
| lexExp | DDC.Core.Lexer |
| lexModuleWithOffside | DDC.Core.Lexer |
| LFloat | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| lift | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| 3 (Function) | DDC.Core.Env.EnvX |
| liftAtDepthT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| liftAtDepthX | DDC.Core.Transform.BoundX |
| liftT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| liftX | DDC.Core.Transform.BoundX |
| Line | DDC.Control.Parser |
| line | DDC.Data.Pretty, DDC.Core.Pretty |
| linebreak | DDC.Data.Pretty, DDC.Core.Pretty |
| lineOfLocated | DDC.Data.SourcePos |
| LInt | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| list | DDC.Data.Pretty, DDC.Core.Pretty |
| Literal | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| LLet | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| LNat | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| loadExpFromString | DDC.Core.Load |
| loadExpFromTokens | DDC.Core.Load |
| loadModuleFromFile | DDC.Core.Load |
| loadModuleFromString | DDC.Core.Load |
| loadModuleFromTokens | DDC.Core.Load |
| loadTypeFromString | DDC.Core.Load |
| loadTypeFromTokens | DDC.Core.Load |
| loadWitnessFromString | DDC.Core.Load |
| loadWitnessFromTokens | DDC.Core.Load |
| Located | |
| 1 (Type/Class) | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| 2 (Data Constructor) | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| lookAhead | DDC.Control.Parser |
| lookup | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| lookupIx | DDC.Data.Env |
| lookupModeOfDataType | DDC.Type.DataDef |
| lookupName | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| lookupNameX | DDC.Core.Env.EnvX |
| lookupT | DDC.Core.Env.EnvX |
| lookupX | DDC.Core.Env.EnvX |
| lower | DDC.Control.Parser |
| lowerAtDepthT | DDC.Type.Transform.BoundT |
| lowerAtDepthX | DDC.Core.Transform.BoundX |
| lowerT | DDC.Type.Transform.BoundT |
| lowerX | DDC.Core.Transform.BoundX |
| lparen | DDC.Data.Pretty, DDC.Core.Pretty |
| LPrivate | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| LRec | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| LSize | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| LString | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| LWord | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |