idris-0.10.3: Functional Programming Language with Dependent Types

Index - S

safeForgetIdris.Core.TT
safeForgetEnvIdris.Core.TT
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
SDeclIRTS.Simplified
SDefaultCaseIRTS.Simplified
SearchIdris.AbsSyntaxTree, Idris.AbsSyntax
searchByTypeIdris.TypeSearch
searchPredIdris.TypeSearch
sendHighlightingIdris.Output
sendParserHighlightingIdris.Output
SeqArgsIdris.Help
serializeIRTS.DumpBC
serializeBCIRTS.DumpBC
serializeCaseIRTS.DumpBC
serializeDefaultIRTS.DumpBC
serializeRegIRTS.DumpBC
SErrorIRTS.Simplified
setAccessIdris.Core.Evaluate
setAccessibilityIdris.AbsSyntax
setAndReportIdris.Error
setAutoImplsIdris.AbsSyntax
setAutoSolveIdris.AbsSyntax
setCmdLineIdris.AbsSyntax
setCodegenIdris.AbsSyntax
SetColourIdris.AbsSyntaxTree, Idris.AbsSyntax
setColourIdris.AbsSyntax
setColouriseIdris.AbsSyntax
SetConsoleWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
setContextIdris.AbsSyntax
setCoverageIdris.AbsSyntax
setDepthIdris.AbsSyntax
setDesugarNatsIdris.AbsSyntax
setDetaggableIdris.Elab.Utils
setErrContextIdris.AbsSyntax
setErrSpanIdris.AbsSyntax
setEvalTypesIdris.AbsSyntax
setFlagsIdris.AbsSyntax
setFnInfoIdris.AbsSyntax
setIBCSubDirIdris.AbsSyntax
setIdeModeIdris.AbsSyntax
setImportDirsIdris.AbsSyntax
setImpShowIdris.AbsSyntax
setinjIdris.Core.Elaborate
SetInjectiveIdris.Core.ProofState, Idris.Core.Elaborate
setLogCatsIdris.AbsSyntax
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
setOptionsIdris.REPL.Parser
setOptLevelIdris.AbsSyntax
setOutputTyIdris.AbsSyntax
SetPrinterDepthIdris.AbsSyntaxTree, Idris.AbsSyntax
setQuietIdris.AbsSyntax
setREPLIdris.AbsSyntax
setShowOrigErrIdris.AbsSyntax
setSOIdris.AbsSyntax
setTargetCPUIdris.AbsSyntax
setTargetTripleIdris.AbsSyntax
setTotalIdris.Core.Evaluate
setTotalityIdris.AbsSyntax
setTypeCaseIdris.AbsSyntax
setTypeInTypeIdris.AbsSyntax
setupBundledCCUtil.System
setVerboseIdris.AbsSyntax
setWidthIdris.AbsSyntax
set_contextIdris.Core.Elaborate
set_datatypesIdris.Core.Elaborate
set_global_nextnameIdris.Core.Elaborate
SExp 
1 (Type/Class)IRTS.Simplified
2 (Type/Class)Idris.IdeMode
SExpableIdris.IdeMode
SexpListIdris.IdeMode
sexpToCommandIdris.IdeMode
sExpToStringIdris.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
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
ShowLoggingCatsIdris.AbsSyntaxTree, Idris.AbsSyntax
showNameIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowOrigErrIdris.AbsSyntaxTree, Idris.AbsSyntax
showOrigErrIdris.AbsSyntax
ShowPkgsIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowProofIdris.AbsSyntaxTree, Idris.AbsSyntax
showProofIdris.Prover
showRunElabIdris.Prover
showSepIdris.Core.TT
showTmIdris.AbsSyntaxTree, Idris.AbsSyntax
showTmImplsIdris.AbsSyntaxTree, Idris.AbsSyntax
showTmOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
sigmaConIdris.AbsSyntaxTree, Idris.AbsSyntax
sigmaTyIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleCaseIdris.Core.CaseTree
simpleConstructorIdris.Parser.Data, Idris.Parser
simpleDeclsIRTS.CodegenCommon
SimpleExprIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleExprIdris.Parser.Expr, Idris.Parser
simpleExternalExprIdris.Parser.Expr, Idris.Parser
simpleWhiteSpaceIdris.Parser.Helpers, 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.Parser.Helpers, 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.Elab.Term
solveAutoIdris.Elab.Term
solveAutosIdris.Elab.Term
solvedIdris.Core.ProofState, Idris.Core.Elaborate
solveDeferredIdris.AbsSyntax
SOpIRTS.Simplified
SourceFCIdris.AbsSyntaxTree, Idris.AbsSyntax
SourceTermIdris.Core.TT
SpaceIdris.Docstrings
spanFCIdris.Core.TT
SpecIdris.AbsSyntaxTree, Idris.AbsSyntax
SpecialHeaderArgIdris.Help
SpecialiseIdris.AbsSyntaxTree, Idris.AbsSyntax
specialiseIdris.Core.Evaluate
SpecialNameIdris.Core.TT
specTypeIdris.PartialEval
splitOnLineIdris.CaseSplit
SProjIRTS.Simplified
SSymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
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.Parser.Expr, Idris.Parser
STermIdris.Core.CaseTree
STOREOLDIRTS.Bytecode
Str 
1 (Data Constructor)Idris.Core.TT
2 (Data Constructor)Idris.Docstrings
strIdris.Core.TT
stringIdris.Parser.Helpers, Idris.Parser
StringAtomIdris.IdeMode
stringLiteralIdris.Parser.Helpers, Idris.Parser
StringLitTArgIdris.Parser.Expr, Idris.Parser
stripLinearIdris.AbsSyntax
stripUnmatchableIdris.AbsSyntax
strLogCatIdris.AbsSyntaxTree, Idris.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.Parser.Helpers, Idris.Parser
SymbolAtomIdris.IdeMode
symbolFCIdris.Parser.Helpers, Idris.Parser
SymRefIdris.Core.TT
SynIdris.AbsSyntaxTree, Idris.AbsSyntax
SynBindIdris.Parser.Expr, Idris.Parser
SynContextIdris.AbsSyntaxTree, Idris.AbsSyntax
SynMatchIdris.Parser.Expr, 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.Parser.Expr, Idris.Parser
syn_in_quasiquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_namespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax