idris

Index - S

SAltIRTS.Simplified
sAltIRTS.Simplified
SameIdris.AbsSyntaxTree, Idris.AbsSyntax
SAppIRTS.Simplified
saveStateCore.Elaborate
SCCore.CaseTree
SC'Core.CaseTree
SCaseIRTS.Simplified
scgIdris.AbsSyntaxTree, Idris.AbsSyntax
SCGEntryIdris.AbsSyntaxTree, Idris.AbsSyntax
SChkCaseIRTS.Simplified
SConIRTS.Simplified
SConCaseIRTS.Simplified
SConstIRTS.Simplified
SConstCaseIRTS.Simplified
scopecheckIRTS.Simplified
scoreCore.TT
SDeclIRTS.Simplified
SDefaultCaseIRTS.Simplified
SearchIdris.AbsSyntaxTree, Idris.AbsSyntax
semiUtil.Pretty
sepUtil.Pretty
serializeIRTS.DumpBC
serializeBCIRTS.DumpBC
serializeCaseIRTS.DumpBC
serializeDefaultIRTS.DumpBC
serializeRegIRTS.DumpBC
SErrorIRTS.Simplified
setAccessCore.Evaluate
setAccessibilityIdris.AbsSyntax
setAndReportIdris.Error
setCmdLineIdris.AbsSyntax
setCodegenIdris.AbsSyntax
SetColourIdris.AbsSyntaxTree, Idris.AbsSyntax
setColourIdris.AbsSyntax
setColouriseIdris.AbsSyntax
setContextIdris.AbsSyntax
setCoverageIdris.AbsSyntax
setErrContextIdris.AbsSyntax
setErrLineIdris.AbsSyntax
setFlagsIdris.AbsSyntax
setIBCSubDirIdris.AbsSyntax
setIdeSlaveIdris.AbsSyntax
setImportDirsIdris.AbsSyntax
setImpShowIdris.AbsSyntax
setinjCore.Elaborate
SetInjectiveCore.ProofState, Core.Elaborate
setLogLevelIdris.AbsSyntax
setNoBannerIdris.AbsSyntax
SetOptIdris.AbsSyntaxTree, Idris.AbsSyntax
setOptLevelIdris.AbsSyntax
setOutHIdris.AbsSyntax
setOutputTyIdris.AbsSyntax
setQuietIdris.AbsSyntax
setREPLIdris.AbsSyntax
setSOIdris.AbsSyntax
setTargetCPUIdris.AbsSyntax
setTargetTripleIdris.AbsSyntax
setTotalCore.Evaluate
setTotalityIdris.AbsSyntax
setTypeCaseIdris.AbsSyntax
setTypeInTypeIdris.AbsSyntax
setVerboseIdris.AbsSyntax
set_contextCore.Elaborate
SExp 
1 (Type/Class)Idris.IdeSlave
2 (Type/Class)IRTS.Simplified
SExpableIdris.IdeSlave
SexpListIdris.IdeSlave
sexpToCommandIdris.IdeSlave
SForeignIRTS.Simplified
SFunIRTS.Simplified
shadowIdris.AbsSyntax
shortTypeIRTS.Java.JTypes
showbasicIdris.Delaborate
showCaseTreesIRTS.Compiler
showCGCore.TT
showCImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDocIdris.Docs
showEnvCore.TT
showEnv'Core.TT
showEnvDbgCore.TT
showErrIdris.Error
showImpIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowImplIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowIncsIdris.AbsSyntaxTree, Idris.AbsSyntax
showIncsMain
ShowLibdirIdris.AbsSyntaxTree, Idris.AbsSyntax
showLibdirMain
ShowLibsIdris.AbsSyntaxTree, Idris.AbsSyntax
showLibsMain
showNameIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowProofIdris.AbsSyntaxTree, Idris.AbsSyntax
showProofIdris.Prover
showqualIdris.Delaborate
showScIdris.Delaborate
showSepCore.TT
showTotalIdris.REPL
showTotalNIdris.REPL
showverMain
sigmaTyIdris.AbsSyntax
simpleCaseCore.CaseTree
simpleConstructorIdris.ParseData, Idris.Parser
SimpleExprIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleExprIdris.ParseExpr, Idris.Parser
simpleExternalExprIdris.ParseExpr, Idris.Parser
simpleMethodIRTS.Java.ASTBuilding
simpleWhiteSpaceIdris.ParseHelpers, Idris.Parser
simple_appCore.Elaborate
SimplifyCore.ProofState, Core.Elaborate
simplify 
1 (Function)Core.Evaluate
2 (Function)Core.Elaborate
3 (Function)IRTS.Simplified
simplifyCasedefCore.Evaluate
singleLineCommentIdris.ParseHelpers, Idris.Parser
sizeUtil.Pretty
SizeChangeIdris.AbsSyntaxTree, Idris.AbsSyntax
SizedUtil.Pretty
sizedTextUtil.Pretty
SLetIRTS.Simplified
SLIDEIRTS.Bytecode
smallCore.CaseTree
SmallerIdris.AbsSyntaxTree, Idris.AbsSyntax
SNCore.TT
sname 
1 (Function)Idris.Transforms
2 (Function)IRTS.Compiler
SNothingIRTS.Simplified
Solve 
1 (Data Constructor)Core.ProofState, Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
solveCore.Elaborate
solveAllIdris.ElabTerm
solvedCore.ProofState, Core.Elaborate
solveDeferredIdris.AbsSyntax
SOpIRTS.Simplified
sourcedirPkg.PParser
sourcefileIdris.IBC
sourceTypesIRTS.Java.JTypes
spaceUtil.Pretty
SpecIdris.AbsSyntaxTree, Idris.AbsSyntax
SpecialHeaderArgIdris.Help
SpecialiseIdris.AbsSyntaxTree, Idris.AbsSyntax
specialiseCore.Evaluate
SpecialNameCore.TT
specTypeIdris.PartialEval
splitOnLineIdris.CaseSplit
SProjIRTS.Simplified
srcPathIdris.Imports
SSymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
startServerIdris.REPL
StartUnifyCore.ProofState, Core.Elaborate
start_unifyCore.Elaborate
Static 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
staticIdris.ParseExpr, Idris.Parser
STermCore.CaseTree
STOREOLDIRTS.Bytecode
Str 
1 (Data Constructor)Util.Pretty
2 (Data Constructor)Core.TT
stringIdris.ParseHelpers, Idris.Parser
StringAtomIdris.IdeSlave
stringLiteralIdris.ParseHelpers, Idris.Parser
stringTypeIRTS.Java.JTypes
stripCollapsedIdris.DataOpts
stripLinearIdris.AbsSyntax
stripUnmatchableIdris.AbsSyntax
StrTypeCore.TT
Style 
1 (Data Constructor)Util.Pretty
2 (Type/Class)Util.Pretty
styleUtil.Pretty
substCore.TT
substMatchIdris.AbsSyntax
substMatchesIdris.AbsSyntax
substMatchesShadowIdris.AbsSyntax
substMatchShadowIdris.AbsSyntax
substNamesCore.TT
substTermCore.TT
substVCore.TT
sucIdris.Transforms
SucCaseCore.CaseTree
SUpdateIRTS.Simplified
SVIRTS.Simplified
sVarIRTS.Simplified
SymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
symbolIdris.ParseHelpers, Idris.Parser
SymbolAtomIdris.IdeSlave
SynIdris.AbsSyntaxTree, Idris.AbsSyntax
SynBindIdris.ParseExpr, Idris.Parser
SynContextIdris.AbsSyntaxTree, Idris.AbsSyntax
SynMatchIdris.ParseExpr, Idris.Parser
SyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxDeclIdris.Parser
SyntaxInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRuleIdris.Parser
syntaxSymIdris.Parser
syntax_keywordsIdris.AbsSyntaxTree, Idris.AbsSyntax
syntax_rulesIdris.AbsSyntaxTree, Idris.AbsSyntax
SynTmIdris.ParseExpr, Idris.Parser
syn_namespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax