idris-1.0: Functional Programming Language with Dependent Types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- Z
- _
- All

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.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
LogCategory | Idris.REPL.Commands
logCodeGen | Idris.AbsSyntax
logCoverage | Idris.AbsSyntax
logElab | Idris.AbsSyntax
logErasure | Idris.AbsSyntax
loggingCatsStr | Idris.AbsSyntaxTree, Idris.AbsSyntax
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