idris-0.9.17: Functional Programming Language with Dependent Types

Index - S

safeForgetIdris.Core.TT
safeForgetEnvIdris.Core.TT
safeToEnumIdris.IBC
SAltIRTS.Simplified
SameIdris.AbsSyntaxTree, Idris.AbsSyntax
SAppIRTS.Simplified
saveStateIdris.Core.Elaborate
SCIdris.Core.CaseTree
SC'Idris.Core.CaseTree
SCaseIRTS.Simplified
scgIdris.AbsSyntaxTree, Idris.AbsSyntax
SCGEntryIdris.AbsSyntaxTree, Idris.AbsSyntax
SChkCaseIRTS.Simplified
SConIRTS.Simplified
SConCaseIRTS.Simplified
SConstIRTS.Simplified
SConstCaseIRTS.Simplified
scoreIdris.Core.TT
SDeclIRTS.Simplified
SDefaultCaseIRTS.Simplified
SearchIdris.AbsSyntaxTree, Idris.AbsSyntax
searchByTypeIdris.TypeSearch
searchPredIdris.TypeSearch
SeqArgsIdris.Help
serializeIRTS.DumpBC
serializeBCIRTS.DumpBC
serializeCaseIRTS.DumpBC
serializeDefaultIRTS.DumpBC
serializeRegIRTS.DumpBC
SErrorIRTS.Simplified
setAccessIdris.Core.Evaluate
setAccessibilityIdris.AbsSyntax
setAndReportIdris.Error
setAutoSolveIdris.AbsSyntax
setCmdLineIdris.AbsSyntax
setCodegenIdris.AbsSyntax
SetColourIdris.AbsSyntaxTree, Idris.AbsSyntax
setColourIdris.AbsSyntax
setColouriseIdris.AbsSyntax
SetConsoleWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
setContextIdris.AbsSyntax
setCoverageIdris.AbsSyntax
setErrContextIdris.AbsSyntax
setErrSpanIdris.AbsSyntax
setFlagsIdris.AbsSyntax
setFnInfoIdris.AbsSyntax
setIBCSubDirIdris.AbsSyntax
setIdeModeIdris.AbsSyntax
setImportDirsIdris.AbsSyntax
setImpShowIdris.AbsSyntax
setinjIdris.Core.Elaborate
SetInjectiveIdris.Core.ProofState, Idris.Core.Elaborate
setLogLevelIdris.AbsSyntax
setMetaInformationIdris.Core.Evaluate
setNextNameIdris.Core.Elaborate
setNoBannerIdris.AbsSyntax
SetOpt 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
setOptimiseIdris.AbsSyntax
setOptLevelIdris.AbsSyntax
setOutputTyIdris.AbsSyntax
setQuietIdris.AbsSyntax
setREPLIdris.AbsSyntax
setShowOrigErrIdris.AbsSyntax
setSOIdris.AbsSyntax
setTargetCPUIdris.AbsSyntax
setTargetTripleIdris.AbsSyntax
setTotalIdris.Core.Evaluate
setTotalityIdris.AbsSyntax
setTypeCaseIdris.AbsSyntax
setTypeInTypeIdris.AbsSyntax
setVerboseIdris.AbsSyntax
setWidthIdris.AbsSyntax
set_contextIdris.Core.Elaborate
SExp 
1 (Type/Class)IRTS.Simplified
2 (Type/Class)Idris.IdeMode
SExpableIdris.IdeMode
SexpListIdris.IdeMode
sexpToCommandIdris.IdeMode
SForeignIRTS.Simplified
SFunIRTS.Simplified
shadowIdris.AbsSyntax
SharedIdris.Core.CaseTree
showCGIdris.Core.TT
showCImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclsIdris.AbsSyntaxTree, Idris.AbsSyntax
showDImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showEnvIdris.Core.TT
showEnv'Idris.Core.TT
showEnvDbgIdris.Core.TT
showErrIdris.Error
ShowImpl 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
ShowIncsIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowLibdirIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowLibsIdris.AbsSyntaxTree, Idris.AbsSyntax
showNameIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowOrigErrIdris.AbsSyntaxTree, Idris.AbsSyntax
showOrigErrIdris.AbsSyntax
ShowPkgsIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowProofIdris.AbsSyntaxTree, Idris.AbsSyntax
showProofIdris.Prover
showSepIdris.Core.TT
showTmIdris.AbsSyntaxTree, Idris.AbsSyntax
showTmImplsIdris.AbsSyntaxTree, Idris.AbsSyntax
showTotalIdris.REPL
showTotalNIdris.REPL
sigmaTyIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleCaseIdris.Core.CaseTree
simpleConstructorIdris.ParseData, Idris.Parser
simpleDeclsIRTS.CodegenCommon
SimpleExprIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleExprIdris.ParseExpr, Idris.Parser
simpleExternalExprIdris.ParseExpr, Idris.Parser
simpleWhiteSpaceIdris.ParseHelpers, Idris.Parser
simple_appIdris.Core.Elaborate
SimplifyIdris.Core.ProofState, Idris.Core.Elaborate
simplify 
1 (Function)Idris.Core.Evaluate
2 (Function)Idris.Core.Elaborate
simplifyCasedefIdris.Core.Evaluate
simplifyDefsIRTS.Simplified
singleLineCommentIdris.ParseHelpers, Idris.Parser
sInstanceNIdris.Core.TT
SizeChangeIdris.AbsSyntaxTree, Idris.AbsSyntax
SkipIdris.AbsSyntaxTree, Idris.AbsSyntax
SLetIRTS.Simplified
SLIDEIRTS.Bytecode
smallIdris.Core.CaseTree
SmallerIdris.AbsSyntaxTree, Idris.AbsSyntax
sMNIdris.Core.TT
SNIdris.Core.TT
SNothingIRTS.Simplified
sNSIdris.Core.TT
SoftBreakIdris.Docstrings
Solve 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
solveIdris.Core.Elaborate
solveAllIdris.ElabTerm
solveAutoIdris.ElabTerm
solveAutosIdris.ElabTerm
solvedIdris.Core.ProofState, Idris.Core.Elaborate
solveDeferredIdris.AbsSyntax
SOpIRTS.Simplified
SourceFCIdris.AbsSyntaxTree, Idris.AbsSyntax
sourcefileIdris.IBC
SourceTermIdris.Core.TT
SpaceIdris.Docstrings
sParentNIdris.Core.TT
SpecIdris.AbsSyntaxTree, Idris.AbsSyntax
SpecialHeaderArgIdris.Help
SpecialiseIdris.AbsSyntaxTree, Idris.AbsSyntax
specialiseIdris.Core.Evaluate
SpecialNameIdris.Core.TT
specTypeIdris.PartialEval
splitNameIdris.REPL
splitOnLineIdris.CaseSplit
SProjIRTS.Simplified
srcPathIdris.Imports
SSymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
startServerIdris.REPL
StartUnifyIdris.Core.ProofState, Idris.Core.Elaborate
start_unifyIdris.Core.Elaborate
Static 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
staticIdris.ParseExpr, Idris.Parser
STermIdris.Core.CaseTree
STOREOLDIRTS.Bytecode
Str 
1 (Data Constructor)Idris.Core.TT
2 (Data Constructor)Idris.Docstrings
strIdris.Core.TT
stringIdris.ParseHelpers, Idris.Parser
StringAtomIdris.IdeMode
stringLiteralIdris.ParseHelpers, Idris.Parser
StringLitTArgIdris.ParseExpr, Idris.Parser
stripLinearIdris.AbsSyntax
stripUnmatchableIdris.AbsSyntax
StrongIdris.Docstrings
StrTypeIdris.Core.TT
SubReportIdris.Core.TT
substIdris.Core.TT
substAltIdris.Core.CaseTree
substMatchIdris.AbsSyntax
substMatchesIdris.AbsSyntax
substMatchesShadowIdris.AbsSyntax
substMatchShadowIdris.AbsSyntax
substNamesIdris.Core.TT
substSCIdris.Core.CaseTree
substTermIdris.Core.TT
substVIdris.Core.TT
SucCaseIdris.Core.CaseTree
sUNIdris.Core.TT
SUpdateIRTS.Simplified
SVIRTS.Simplified
SymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
symbolIdris.ParseHelpers, Idris.Parser
SymbolAtomIdris.IdeMode
symbolsIdris.IBC
SymRefIdris.Core.TT
SynIdris.AbsSyntaxTree, Idris.AbsSyntax
SynBindIdris.ParseExpr, Idris.Parser
SynContextIdris.AbsSyntaxTree, Idris.AbsSyntax
SynMatchIdris.ParseExpr, Idris.Parser
SyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxDeclIdris.Parser
SyntaxInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRuleIdris.Parser
SyntaxRules 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRulesListIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxSymIdris.Parser
syntaxSymbolsIdris.AbsSyntaxTree, Idris.AbsSyntax
syntax_keywordsIdris.AbsSyntaxTree, Idris.AbsSyntax
syntax_rulesIdris.AbsSyntaxTree, Idris.AbsSyntax
SynTmIdris.ParseExpr, Idris.Parser
syn_in_quasiquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_namespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax