Agda-2.2.10: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ:!$&+./<=>|-
Index (S)
S
1 (Type/Class)
2 (Data Constructor)
sameVars
sample
sample'
satisfy
sccomcount
scflip
sChecked
SClause
sConsts
Scope
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
ScopeCheckDeclaration
ScopeCheckDefinition
ScopeCheckExpr
scopeCheckImport
ScopeCheckLHS
scopeCurrent
ScopedDecl
ScopedDef
ScopedExpr
scopeImported
scopeImports
ScopeInfo
1 (Type/Class)
2 (Data Constructor)
scopeLocals
scopeLookup
ScopeM
scopeModules
scopeName
scopeNameSpace
scopeParents
scopePrecedence
scopePrivate
scopePublic
scPats
scPerm
scsub1
scsub2
scSubst
scTel
sCurMeta
secFreeVars
secondPart
secTelescope
Section
1 (Data Constructor)
2 (Type/Class)
3 (Data Constructor)
Sections
semi
SemiRing
1 (Type/Class)
2 (Type/Class)
Semiring
1 (Type/Class)
2 (Data Constructor)
semiringInvariant
sep
1 (Function)
2 (Function)
sepBy
sepBy1
seqc
seqctx
sEqs
Set
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
set
set0
setArgOccurrences
setBuiltinThings
setCommandLineOptions
1 (Function)
2 (Function)
setContextPrecedence
setCurrentModule
setCurrentRange
setDecodedModules
setFreqs
setImportedSignature
setIncludeDirs
setInput
setInputFile
setInterface
setLastPos
setLexInput
setLocalVars
setMutualBlock
SetN
setOptionsFromPragma
setParsePos
setPolarity
setPragmaOptions
setPrevToken
SetRange
1 (Type/Class)
2 (Data Constructor)
setRange
setScope
setScopeAccess
setShowImplicitArguments
setSignature
setTopLevelModule
setVisitedModules
several
ShadowedModule
ShouldBeApplicationOf
ShouldBeAppliedToTheDatatypeParameters
ShouldBeASort
ShouldBeEmpty
ShouldBePi
ShouldBeRecordType
ShouldEndInApplicationOfTheDatatype
shouldEtaContractImplicit
shouldReifyInteractionPoints
showA
showATop
showChar'
showComparison
showConstraints
showContext
showHighlightingInfo
showImplicitArgs
showImplicitArguments
showIndex
showMetas
showModuleContents
showNumIId
showPat
showQNameId
showScope
showStatus
showString'
shrink
Shrink2
1 (Data Constructor)
2 (Type/Class)
ShrinkC
shrinkC
Shrinking
1 (Data Constructor)
2 (Type/Class)
shrinking
shrinkInit
shrinkIntegral
shrinkNothing
shrinkRealFrac
ShrinkState
shrinkState
Sidecondition
Sig
sigDefinitions
sigMName
Signature
sigSections
singleConstructorType
singleton
1 (Function)
2 (Function)
3 (Function)
SingletonRecords
Size
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
4 (Data Constructor)
size
1 (Function)
2 (Function)
3 (Function)
4 (Function)
SizeConst
SizeConstraint
Sized
sized
SizedList
1 (Type/Class)
2 (Data Constructor)
SizeExpr
1 (Type/Class)
2 (Type/Class)
sizeExpr
SizeInf
sizeInvariant
1 (Function)
2 (Function)
SizeMeta
sizePolarity
sizeRigid
SizeSuc
sizeSuc
sizeType
SizeVar
SizeView
sizeView
Skip
skipBlock
skipMany
skipMany1
skipSpaces
sLub
sMainMeta
smallestPos
Smart
1 (Data Constructor)
2 (Type/Class)
smashTel
sMetas
Sol
Solution
solve
solveConstraint
solveConstraints
solveLevelConstraints
solveSizeConstraints
SomeWhere
Sort
1 (Data Constructor)
2 (Type/Class)
3 (Type/Class)
4 (Data Constructor)
sort
SortCmp
sortFreq
SortFreqs
1 (Type/Class)
2 (Data Constructor)
sortFreqs
SortHead
sortInteractionPoints
sortOfConst
source
SourceToModule
sourceToModule
space
splashScreen
Split
split
split'
splitC
SplitClause
splitClause
splitClauseWithAbs
SplitError
1 (Type/Class)
2 (Type/Class)
splitOn
SplitOnIrrelevant
SplitPanic
splitPerm
SplitProblem
splitProblem
SplitTel
1 (Type/Class)
2 (Data Constructor)
splitTelescope
square
1 (Function)
2 (Function)
srcFile
SRes
sShowImplicitArguments
sSuc
Stack
standardOptions_
startPos
State
1 (Type/Class)
2 (Data Constructor)
Statistics
Status
1 (Type/Class)
2 (Data Constructor)
status
stBuiltinThings
stConstraints
stCurrentModule
stdArgs
stDecodedModules
stdoutFlush
step
stFreshThings
stHaskellImports
stImportedBuiltins
stImportedModules
stImports
stInteractionPoints
stLocalBuiltins
stMetaStore
stModuleToSource
stMutualBlocks
store
storeDecodedModule
stPersistentOptions
stPragmaOptions
Str
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
4 (Data Constructor)
Strict
strict
String
string
stripImplicits
stripNoNames
stripWithClausePatterns
stScope
stSignature
stStatistics
stVisitedModules
Style
1 (Type/Class)
2 (Data Constructor)
style
Sub
1 (Data Constructor)
2 (Type/Class)
sub
SubConstraints
1 (Type/Class)
2 (Data Constructor)
subi
Subst
subst
1 (Function)
2 (Function)
substBranch
substCC
substCCBody
Substitution
1 (Type/Class)
2 (Type/Class)
substLit
substs
substsCCBody
substTerm
substUnder
subsvars
Suc
Success
suchThat
suchThatMaybe
sucName
Suffix
1 (Type/Class)
2 (Type/Class)
suffixView
supremum
SymArrow
SymAs
SymBar
Symbol
1 (Type/Class)
2 (Data Constructor)
symbol
SymCloseBrace
SymCloseParen
SymClosePragma
SymCloseVirtualBrace
SymColon
SymDot
SymEllipsis
SymEqual
SymLambda
SymOpenBrace
SymOpenParen
SymOpenPragma
SymOpenVirtualBrace
SymQuestionMark
SymSemi
SymUnderscore
SymVirtualSemi
sync
Syntax
syntaxOf