Index - L
| L | |
| 1 (Data Constructor) | IRTS.Bytecode |
| 2 (Data Constructor) | IRTS.BCImp |
| LAlt | IRTS.Lang, IRTS.Defunctionalise |
| LAlt' | IRTS.Lang, IRTS.Defunctionalise |
| Lam | Idris.Core.TT |
| lambda | Idris.Parser.Expr, Idris.Parser |
| lambdaLift | IRTS.Lang, IRTS.Defunctionalise |
| LAnd | IRTS.Lang, IRTS.Defunctionalise |
| LanguageExt | Idris.Options |
| LApp | IRTS.Lang, IRTS.Defunctionalise |
| LASHR | IRTS.Lang, IRTS.Defunctionalise |
| lastIndent | Idris.Parser.Helpers, Idris.Parser |
| lastParse | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| lastTokenSpan | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| LaTeXOutput | Idris.Options |
| LBitCast | IRTS.Lang, IRTS.Defunctionalise |
| LCase | IRTS.Lang, IRTS.Defunctionalise |
| lchar | Idris.Parser.Helpers, Idris.Parser |
| lcharFC | Idris.Parser.Helpers, 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 |
| LCrash | IRTS.Lang, IRTS.Defunctionalise |
| LDecl | IRTS.Lang, IRTS.Defunctionalise |
| LDefaultCase | IRTS.Lang, IRTS.Defunctionalise |
| LDefs | IRTS.Lang, IRTS.Defunctionalise |
| LE | IRTS.Lang, IRTS.Defunctionalise |
| LeftErr | Idris.AbsSyntax |
| LendOnly | Idris.Core.Typecheck |
| 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.Parser.Expr, Idris.Parser |
| let_binding | Idris.Parser.Expr, Idris.Parser |
| LExp | IRTS.Lang, IRTS.Defunctionalise |
| LExternal | 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 |
| LFNegate | 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 |
| libdeps | Idris.Package.Common |
| lib_handle | Util.DynamicLinker |
| lib_name | Util.DynamicLinker |
| LIDR | Idris.Imports |
| lift | IRTS.Lang, IRTS.Defunctionalise |
| liftAll | IRTS.Lang, IRTS.Defunctionalise |
| liftDecls | IRTS.CodegenCommon |
| liftname | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| liftPats | Idris.Elab.Utils |
| LiftState | IRTS.Lang, IRTS.Defunctionalise |
| linearArg | Idris.Elab.Utils |
| linearCheck | Idris.Core.Evaluate |
| linearCheckArg | Idris.Core.Evaluate |
| LinearTypes | Idris.Options |
| linear_con | Idris.Core.TT |
| LineBreak | Idris.Docstrings |
| lineNum | Idris.Parser.Helpers, Idris.Parser |
| Link | Idris.Docstrings |
| LIntCh | IRTS.Lang, IRTS.Defunctionalise |
| LIntFloat | IRTS.Lang, IRTS.Defunctionalise |
| LIntStr | IRTS.Lang, IRTS.Defunctionalise |
| List | Idris.Docstrings |
| ListDynamic | Idris.REPL.Commands |
| ListenPort | Idris.Options |
| ListErrorHandlers | Idris.REPL.Commands |
| listExpr | Idris.Parser.Expr, Idris.Parser |
| 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 |
| lname | IRTS.Lang, IRTS.Defunctionalise |
| LNoOp | IRTS.Lang, IRTS.Defunctionalise |
| LNothing | IRTS.Lang, IRTS.Defunctionalise |
| Load | Idris.REPL.Commands |
| LoadFile | Idris.IdeMode |
| loadFromIFile | Idris.Parser |
| loadIBC | Idris.IBC |
| LoadingFailed | Idris.Core.TT |
| loadInputs | Idris.ModeCommon, Idris.Main |
| loadModule | Idris.Parser |
| loadModule' | Idris.Parser |
| loadPkgIndex | Idris.IBC |
| loadSource | Idris.Parser |
| loadSource' | Idris.Parser |
| loadState | Idris.Core.Elaborate |
| Loc | IRTS.Lang, IRTS.Defunctionalise |
| localnames | Idris.Core.TT |
| LogCat | Idris.Options |
| LogCategory | Idris.REPL.Commands |
| logCodeGen | Idris.AbsSyntax |
| logCoverage | Idris.AbsSyntax |
| logElab | Idris.AbsSyntax |
| logErasure | Idris.AbsSyntax |
| loggingCatsStr | Idris.Options |
| logIBC | Idris.AbsSyntax |
| logLevel | Idris.AbsSyntax |
| LogLvl | Idris.REPL.Commands |
| logLvl | Idris.AbsSyntax |
| logLvlCats | Idris.AbsSyntax |
| logParser | Idris.AbsSyntax |
| lookAheadMatches | Idris.Parser.Helpers, Idris.Parser |
| lookupBinder | Idris.Core.TT |
| lookupCtxt | Idris.Core.TT |
| lookupCtxtExact | Idris.Core.TT |
| lookupCtxtName | Idris.Core.TT |
| lookupDef | Idris.Core.Evaluate |
| lookupDefAcc | Idris.Core.Evaluate |
| lookupDefAccExact | Idris.Core.Evaluate |
| lookupDefExact | Idris.Core.Evaluate |
| lookupInjectiveExact | Idris.Core.Evaluate |
| lookupMetaInformation | Idris.Core.Evaluate |
| lookupNameDef | Idris.Core.Evaluate |
| lookupNames | Idris.Core.Evaluate |
| lookupNameTotal | Idris.Core.Evaluate |
| lookupP | Idris.Core.Evaluate |
| lookupP_all | Idris.Core.Evaluate |
| lookupRigCount | Idris.Core.Evaluate |
| lookupRigCountExact | Idris.Core.Evaluate |
| lookupTotal | Idris.Core.Evaluate |
| lookupTotalExact | Idris.Core.Evaluate |
| lookupTy | Idris.Core.Evaluate |
| lookupTyEnv | Idris.Core.Evaluate |
| lookupTyExact | Idris.Core.Evaluate |
| lookupTyName | Idris.Core.Evaluate |
| lookupTyNameExact | 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 |
| LPlus | IRTS.Lang, IRTS.Defunctionalise |
| LProj | IRTS.Lang, IRTS.Defunctionalise |
| LReadStr | 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 |
| LSRem | 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 |
| LStrSubstr | IRTS.Lang, IRTS.Defunctionalise |
| LStrTail | IRTS.Lang, IRTS.Defunctionalise |
| lsubst | IRTS.Lang, IRTS.Defunctionalise |
| LSystemInfo | IRTS.Lang, IRTS.Defunctionalise |
| lteProp | Idris.Parser.Helpers, Idris.Parser |
| LTimes | IRTS.Lang, IRTS.Defunctionalise |
| ltProp | Idris.Parser.Helpers, Idris.Parser |
| LTrunc | IRTS.Lang, IRTS.Defunctionalise |
| LUDiv | IRTS.Lang, IRTS.Defunctionalise |
| LURem | IRTS.Lang, IRTS.Defunctionalise |
| LV | IRTS.Lang, IRTS.Defunctionalise |
| LVar | IRTS.Lang, IRTS.Defunctionalise |
| LWriteStr | IRTS.Lang, IRTS.Defunctionalise |
| LXOr | IRTS.Lang, IRTS.Defunctionalise |
| LZExt | IRTS.Lang, IRTS.Defunctionalise |