| safeToEnum | Idris.IBC |
| SAlt | IRTS.Simplified |
| 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 |
| scopecheck | IRTS.Simplified |
| score | Idris.Core.TT |
| SDecl | IRTS.Simplified |
| SDefaultCase | IRTS.Simplified |
| Search | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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 |
| setCmdLine | Idris.AbsSyntax |
| setCodegen | Idris.AbsSyntax |
| SetColour | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| setColour | Idris.AbsSyntax |
| setColourise | Idris.AbsSyntax |
| SetConsoleWidth | Idris.AbsSyntaxTree, 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 | Idris.Core.Elaborate |
| SetInjective | Idris.Core.ProofState, Idris.Core.Elaborate |
| setLogLevel | Idris.AbsSyntax |
| setMetaInformation | Idris.Core.Evaluate |
| setNextName | Idris.Core.Elaborate |
| setNoBanner | Idris.AbsSyntax |
| SetOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| setOptLevel | Idris.AbsSyntax |
| setOutH | Idris.AbsSyntax |
| setOutputTy | Idris.AbsSyntax |
| setQuiet | Idris.AbsSyntax |
| setREPL | Idris.AbsSyntax |
| setShowOrigErr | Idris.AbsSyntax |
| setSO | Idris.AbsSyntax |
| setTargetCPU | Idris.AbsSyntax |
| setTargetTriple | Idris.AbsSyntax |
| setTotal | Idris.Core.Evaluate |
| setTotality | Idris.AbsSyntax |
| setTypeCase | Idris.AbsSyntax |
| setTypeInType | Idris.AbsSyntax |
| setVerbose | Idris.AbsSyntax |
| setWidth | Idris.AbsSyntax |
| set_context | Idris.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 |
| showCaseTrees | IRTS.Compiler |
| showCG | Idris.Core.TT |
| showCImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDeclImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDecls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDoc | Idris.Docs |
| showEnv | Idris.Core.TT |
| showEnv' | Idris.Core.TT |
| showEnvDbg | Idris.Core.TT |
| showErr | Idris.Error |
| ShowImpl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ShowIncs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ShowLibdir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ShowLibs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ShowOrigErr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showOrigErr | Idris.AbsSyntax |
| ShowProof | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showProof | Idris.Prover |
| showSep | Idris.Core.TT |
| showTm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showTmImpls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showTotal | Idris.REPL |
| showTotalN | Idris.REPL |
| sigmaTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| simpleCase | Idris.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 | Idris.Core.Elaborate |
| Simplify | Idris.Core.ProofState, Idris.Core.Elaborate |
| simplify | |
| 1 (Function) | Idris.Core.Evaluate |
| 2 (Function) | IRTS.Simplified |
| 3 (Function) | Idris.Core.Elaborate |
| simplifyCasedef | Idris.Core.Evaluate |
| singleLineComment | Idris.ParseHelpers, Idris.Parser |
| sInstanceN | Idris.Core.TT |
| SizeChange | 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 |
| sname | |
| 1 (Function) | IRTS.Compiler |
| 2 (Function) | Idris.Transforms |
| SNothing | IRTS.Simplified |
| sNS | Idris.Core.TT |
| Solve | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| solve | Idris.Core.Elaborate |
| solveAll | Idris.ElabTerm |
| solved | Idris.Core.ProofState, Idris.Core.Elaborate |
| solveDeferred | Idris.AbsSyntax |
| SOp | IRTS.Simplified |
| sourcefile | Idris.IBC |
| sourceTypes | IRTS.Java.JTypes |
| sParentN | Idris.Core.TT |
| Spec | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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 |
| srcPath | Idris.Imports |
| 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.ParseExpr, Idris.Parser |
| STerm | Idris.Core.CaseTree |
| STOREOLD | IRTS.Bytecode |
| Str | Idris.Core.TT |
| str | Idris.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 | Idris.Core.TT |
| SubReport | Idris.Core.TT |
| subst | Idris.Core.TT |
| substMatch | Idris.AbsSyntax |
| substMatches | Idris.AbsSyntax |
| substMatchesShadow | Idris.AbsSyntax |
| substMatchShadow | Idris.AbsSyntax |
| substNames | Idris.Core.TT |
| substTerm | Idris.Core.TT |
| substV | Idris.Core.TT |
| suc | Idris.Transforms |
| SucCase | Idris.Core.CaseTree |
| sUN | Idris.Core.TT |
| SUpdate | IRTS.Simplified |
| SV | IRTS.Simplified |
| sVar | IRTS.Simplified |
| Symbol | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| symbol | Idris.ParseHelpers, Idris.Parser |
| SymbolAtom | Idris.IdeSlave |
| symbols | Idris.IBC |
| SymRef | Idris.Core.TT |
| 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 |