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 |