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 |