Index - L
| L | |
| 1 (Data Constructor) | IRTS.BCImp |
| 2 (Data Constructor) | IRTS.Bytecode |
| LAllocate | IRTS.Lang, IRTS.Defunctionalise |
| LAlt | IRTS.Lang, IRTS.Defunctionalise |
| Lam | Idris.Core.TT |
| lambda | Idris.ParseExpr, Idris.Parser |
| lambdaLift | IRTS.Lang, IRTS.Defunctionalise |
| LAnd | IRTS.Lang, IRTS.Defunctionalise |
| LanguageExt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| LANG_C | IRTS.Lang, IRTS.Defunctionalise |
| LANG_JAVA | IRTS.Lang, IRTS.Defunctionalise |
| LApp | IRTS.Lang, IRTS.Defunctionalise |
| LAppend | IRTS.Lang, IRTS.Defunctionalise |
| LAppendBuffer | IRTS.Lang, IRTS.Defunctionalise |
| LASHR | IRTS.Lang, IRTS.Defunctionalise |
| lastIndent | Idris.ParseHelpers, Idris.Parser |
| lastParse | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| lastTokenSpan | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Lazy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| lazyarg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| LBitCast | IRTS.Lang, IRTS.Defunctionalise |
| LCase | IRTS.Lang, IRTS.Defunctionalise |
| lchar | Idris.ParseHelpers, Idris.Parser |
| LChInt | IRTS.Lang, IRTS.Defunctionalise |
| LCompl | IRTS.Lang, IRTS.Defunctionalise |
| LCon | IRTS.Lang, IRTS.Defunctionalise |
| LConCase | IRTS.Lang, IRTS.Defunctionalise |
| LConst | IRTS.Lang, IRTS.Defunctionalise |
| LConstCase | IRTS.Lang, IRTS.Defunctionalise |
| LConstructor | IRTS.Lang, IRTS.Defunctionalise |
| LDecl | IRTS.Lang, IRTS.Defunctionalise |
| LDefaultCase | IRTS.Lang, IRTS.Defunctionalise |
| LDefs | IRTS.Lang, IRTS.Defunctionalise |
| ldefs | IRTS.Simplified |
| LE | IRTS.Lang, IRTS.Defunctionalise |
| LeftErr | Idris.AbsSyntax |
| LEq | IRTS.Lang, IRTS.Defunctionalise |
| LError | IRTS.Lang, IRTS.Defunctionalise |
| Let | Idris.Core.TT |
| LetBind | Idris.Core.ProofState, Idris.Core.Elaborate |
| letbind | Idris.Core.Elaborate |
| LetTac | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| LetTacTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| let_ | Idris.ParseExpr, Idris.Parser |
| LExp | IRTS.Lang, IRTS.Defunctionalise |
| LFACos | IRTS.Lang, IRTS.Defunctionalise |
| LFASin | IRTS.Lang, IRTS.Defunctionalise |
| LFATan | IRTS.Lang, IRTS.Defunctionalise |
| LFCeil | IRTS.Lang, IRTS.Defunctionalise |
| LFCos | IRTS.Lang, IRTS.Defunctionalise |
| LFExp | IRTS.Lang, IRTS.Defunctionalise |
| LFFloor | IRTS.Lang, IRTS.Defunctionalise |
| LFloatInt | IRTS.Lang, IRTS.Defunctionalise |
| LFloatStr | IRTS.Lang, IRTS.Defunctionalise |
| LFLog | IRTS.Lang, IRTS.Defunctionalise |
| LForce | IRTS.Lang, IRTS.Defunctionalise |
| LForeign | IRTS.Lang, IRTS.Defunctionalise |
| LFork | IRTS.Lang, IRTS.Defunctionalise |
| LFSin | IRTS.Lang, IRTS.Defunctionalise |
| LFSqrt | IRTS.Lang, IRTS.Defunctionalise |
| LFTan | IRTS.Lang, IRTS.Defunctionalise |
| LFun | IRTS.Lang, IRTS.Defunctionalise |
| LGe | IRTS.Lang, IRTS.Defunctionalise |
| LGt | IRTS.Lang, IRTS.Defunctionalise |
| Lib | Util.DynamicLinker |
| lib_handle | Util.DynamicLinker |
| lib_name | Util.DynamicLinker |
| LIDR | Idris.Imports |
| LIdxVec | IRTS.Lang, IRTS.Defunctionalise |
| lift | IRTS.Lang, IRTS.Defunctionalise |
| liftAll | IRTS.Lang, IRTS.Defunctionalise |
| liftDecls | IRTS.CodegenCommon |
| lifte | Idris.Prover |
| liftname | Idris.ElabTerm |
| liftParsed | IRTS.Java.Mangling |
| LiftState | IRTS.Lang, IRTS.Defunctionalise |
| lineNum | Idris.ParseHelpers, Idris.Parser |
| LIntCh | IRTS.Lang, IRTS.Defunctionalise |
| LIntFloat | IRTS.Lang, IRTS.Defunctionalise |
| LIntStr | IRTS.Lang, IRTS.Defunctionalise |
| ListDynamic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ListErrorHandlers | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| listExpr | Idris.ParseExpr, Idris.Parser |
| lit | Idris.REPL |
| LLam | IRTS.Lang, IRTS.Defunctionalise |
| LLazyApp | IRTS.Lang, IRTS.Defunctionalise |
| LLazyExp | IRTS.Lang, IRTS.Defunctionalise |
| LLe | IRTS.Lang, IRTS.Defunctionalise |
| LLet | IRTS.Lang, IRTS.Defunctionalise |
| LLSHR | IRTS.Lang, IRTS.Defunctionalise |
| LLt | IRTS.Lang, IRTS.Defunctionalise |
| LMinus | IRTS.Lang, IRTS.Defunctionalise |
| LMkVec | IRTS.Lang, IRTS.Defunctionalise |
| lname | IRTS.Lang, IRTS.Defunctionalise |
| LNoOp | IRTS.Lang, IRTS.Defunctionalise |
| LNothing | IRTS.Lang, IRTS.Defunctionalise |
| LNullPtr | IRTS.Lang, IRTS.Defunctionalise |
| Load | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| LoadFile | Idris.IdeSlave |
| loadFromIFile | Idris.Parser |
| loadIBC | Idris.IBC |
| LoadingFailed | Idris.Core.TT |
| loadInputs | Idris.REPL |
| loadModule | Idris.Parser |
| loadModule' | Idris.Parser |
| loadSource | Idris.Parser |
| loadSource' | Idris.Parser |
| loadState | Idris.Core.Elaborate |
| Loc | IRTS.Lang, IRTS.Defunctionalise |
| localContext | IRTS.Java.JTypes |
| localContextID | IRTS.Java.JTypes |
| localVar | IRTS.Java.ASTBuilding |
| logLevel | Idris.AbsSyntax |
| LogLvl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| logLvl | Idris.AbsSyntax |
| longType | IRTS.Java.JTypes |
| lookAheadMatches | Idris.ParseHelpers, Idris.Parser |
| lookupCtxt | Idris.Core.TT |
| lookupCtxtExact | Idris.Core.TT |
| lookupCtxtName | Idris.Core.TT |
| lookupDef | Idris.Core.Evaluate |
| lookupDefAcc | Idris.Core.Evaluate |
| lookupMetaInformation | Idris.Core.Evaluate |
| lookupNames | Idris.Core.Evaluate |
| lookupNameTotal | Idris.Core.Evaluate |
| lookupP | Idris.Core.Evaluate |
| lookupTotal | Idris.Core.Evaluate |
| lookupTy | Idris.Core.Evaluate |
| lookupTyEnv | Idris.Core.Evaluate |
| lookupVal | Idris.Core.Evaluate |
| LOp | IRTS.Lang, IRTS.Defunctionalise |
| LOpt | IRTS.Lang, IRTS.Defunctionalise |
| LOr | IRTS.Lang, IRTS.Defunctionalise |
| LPar | IRTS.Lang, IRTS.Defunctionalise |
| LPeek | IRTS.Lang, IRTS.Defunctionalise |
| LPlus | IRTS.Lang, IRTS.Defunctionalise |
| LPrintNum | IRTS.Lang, IRTS.Defunctionalise |
| LPrintStr | IRTS.Lang, IRTS.Defunctionalise |
| LProj | IRTS.Lang, IRTS.Defunctionalise |
| LReadStr | IRTS.Lang, IRTS.Defunctionalise |
| LRegisterPtr | IRTS.Lang, IRTS.Defunctionalise |
| LS | IRTS.Lang, IRTS.Defunctionalise |
| LSDiv | IRTS.Lang, IRTS.Defunctionalise |
| LSExt | IRTS.Lang, IRTS.Defunctionalise |
| LSGe | IRTS.Lang, IRTS.Defunctionalise |
| LSGt | IRTS.Lang, IRTS.Defunctionalise |
| LSHL | IRTS.Lang, IRTS.Defunctionalise |
| LSLe | IRTS.Lang, IRTS.Defunctionalise |
| LSLt | IRTS.Lang, IRTS.Defunctionalise |
| lsrcPath | Idris.Imports |
| LSRem | IRTS.Lang, IRTS.Defunctionalise |
| LStdErr | IRTS.Lang, IRTS.Defunctionalise |
| LStdIn | IRTS.Lang, IRTS.Defunctionalise |
| LStdOut | IRTS.Lang, IRTS.Defunctionalise |
| LStrConcat | IRTS.Lang, IRTS.Defunctionalise |
| LStrCons | IRTS.Lang, IRTS.Defunctionalise |
| LStrEq | IRTS.Lang, IRTS.Defunctionalise |
| LStrFloat | IRTS.Lang, IRTS.Defunctionalise |
| LStrHead | IRTS.Lang, IRTS.Defunctionalise |
| LStrIndex | IRTS.Lang, IRTS.Defunctionalise |
| LStrInt | IRTS.Lang, IRTS.Defunctionalise |
| LStrLen | IRTS.Lang, IRTS.Defunctionalise |
| LStrLt | IRTS.Lang, IRTS.Defunctionalise |
| LStrRev | IRTS.Lang, IRTS.Defunctionalise |
| LStrTail | IRTS.Lang, IRTS.Defunctionalise |
| lteProp | Idris.ParseHelpers, Idris.Parser |
| LTimes | IRTS.Lang, IRTS.Defunctionalise |
| ltProp | Idris.ParseHelpers, Idris.Parser |
| LTrunc | IRTS.Lang, IRTS.Defunctionalise |
| LUDiv | IRTS.Lang, IRTS.Defunctionalise |
| LUpdateVec | IRTS.Lang, IRTS.Defunctionalise |
| LURem | IRTS.Lang, IRTS.Defunctionalise |
| LV | IRTS.Lang, IRTS.Defunctionalise |
| LVar | IRTS.Lang, IRTS.Defunctionalise |
| lvar | IRTS.Simplified |
| LVMPtr | IRTS.Lang, IRTS.Defunctionalise |
| LXOr | IRTS.Lang, IRTS.Defunctionalise |
| LZExt | IRTS.Lang, IRTS.Defunctionalise |