idris-1.3.4: 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 - S

safeForget | Idris.Core.TT
safeForgetEnv | Idris.Core.TT
SAlt | IRTS.Simplified
Same | Idris.AbsSyntaxTree, Idris.AbsSyntax
SApp | IRTS.Simplified
saveState | Idris.Core.Elaborate
SC | Idris.Core.CaseTree
SC' | Idris.Core.CaseTree
SCase | IRTS.Simplified
scg | Idris.AbsSyntaxTree, Idris.AbsSyntax
SCGEntry | Idris.AbsSyntaxTree, Idris.AbsSyntax
SChkCase | IRTS.Simplified
SCon | IRTS.Simplified
SConCase | IRTS.Simplified
SConst | IRTS.Simplified
SConstCase | IRTS.Simplified
scopedImp | Idris.Parser.Expr
SCtor | IRTS.JavaScript.Specialize
SDecl | IRTS.Simplified
SDefaultCase | IRTS.Simplified
Search | Idris.REPL.Commands
searchByType | Idris.TypeSearch
searchPred | Idris.TypeSearch
sendHighlighting | Idris.Output
sendParserHighlighting | Idris.Output
SeqArgs | Idris.Help
serialize | IRTS.DumpBC
serializeBC | IRTS.DumpBC
serializeCase | IRTS.DumpBC
serializeDefault | IRTS.DumpBC
serializeReg | IRTS.DumpBC
SError | IRTS.Simplified
setAccess | Idris.Core.Evaluate
setAccessibility | Idris.AbsSyntax
setAndReport | Idris.Error
setAutoImpls | Idris.AbsSyntax
setAutoSolve | Idris.AbsSyntax
setBaseName | IRTS.Lang, IRTS.Defunctionalise
setCmdLine | Idris.AbsSyntax
setCodegen | Idris.AbsSyntax
SetColour | Idris.REPL.Commands
setColour | Idris.AbsSyntax
setColourise | Idris.AbsSyntax
SetConsoleWidth | Idris.REPL.Commands
setContext | Idris.AbsSyntax
setCoverage | Idris.AbsSyntax
setDepth | Idris.AbsSyntax
setDesugarNats | Idris.AbsSyntax
setDetaggable | Idris.Elab.Utils
setErrContext | Idris.AbsSyntax
setErrSpan | Idris.AbsSyntax
setEvalTypes | Idris.AbsSyntax
setFlags | Idris.AbsSyntax
setFnInfo | Idris.AbsSyntax
setIBCSubDir | Idris.AbsSyntax
setIdeMode | Idris.AbsSyntax
setImportDirs | Idris.AbsSyntax
setImpShow | Idris.AbsSyntax
setIndentClause | Idris.AbsSyntax
setIndentWith | Idris.AbsSyntax
setinj | Idris.Core.Elaborate
SetInjective | Idris.Core.ProofState, Idris.Core.Elaborate
setInjective | Idris.Core.Evaluate
setInjectivity | Idris.AbsSyntax
setLinear | Idris.Elab.Utils
setLogCats | Idris.AbsSyntax
setLogLevel | Idris.AbsSyntax
setMetaInformation | Idris.Core.Evaluate
setNextName | Idris.Core.Elaborate
setNoBanner | Idris.AbsSyntax
setOpenImpl | Idris.AbsSyntax
SetOpt |
1 (Data Constructor) | Idris.IdeMode
2 (Data Constructor) | Idris.REPL.Commands
setOptimise | Idris.AbsSyntax
setOptions | Idris.REPL.Parser
setOptLevel | Idris.AbsSyntax
SetOrUpdate | Idris.Parser.Expr
setOutputTy | Idris.AbsSyntax
SetPrinterDepth | Idris.REPL.Commands
setQuiet | Idris.AbsSyntax
setREPL | Idris.AbsSyntax
setRigCount | Idris.Core.Evaluate
setShowOrigErr | Idris.AbsSyntax
setSO | Idris.AbsSyntax
setSourceDirs | Idris.AbsSyntax
setTargetCPU | Idris.AbsSyntax
setTargetTriple | Idris.AbsSyntax
setTotal | Idris.Core.Evaluate
setTotality | Idris.AbsSyntax
setTypeCase | Idris.AbsSyntax
setTypeInType | Idris.AbsSyntax
setupBundledCC | Util.System
setVerbose | Idris.AbsSyntax
setWidth | Idris.AbsSyntax
set_context | Idris.Core.Elaborate
set_datatypes | Idris.Core.Elaborate
set_global_nextname | Idris.Core.Elaborate
SExp |
1 (Type/Class) | Idris.IdeMode
2 (Type/Class) | IRTS.Simplified
SExpable | Idris.IdeMode
SexpList | Idris.IdeMode
sexpToCommand | Idris.IdeMode
sExpToString | Idris.IdeMode
SForeign | IRTS.Simplified
SFun | IRTS.Simplified
shadow | Idris.AbsSyntax
Shared | Idris.Core.CaseTree
ShellCommandArg | Idris.Help
ShowAll | Idris.Options
showCG | Idris.Core.TT
showCImp | Idris.AbsSyntaxTree, Idris.AbsSyntax
showDeclImp | Idris.AbsSyntaxTree, Idris.AbsSyntax
showDecls | Idris.AbsSyntaxTree, Idris.AbsSyntax
showDImp | Idris.AbsSyntaxTree, Idris.AbsSyntax
ShowDocDir | Idris.Options
showEnv | Idris.Core.TT
showEnvDbg | Idris.Core.TT
showErr | Idris.Error
showExitIdrisCRTSDir | Idris.Info.Show
showExitIdrisDataDir | Idris.Info.Show
showExitIdrisDocDir | Idris.Info.Show
showExitIdrisFlagsInc | Idris.Info.Show
showExitIdrisFlagsLibs | Idris.Info.Show
showExitIdrisInfo | Idris.Info.Show
showExitIdrisInstalledPackages | Idris.Info.Show
showExitIdrisJSRTSDir | Idris.Info.Show
showExitIdrisLibDir | Idris.Info.Show
showExitIdrisLoggingCategories | Idris.Info.Show
showIdrisCRTSDir | Idris.Info.Show
showIdrisDataDir | Idris.Info.Show
showIdrisDocDir | Idris.Info.Show
showIdrisFlagsInc | Idris.Info.Show
showIdrisFlagsLibs | Idris.Info.Show
showIdrisInfo | Idris.Info.Show
showIdrisInstalledPackages | Idris.Info.Show
showIdrisJSRTSDir | Idris.Info.Show
showIdrisLibDir | Idris.Info.Show
showIdrisLoggingCategories | Idris.Info.Show
ShowImpl |
1 (Data Constructor) | Idris.IdeMode
2 (Data Constructor) | Idris.Options
ShowIncs | Idris.Options
ShowLibDir | Idris.Options
ShowLibs | Idris.Options
ShowLoggingCats | Idris.Options
showName | Idris.AbsSyntaxTree, Idris.AbsSyntax
ShowOrigErr | Idris.Options
showOrigErr | Idris.AbsSyntax
ShowPkgs | Idris.Options
ShowProof | Idris.REPL.Commands
showProof | Idris.Prover
showRunElab | Idris.Prover
showSep | Idris.Core.TT
showTm | Idris.AbsSyntaxTree, Idris.AbsSyntax
showTmImpls | Idris.AbsSyntaxTree, Idris.AbsSyntax
showTmOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax
ShowVersion | Idris.REPL.Commands
sigmaCon | Idris.AbsSyntaxTree, Idris.AbsSyntax
sigmaTy | Idris.AbsSyntaxTree, Idris.AbsSyntax
simpleCase | Idris.Core.CaseTree
simpleConstructor | Idris.Parser.Data
simpleDecls | IRTS.CodegenCommon
SimpleExpr | Idris.AbsSyntaxTree, Idris.AbsSyntax
simpleExpr | Idris.Parser.Expr
simpleExternalExpr | Idris.Parser.Expr
sImplementationN | Idris.Core.TT
simple_app | Idris.Core.Elaborate
Simplify | Idris.Core.ProofState, Idris.Core.Elaborate
simplify |
1 (Function) | Idris.Core.Evaluate
2 (Function) | Idris.Core.Elaborate
simplifyCasedef | Idris.Core.Evaluate
simplifyDefs | IRTS.Simplified
SizeChange | Idris.AbsSyntaxTree, Idris.AbsSyntax
Skip | Idris.AbsSyntaxTree, Idris.AbsSyntax
SLet | IRTS.Simplified
SLIDE | IRTS.Bytecode
small | Idris.Core.CaseTree
Smaller | Idris.AbsSyntaxTree, Idris.AbsSyntax
sMN | Idris.Core.TT
SN | Idris.Core.TT
sndEnv | Idris.Core.TT
SNothing | IRTS.Simplified
sNS | Idris.Core.TT
SoftBreak | Idris.Docstrings
Solve |
1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
solve | Idris.Core.Elaborate
solveAll | Idris.Elab.Term
solveAuto | Idris.Elab.Term
solveAutos | Idris.Elab.Term
solved | Idris.Core.ProofState, Idris.Core.Elaborate
solveDeferred | Idris.AbsSyntax
someSpace | Idris.Parser.Helpers
SOp | IRTS.Simplified
SourceDir | Idris.Options
sourcedir | Idris.Package.Common
SourceFC | Idris.AbsSyntaxTree, Idris.AbsSyntax
SourceTerm | Idris.Core.TT
Space | Idris.Docstrings
Spec | Idris.REPL.Commands
specialCall | IRTS.JavaScript.Specialize
specialCased | IRTS.JavaScript.Specialize
SpecialHeaderArg | Idris.Help
Specialise | Idris.AbsSyntaxTree, Idris.AbsSyntax
specialise | Idris.Core.Evaluate
SpecialName | Idris.Core.TT
specType | Idris.PartialEval
splitOnLine | Idris.CaseSplit
SProj |
1 (Type/Class) | IRTS.JavaScript.Specialize
2 (Data Constructor) | IRTS.Simplified
SSymbol | Idris.AbsSyntaxTree, Idris.AbsSyntax
startServer | Idris.REPL
StartUnify | Idris.Core.ProofState, Idris.Core.Elaborate
start_unify | Idris.Core.Elaborate
Static |
1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
static | Idris.Parser.Expr
StaticFn | Idris.AbsSyntaxTree, Idris.AbsSyntax
STerm | Idris.Core.CaseTree
STest | IRTS.JavaScript.Specialize
STOREOLD | IRTS.Bytecode
Str |
1 (Data Constructor) | Idris.Core.TT
2 (Data Constructor) | Idris.Docstrings
str | Idris.Core.TT
string | Idris.Parser.Helpers
StringAtom | Idris.IdeMode
stringLiteral | Idris.Parser.Helpers
StringLitTArg | Idris.Parser.Expr
stripLinear | Idris.AbsSyntax
stripUnmatchable | Idris.AbsSyntax
strLogCat | Idris.Options
Strong | Idris.Docstrings
StrType | Idris.Core.TT
SubReport | Idris.Core.TT
subst | Idris.Core.TT
substAlt | Idris.Core.CaseTree
substMatch | Idris.AbsSyntax
substMatches | Idris.AbsSyntax
substMatchesShadow | Idris.AbsSyntax
substMatchShadow | Idris.AbsSyntax
substNames | Idris.Core.TT
substRetTy | Idris.Core.TT
substSC | Idris.Core.CaseTree
substTerm | Idris.Core.TT
substV | Idris.Core.TT
SucCase | Idris.Core.CaseTree
sUN | Idris.Core.TT
SUpdate | IRTS.Simplified
SV | IRTS.Simplified
Symbol | Idris.AbsSyntaxTree, Idris.AbsSyntax
symbol | Idris.Parser.Helpers
SymbolAtom | Idris.IdeMode
symbolicOperator | Idris.Parser.Ops
SymRef | Idris.Core.TT
Syn | Idris.AbsSyntaxTree, Idris.AbsSyntax
SynBind | Idris.Parser.Expr
SynContext | Idris.AbsSyntaxTree, Idris.AbsSyntax
SynMatch | Idris.Parser.Expr
Syntax | Idris.AbsSyntaxTree, Idris.AbsSyntax
SyntaxInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxNames | Idris.AbsSyntaxTree, Idris.AbsSyntax
SyntaxRules |
1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRulesList | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxSymbols | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntax_keywords | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntax_rules | Idris.AbsSyntaxTree, Idris.AbsSyntax
SynTm | Idris.Parser.Expr
syn_in_quasiquote | Idris.AbsSyntaxTree, Idris.AbsSyntax
syn_namespace | Idris.AbsSyntaxTree, Idris.AbsSyntax
syn_params | Idris.AbsSyntaxTree, Idris.AbsSyntax
syn_toplevel | Idris.AbsSyntaxTree, Idris.AbsSyntax