Index - S
| SAlt | IRTS.Simplified |
| sAlt | IRTS.Simplified |
| Same | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| SApp | IRTS.Simplified |
| saveState | Core.Elaborate |
| SC | Core.CaseTree |
| SC' | 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 |
| scopecheck | IRTS.Simplified |
| score | Core.TT |
| SDecl | IRTS.Simplified |
| SDefaultCase | IRTS.Simplified |
| Search | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| semi | Util.Pretty |
| sep | Util.Pretty |
| serialize | IRTS.DumpBC |
| serializeBC | IRTS.DumpBC |
| serializeCase | IRTS.DumpBC |
| serializeDefault | IRTS.DumpBC |
| serializeReg | IRTS.DumpBC |
| SError | IRTS.Simplified |
| setAccess | Core.Evaluate |
| setAccessibility | Idris.AbsSyntax |
| setAndReport | Idris.Error |
| setCmdLine | Idris.AbsSyntax |
| setCodegen | Idris.AbsSyntax |
| SetColour | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| setColour | Idris.AbsSyntax |
| setColourise | Idris.AbsSyntax |
| setContext | Idris.AbsSyntax |
| setCoverage | Idris.AbsSyntax |
| setErrContext | Idris.AbsSyntax |
| setErrLine | Idris.AbsSyntax |
| setFlags | Idris.AbsSyntax |
| setIBCSubDir | Idris.AbsSyntax |
| setIdeSlave | Idris.AbsSyntax |
| setImportDirs | Idris.AbsSyntax |
| setImpShow | Idris.AbsSyntax |
| setinj | Core.Elaborate |
| SetInjective | Core.ProofState, Core.Elaborate |
| setLogLevel | Idris.AbsSyntax |
| setNoBanner | Idris.AbsSyntax |
| SetOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| setOptLevel | Idris.AbsSyntax |
| setOutH | Idris.AbsSyntax |
| setOutputTy | Idris.AbsSyntax |
| setQuiet | Idris.AbsSyntax |
| setREPL | Idris.AbsSyntax |
| setSO | Idris.AbsSyntax |
| setTargetCPU | Idris.AbsSyntax |
| setTargetTriple | Idris.AbsSyntax |
| setTotal | Core.Evaluate |
| setTotality | Idris.AbsSyntax |
| setTypeCase | Idris.AbsSyntax |
| setTypeInType | Idris.AbsSyntax |
| setVerbose | Idris.AbsSyntax |
| set_context | Core.Elaborate |
| SExp | |
| 1 (Type/Class) | Idris.IdeSlave |
| 2 (Type/Class) | IRTS.Simplified |
| SExpable | Idris.IdeSlave |
| SexpList | Idris.IdeSlave |
| sexpToCommand | Idris.IdeSlave |
| SForeign | IRTS.Simplified |
| SFun | IRTS.Simplified |
| shadow | Idris.AbsSyntax |
| shortType | IRTS.Java.JTypes |
| showbasic | Idris.Delaborate |
| showCaseTrees | IRTS.Compiler |
| showCG | Core.TT |
| showCImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDeclImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDoc | Idris.Docs |
| showEnv | Core.TT |
| showEnv' | Core.TT |
| showEnvDbg | Core.TT |
| showErr | Idris.Error |
| showImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ShowImpl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ShowIncs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showIncs | Main |
| ShowLibdir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showLibdir | Main |
| ShowLibs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showLibs | Main |
| showName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ShowProof | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showProof | Idris.Prover |
| showqual | Idris.Delaborate |
| showSc | Idris.Delaborate |
| showSep | Core.TT |
| showTotal | Idris.REPL |
| showTotalN | Idris.REPL |
| showver | Main |
| sigmaTy | Idris.AbsSyntax |
| simpleCase | Core.CaseTree |
| simpleConstructor | Idris.ParseData, Idris.Parser |
| SimpleExpr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| simpleExpr | Idris.ParseExpr, Idris.Parser |
| simpleExternalExpr | Idris.ParseExpr, Idris.Parser |
| simpleMethod | IRTS.Java.ASTBuilding |
| simpleWhiteSpace | Idris.ParseHelpers, Idris.Parser |
| simple_app | Core.Elaborate |
| Simplify | Core.ProofState, Core.Elaborate |
| simplify | |
| 1 (Function) | Core.Evaluate |
| 2 (Function) | Core.Elaborate |
| 3 (Function) | IRTS.Simplified |
| simplifyCasedef | Core.Evaluate |
| singleLineComment | Idris.ParseHelpers, Idris.Parser |
| size | Util.Pretty |
| SizeChange | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Sized | Util.Pretty |
| sizedText | Util.Pretty |
| SLet | IRTS.Simplified |
| SLIDE | IRTS.Bytecode |
| small | Core.CaseTree |
| Smaller | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| SN | Core.TT |
| sname | |
| 1 (Function) | Idris.Transforms |
| 2 (Function) | IRTS.Compiler |
| SNothing | IRTS.Simplified |
| Solve | |
| 1 (Data Constructor) | Core.ProofState, Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| solve | Core.Elaborate |
| solveAll | Idris.ElabTerm |
| solved | Core.ProofState, Core.Elaborate |
| solveDeferred | Idris.AbsSyntax |
| SOp | IRTS.Simplified |
| sourcedir | Pkg.PParser |
| sourcefile | Idris.IBC |
| sourceTypes | IRTS.Java.JTypes |
| space | Util.Pretty |
| Spec | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| SpecialHeaderArg | Idris.Help |
| Specialise | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| specialise | Core.Evaluate |
| SpecialName | Core.TT |
| specType | Idris.PartialEval |
| splitOnLine | Idris.CaseSplit |
| SProj | IRTS.Simplified |
| srcPath | Idris.Imports |
| SSymbol | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| startServer | Idris.REPL |
| StartUnify | Core.ProofState, Core.Elaborate |
| start_unify | Core.Elaborate |
| Static | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| static | Idris.ParseExpr, Idris.Parser |
| STerm | Core.CaseTree |
| STOREOLD | IRTS.Bytecode |
| Str | |
| 1 (Data Constructor) | Util.Pretty |
| 2 (Data Constructor) | Core.TT |
| string | Idris.ParseHelpers, Idris.Parser |
| StringAtom | Idris.IdeSlave |
| stringLiteral | Idris.ParseHelpers, Idris.Parser |
| stringType | IRTS.Java.JTypes |
| stripCollapsed | Idris.DataOpts |
| stripLinear | Idris.AbsSyntax |
| stripUnmatchable | Idris.AbsSyntax |
| StrType | Core.TT |
| Style | |
| 1 (Data Constructor) | Util.Pretty |
| 2 (Type/Class) | Util.Pretty |
| style | Util.Pretty |
| subst | Core.TT |
| substMatch | Idris.AbsSyntax |
| substMatches | Idris.AbsSyntax |
| substMatchesShadow | Idris.AbsSyntax |
| substMatchShadow | Idris.AbsSyntax |
| substNames | Core.TT |
| substTerm | Core.TT |
| substV | Core.TT |
| suc | Idris.Transforms |
| SucCase | Core.CaseTree |
| SUpdate | IRTS.Simplified |
| SV | IRTS.Simplified |
| sVar | IRTS.Simplified |
| Symbol | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| symbol | Idris.ParseHelpers, Idris.Parser |
| SymbolAtom | Idris.IdeSlave |
| Syn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| SynBind | Idris.ParseExpr, Idris.Parser |
| SynContext | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| SynMatch | Idris.ParseExpr, Idris.Parser |
| Syntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| syntaxDecl | Idris.Parser |
| SyntaxInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| syntaxRule | Idris.Parser |
| syntaxSym | Idris.Parser |
| syntax_keywords | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| syntax_rules | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| SynTm | Idris.ParseExpr, Idris.Parser |
| syn_namespace | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| syn_params | Idris.AbsSyntaxTree, Idris.AbsSyntax |