idris-1.0: 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, Idris.Parser
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
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, Idris.Parser
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.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
ShowIncs | Idris.AbsSyntaxTree, Idris.AbsSyntax
ShowLibDir | Idris.AbsSyntaxTree, Idris.AbsSyntax
ShowLibs | Idris.AbsSyntaxTree, Idris.AbsSyntax
ShowLoggingCats | Idris.AbsSyntaxTree, Idris.AbsSyntax
showName | Idris.AbsSyntaxTree, Idris.AbsSyntax
ShowOrigErr | Idris.AbsSyntaxTree, Idris.AbsSyntax
showOrigErr | Idris.AbsSyntax
ShowPkgs | Idris.AbsSyntaxTree, Idris.AbsSyntax
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
sigmaCon | Idris.AbsSyntaxTree, Idris.AbsSyntax
sigmaTy | Idris.AbsSyntaxTree, Idris.AbsSyntax
simpleCase | Idris.Core.CaseTree
simpleConstructor | Idris.Parser.Data, Idris.Parser
simpleDecls | IRTS.CodegenCommon
SimpleExpr | Idris.AbsSyntaxTree, Idris.AbsSyntax
simpleExpr | Idris.Parser.Expr, Idris.Parser
simpleExternalExpr | Idris.Parser.Expr, Idris.Parser
sImplementationN | Idris.Core.TT
simpleWhiteSpace | Idris.Parser.Helpers, Idris.Parser
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
singleLineComment | Idris.Parser.Helpers, Idris.Parser
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
SOp | IRTS.Simplified
SourceDir | Idris.AbsSyntaxTree, Idris.AbsSyntax
sourcedir | Idris.Package.Common
SourceFC | Idris.AbsSyntaxTree, Idris.AbsSyntax
SourceTerm | Idris.Core.TT
Space | Idris.Docstrings
spanFC | Idris.Core.TT
Spec | Idris.REPL.Commands
SpecialHeaderArg | Idris.Help
Specialise | Idris.AbsSyntaxTree, Idris.AbsSyntax
specialise | Idris.Core.Evaluate
SpecialName | Idris.Core.TT
specType | Idris.PartialEval
splitOnLine | Idris.CaseSplit
SProj | 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, Idris.Parser
StaticFn | Idris.AbsSyntaxTree, Idris.AbsSyntax
STerm | Idris.Core.CaseTree
STOREOLD | IRTS.Bytecode
Str |
1 (Data Constructor) | Idris.Core.TT
2 (Data Constructor) | Idris.Docstrings
str | Idris.Core.TT
string | Idris.Parser.Helpers, Idris.Parser
StringAtom | Idris.IdeMode
stringLiteral | Idris.Parser.Helpers, Idris.Parser
StringLitTArg | Idris.Parser.Expr, Idris.Parser
stripLinear | Idris.AbsSyntax
stripUnmatchable | Idris.AbsSyntax
strLogCat | Idris.AbsSyntaxTree, Idris.AbsSyntax
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, Idris.Parser
SymbolAtom | Idris.IdeMode
symbolFC | Idris.Parser.Helpers, Idris.Parser
SymRef | Idris.Core.TT
Syn | Idris.AbsSyntaxTree, Idris.AbsSyntax
SynBind | Idris.Parser.Expr, Idris.Parser
SynContext | Idris.AbsSyntaxTree, Idris.AbsSyntax
SynMatch | Idris.Parser.Expr, Idris.Parser
Syntax | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxDecl | Idris.Parser
SyntaxInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxNames | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRule | Idris.Parser
SyntaxRules |
1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRulesList | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxSym | Idris.Parser
syntaxSymbols | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntax_keywords | Idris.AbsSyntaxTree, Idris.AbsSyntax
syntax_rules | Idris.AbsSyntaxTree, Idris.AbsSyntax
SynTm | Idris.Parser.Expr, Idris.Parser
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