idris-1.1.0: 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
scopedImpIdris.Parser.Expr, Idris.Parser
SCtorIRTS.JavaScript.Specialize
SDeclIRTS.Simplified
SDefaultCaseIRTS.Simplified
SearchIdris.REPL.Commands
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.REPL.Commands
setColourIdris.AbsSyntax
setColouriseIdris.AbsSyntax
SetConsoleWidthIdris.REPL.Commands
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
setIndentClauseIdris.AbsSyntax
setIndentWithIdris.AbsSyntax
setinjIdris.Core.Elaborate
SetInjectiveIdris.Core.ProofState, Idris.Core.Elaborate
setInjectiveIdris.Core.Evaluate
setInjectivityIdris.AbsSyntax
setLinearIdris.Elab.Utils
setLogCatsIdris.AbsSyntax
setLogLevelIdris.AbsSyntax
setMetaInformationIdris.Core.Evaluate
setNextNameIdris.Core.Elaborate
setNoBannerIdris.AbsSyntax
setOpenImplIdris.AbsSyntax
SetOpt 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
setOptimiseIdris.AbsSyntax
setOptionsIdris.REPL.Parser
setOptLevelIdris.AbsSyntax
SetOrUpdateIdris.Parser.Expr, Idris.Parser
setOutputTyIdris.AbsSyntax
SetPrinterDepthIdris.REPL.Commands
setQuietIdris.AbsSyntax
setREPLIdris.AbsSyntax
setRigCountIdris.Core.Evaluate
setShowOrigErrIdris.AbsSyntax
setSOIdris.AbsSyntax
setSourceDirsIdris.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)Idris.IdeMode
2 (Type/Class)IRTS.Simplified
SExpableIdris.IdeMode
SexpListIdris.IdeMode
sexpToCommandIdris.IdeMode
sExpToStringIdris.IdeMode
SForeignIRTS.Simplified
SFunIRTS.Simplified
shadowIdris.AbsSyntax
SharedIdris.Core.CaseTree
ShellCommandArgIdris.Help
ShowAllIdris.Options
showCGIdris.Core.TT
showCImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclsIdris.AbsSyntaxTree, Idris.AbsSyntax
showDImpIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowDocDirIdris.Options
showEnvIdris.Core.TT
showEnvDbgIdris.Core.TT
showErrIdris.Error
showExitIdrisCRTSDirIdris.Info.Show
showExitIdrisDataDirIdris.Info.Show
showExitIdrisDocDirIdris.Info.Show
showExitIdrisFlagsIncIdris.Info.Show
showExitIdrisFlagsLibsIdris.Info.Show
showExitIdrisInfoIdris.Info.Show
showExitIdrisInstalledPackagesIdris.Info.Show
showExitIdrisJSRTSDirIdris.Info.Show
showExitIdrisLibDirIdris.Info.Show
showExitIdrisLoggingCategoriesIdris.Info.Show
showIdrisCRTSDirIdris.Info.Show
showIdrisDataDirIdris.Info.Show
showIdrisDocDirIdris.Info.Show
showIdrisFlagsIncIdris.Info.Show
showIdrisFlagsLibsIdris.Info.Show
showIdrisInfoIdris.Info.Show
showIdrisInstalledPackagesIdris.Info.Show
showIdrisJSRTSDirIdris.Info.Show
showIdrisLibDirIdris.Info.Show
showIdrisLoggingCategoriesIdris.Info.Show
ShowImpl 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.Options
ShowIncsIdris.Options
ShowLibDirIdris.Options
ShowLibsIdris.Options
ShowLoggingCatsIdris.Options
showNameIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowOrigErrIdris.Options
showOrigErrIdris.AbsSyntax
ShowPkgsIdris.Options
ShowProofIdris.REPL.Commands
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
sImplementationNIdris.Core.TT
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
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
sndEnvIdris.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
SourceDirIdris.Options
sourcedirIdris.Package.Common
SourceFCIdris.AbsSyntaxTree, Idris.AbsSyntax
SourceTermIdris.Core.TT
SpaceIdris.Docstrings
spanFCIdris.Core.TT
SpecIdris.REPL.Commands
specialCallIRTS.JavaScript.Specialize
specialCasedIRTS.JavaScript.Specialize
SpecialHeaderArgIdris.Help
SpecialiseIdris.AbsSyntaxTree, Idris.AbsSyntax
specialiseIdris.Core.Evaluate
SpecialNameIdris.Core.TT
specTypeIdris.PartialEval
splitOnLineIdris.CaseSplit
SProj 
1 (Type/Class)IRTS.JavaScript.Specialize
2 (Data Constructor)IRTS.Simplified
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.Parser.Expr, Idris.Parser
StaticFnIdris.AbsSyntaxTree, Idris.AbsSyntax
STermIdris.Core.CaseTree
STestIRTS.JavaScript.Specialize
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.Options
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
substRetTyIdris.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
syn_toplevelIdris.AbsSyntaxTree, Idris.AbsSyntax