idris-1.0: Functional Programming Language with Dependent Types

Index - L

L 
1 (Data Constructor)IRTS.Bytecode
2 (Data Constructor)IRTS.BCImp
LAltIRTS.Lang, IRTS.Defunctionalise
LAlt'IRTS.Lang, IRTS.Defunctionalise
LamIdris.Core.TT
lambdaIdris.Parser.Expr, Idris.Parser
lambdaLiftIRTS.Lang, IRTS.Defunctionalise
LAndIRTS.Lang, IRTS.Defunctionalise
LanguageExtIdris.AbsSyntaxTree, Idris.AbsSyntax
LAppIRTS.Lang, IRTS.Defunctionalise
LASHRIRTS.Lang, IRTS.Defunctionalise
lastIndentIdris.Parser.Helpers, Idris.Parser
lastParseIdris.AbsSyntaxTree, Idris.AbsSyntax
lastTokenSpanIdris.AbsSyntaxTree, Idris.AbsSyntax
LaTeXOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
LBitCastIRTS.Lang, IRTS.Defunctionalise
LCaseIRTS.Lang, IRTS.Defunctionalise
lcharIdris.Parser.Helpers, Idris.Parser
lcharFCIdris.Parser.Helpers, Idris.Parser
LChIntIRTS.Lang, IRTS.Defunctionalise
LComplIRTS.Lang, IRTS.Defunctionalise
LConIRTS.Lang, IRTS.Defunctionalise
LConCaseIRTS.Lang, IRTS.Defunctionalise
LConstIRTS.Lang, IRTS.Defunctionalise
LConstCaseIRTS.Lang, IRTS.Defunctionalise
LConstructorIRTS.Lang, IRTS.Defunctionalise
LCrashIRTS.Lang, IRTS.Defunctionalise
LDeclIRTS.Lang, IRTS.Defunctionalise
LDefaultCaseIRTS.Lang, IRTS.Defunctionalise
LDefsIRTS.Lang, IRTS.Defunctionalise
LEIRTS.Lang, IRTS.Defunctionalise
LeftErrIdris.AbsSyntax
LendOnlyIdris.Core.Typecheck
LEqIRTS.Lang, IRTS.Defunctionalise
LErrorIRTS.Lang, IRTS.Defunctionalise
LetIdris.Core.TT
LetBindIdris.Core.ProofState, Idris.Core.Elaborate
letbindIdris.Core.Elaborate
LetTacIdris.AbsSyntaxTree, Idris.AbsSyntax
LetTacTyIdris.AbsSyntaxTree, Idris.AbsSyntax
let_Idris.Parser.Expr, Idris.Parser
let_bindingIdris.Parser.Expr, Idris.Parser
LExpIRTS.Lang, IRTS.Defunctionalise
LExternalIRTS.Lang, IRTS.Defunctionalise
LFACosIRTS.Lang, IRTS.Defunctionalise
LFASinIRTS.Lang, IRTS.Defunctionalise
LFATanIRTS.Lang, IRTS.Defunctionalise
LFCeilIRTS.Lang, IRTS.Defunctionalise
LFCosIRTS.Lang, IRTS.Defunctionalise
LFExpIRTS.Lang, IRTS.Defunctionalise
LFFloorIRTS.Lang, IRTS.Defunctionalise
LFloatIntIRTS.Lang, IRTS.Defunctionalise
LFloatStrIRTS.Lang, IRTS.Defunctionalise
LFLogIRTS.Lang, IRTS.Defunctionalise
LFNegateIRTS.Lang, IRTS.Defunctionalise
LForceIRTS.Lang, IRTS.Defunctionalise
LForeignIRTS.Lang, IRTS.Defunctionalise
LForkIRTS.Lang, IRTS.Defunctionalise
LFSinIRTS.Lang, IRTS.Defunctionalise
LFSqrtIRTS.Lang, IRTS.Defunctionalise
LFTanIRTS.Lang, IRTS.Defunctionalise
LFunIRTS.Lang, IRTS.Defunctionalise
LGeIRTS.Lang, IRTS.Defunctionalise
LGtIRTS.Lang, IRTS.Defunctionalise
LibUtil.DynamicLinker
libdepsIdris.Package.Common
lib_handleUtil.DynamicLinker
lib_nameUtil.DynamicLinker
LIDRIdris.Imports
liftIRTS.Lang, IRTS.Defunctionalise
liftAllIRTS.Lang, IRTS.Defunctionalise
liftDeclsIRTS.CodegenCommon
liftnameIdris.AbsSyntaxTree, Idris.AbsSyntax
liftPatsIdris.Elab.Utils
LiftStateIRTS.Lang, IRTS.Defunctionalise
linearArgIdris.Elab.Utils
linearCheckIdris.Core.Evaluate
linearCheckArgIdris.Core.Evaluate
LinearTypesIdris.AbsSyntaxTree, Idris.AbsSyntax
linear_conIdris.Core.TT
LineBreakIdris.Docstrings
lineNumIdris.Parser.Helpers, Idris.Parser
LinkIdris.Docstrings
LIntChIRTS.Lang, IRTS.Defunctionalise
LIntFloatIRTS.Lang, IRTS.Defunctionalise
LIntStrIRTS.Lang, IRTS.Defunctionalise
ListIdris.Docstrings
ListDynamicIdris.REPL.Commands
ListenPortIdris.AbsSyntaxTree, Idris.AbsSyntax
ListErrorHandlersIdris.REPL.Commands
listExprIdris.Parser.Expr, Idris.Parser
LLamIRTS.Lang, IRTS.Defunctionalise
LLazyAppIRTS.Lang, IRTS.Defunctionalise
LLazyExpIRTS.Lang, IRTS.Defunctionalise
LLeIRTS.Lang, IRTS.Defunctionalise
LLetIRTS.Lang, IRTS.Defunctionalise
LLSHRIRTS.Lang, IRTS.Defunctionalise
LLtIRTS.Lang, IRTS.Defunctionalise
LMinusIRTS.Lang, IRTS.Defunctionalise
lnameIRTS.Lang, IRTS.Defunctionalise
LNoOpIRTS.Lang, IRTS.Defunctionalise
LNothingIRTS.Lang, IRTS.Defunctionalise
LoadIdris.REPL.Commands
LoadFileIdris.IdeMode
loadFromIFileIdris.Parser
loadIBCIdris.IBC
LoadingFailedIdris.Core.TT
loadInputsIdris.ModeCommon, Idris.Main
loadModuleIdris.Parser
loadModule'Idris.Parser
loadPkgIndexIdris.IBC
loadSourceIdris.Parser
loadSource'Idris.Parser
loadStateIdris.Core.Elaborate
LocIRTS.Lang, IRTS.Defunctionalise
localnamesIdris.Core.TT
LogCatIdris.AbsSyntaxTree, Idris.AbsSyntax
LogCategoryIdris.REPL.Commands
logCodeGenIdris.AbsSyntax
logCoverageIdris.AbsSyntax
logElabIdris.AbsSyntax
logErasureIdris.AbsSyntax
loggingCatsStrIdris.AbsSyntaxTree, Idris.AbsSyntax
logIBCIdris.AbsSyntax
logLevelIdris.AbsSyntax
LogLvlIdris.REPL.Commands
logLvlIdris.AbsSyntax
logLvlCatsIdris.AbsSyntax
logParserIdris.AbsSyntax
lookAheadMatchesIdris.Parser.Helpers, Idris.Parser
lookupBinderIdris.Core.TT
lookupCtxtIdris.Core.TT
lookupCtxtExactIdris.Core.TT
lookupCtxtNameIdris.Core.TT
lookupDefIdris.Core.Evaluate
lookupDefAccIdris.Core.Evaluate
lookupDefAccExactIdris.Core.Evaluate
lookupDefExactIdris.Core.Evaluate
lookupInjectiveExactIdris.Core.Evaluate
lookupMetaInformationIdris.Core.Evaluate
lookupNameDefIdris.Core.Evaluate
lookupNamesIdris.Core.Evaluate
lookupNameTotalIdris.Core.Evaluate
lookupPIdris.Core.Evaluate
lookupP_allIdris.Core.Evaluate
lookupRigCountIdris.Core.Evaluate
lookupRigCountExactIdris.Core.Evaluate
lookupTotalIdris.Core.Evaluate
lookupTotalExactIdris.Core.Evaluate
lookupTyIdris.Core.Evaluate
lookupTyEnvIdris.Core.Evaluate
lookupTyExactIdris.Core.Evaluate
lookupTyNameIdris.Core.Evaluate
lookupTyNameExactIdris.Core.Evaluate
lookupValIdris.Core.Evaluate
LOpIRTS.Lang, IRTS.Defunctionalise
LOptIRTS.Lang, IRTS.Defunctionalise
LOrIRTS.Lang, IRTS.Defunctionalise
LParIRTS.Lang, IRTS.Defunctionalise
LPlusIRTS.Lang, IRTS.Defunctionalise
LProjIRTS.Lang, IRTS.Defunctionalise
LReadStrIRTS.Lang, IRTS.Defunctionalise
LSIRTS.Lang, IRTS.Defunctionalise
LSDivIRTS.Lang, IRTS.Defunctionalise
LSExtIRTS.Lang, IRTS.Defunctionalise
LSGeIRTS.Lang, IRTS.Defunctionalise
LSGtIRTS.Lang, IRTS.Defunctionalise
LSHLIRTS.Lang, IRTS.Defunctionalise
LSLeIRTS.Lang, IRTS.Defunctionalise
LSLtIRTS.Lang, IRTS.Defunctionalise
LSRemIRTS.Lang, IRTS.Defunctionalise
LStrConcatIRTS.Lang, IRTS.Defunctionalise
LStrConsIRTS.Lang, IRTS.Defunctionalise
LStrEqIRTS.Lang, IRTS.Defunctionalise
LStrFloatIRTS.Lang, IRTS.Defunctionalise
LStrHeadIRTS.Lang, IRTS.Defunctionalise
LStrIndexIRTS.Lang, IRTS.Defunctionalise
LStrIntIRTS.Lang, IRTS.Defunctionalise
LStrLenIRTS.Lang, IRTS.Defunctionalise
LStrLtIRTS.Lang, IRTS.Defunctionalise
LStrRevIRTS.Lang, IRTS.Defunctionalise
LStrSubstrIRTS.Lang, IRTS.Defunctionalise
LStrTailIRTS.Lang, IRTS.Defunctionalise
lsubstIRTS.Lang, IRTS.Defunctionalise
LSystemInfoIRTS.Lang, IRTS.Defunctionalise
ltePropIdris.Parser.Helpers, Idris.Parser
LTimesIRTS.Lang, IRTS.Defunctionalise
ltPropIdris.Parser.Helpers, Idris.Parser
LTruncIRTS.Lang, IRTS.Defunctionalise
LUDivIRTS.Lang, IRTS.Defunctionalise
LURemIRTS.Lang, IRTS.Defunctionalise
LVIRTS.Lang, IRTS.Defunctionalise
LVarIRTS.Lang, IRTS.Defunctionalise
LWriteStrIRTS.Lang, IRTS.Defunctionalise
LXOrIRTS.Lang, IRTS.Defunctionalise
LZExtIRTS.Lang, IRTS.Defunctionalise