| safeForget | Idris.Core.TT |
| safeForgetEnv | Idris.Core.TT |
| safeToEnum | Idris.IBC |
| 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 |
| score | Idris.Core.TT |
| SDecl | IRTS.Simplified |
| SDefaultCase | IRTS.Simplified |
| Search | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| searchByType | Idris.TypeSearch |
| searchPred | Idris.TypeSearch |
| 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 |
| setAutoSolve | Idris.AbsSyntax |
| 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 |
| setErrSpan | Idris.AbsSyntax |
| setFlags | Idris.AbsSyntax |
| setFnInfo | Idris.AbsSyntax |
| setIBCSubDir | Idris.AbsSyntax |
| setIdeMode | 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 | |
| 1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.IdeMode |
| setOptimise | Idris.AbsSyntax |
| setOptLevel | 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) | IRTS.Simplified |
| 2 (Type/Class) | Idris.IdeMode |
| SExpable | Idris.IdeMode |
| SexpList | Idris.IdeMode |
| sexpToCommand | Idris.IdeMode |
| SForeign | IRTS.Simplified |
| SFun | IRTS.Simplified |
| shadow | Idris.AbsSyntax |
| Shared | Idris.Core.CaseTree |
| showCG | Idris.Core.TT |
| showCImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDeclImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDecls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showDImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| showEnv | Idris.Core.TT |
| showEnv' | Idris.Core.TT |
| showEnvDbg | Idris.Core.TT |
| showErr | Idris.Error |
| ShowImpl | |
| 1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.IdeMode |
| 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 |
| ShowPkgs | Idris.AbsSyntaxTree, 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 |
| simpleDecls | IRTS.CodegenCommon |
| SimpleExpr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| simpleExpr | Idris.ParseExpr, Idris.Parser |
| simpleExternalExpr | Idris.ParseExpr, Idris.Parser |
| 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) | Idris.Core.Elaborate |
| simplifyCasedef | Idris.Core.Evaluate |
| simplifyDefs | IRTS.Simplified |
| singleLineComment | Idris.ParseHelpers, Idris.Parser |
| sInstanceN | Idris.Core.TT |
| 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 |
| 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.ElabTerm |
| solveAuto | Idris.ElabTerm |
| solveAutos | Idris.ElabTerm |
| solved | Idris.Core.ProofState, Idris.Core.Elaborate |
| solveDeferred | Idris.AbsSyntax |
| SOp | IRTS.Simplified |
| SourceFC | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| sourcefile | Idris.IBC |
| SourceTerm | Idris.Core.TT |
| Space | Idris.Docstrings |
| 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 |
| splitName | Idris.REPL |
| 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 | |
| 1 (Data Constructor) | Idris.Core.TT |
| 2 (Data Constructor) | Idris.Docstrings |
| str | Idris.Core.TT |
| string | Idris.ParseHelpers, Idris.Parser |
| StringAtom | Idris.IdeMode |
| stringLiteral | Idris.ParseHelpers, Idris.Parser |
| StringLitTArg | Idris.ParseExpr, Idris.Parser |
| stripLinear | Idris.AbsSyntax |
| stripUnmatchable | 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 |
| 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.ParseHelpers, Idris.Parser |
| SymbolAtom | Idris.IdeMode |
| 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 |
| 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.ParseExpr, Idris.Parser |
| syn_in_quasiquote | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| syn_namespace | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| syn_params | Idris.AbsSyntaxTree, Idris.AbsSyntax |