Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
$
%
&
*
+
.
/
<
=
>
?
^
|
-
~
_
All
Index - S
SafeGPlate
Prelude
sameCtor
Elara.Query
samePrecedence
Elara.Error.Codes
, Elara.Error
SamePrecedenceError
Elara.Shunt.Error
SAnnPop
Elara.Data.Pretty
SAnnPush
Elara.Data.Pretty
satisfyMap
Elara.Parse.Primitives
scalar
Elara.Data.Pretty.Styles
scanl
Prelude
scanl'
Prelude
scanl1
Prelude
scanr
Prelude
scanr1
Prelude
sccContainingRoot
Elara.SCC
SCCKey
Elara.SCC.Type
sccKeyFromSCC
Elara.SCC.Type
SCCKeyOf
Elara.Query
sccKeyToSCC
Elara.SCC.Type
SChar
Elara.Data.Pretty
sconcat
Prelude
scoped
Effectful.State.Extra
scopedOverLocals
Elara.Interpreter
second
Prelude
SecondaryMarker
Elara.Error
semi
Elara.Data.Pretty
Semigroup
Prelude
SEmpty
Elara.Data.Pretty
sep
Elara.Data.Pretty
sepBy1'
Elara.Parse.Combinators
sepEndBy1'
Elara.Parse.Combinators
Seq
Prelude
seq
Prelude
sequence
Prelude
sequenceA
Prelude
sequenceA_
Prelude
sequence_
Prelude
Set
Prelude
SetField
Elara.JVM.IR
setMonotypeLoc
Elara.TypeInfer.Type
SFail
Elara.Data.Pretty
Shallow
Elara.Data.Pretty
ShortByteString
Prelude
Show
Prelude
show
Prelude
showColored
Print
showPretty
Print
showPrettyUnannotated
Print
showSourceLoc
Elara.Logging
showStackTrace
Prelude
showTimestamps
Elara.Logging
Shunted
Elara.AST.Phases.Shunted
ShuntedDeclaration
Elara.AST.Phases.Shunted
ShuntedExpr
Elara.AST.Phases.Shunted
ShuntedExpr'
Elara.AST.Phases.Shunted
ShuntedPattern
Elara.AST.Phases.Shunted
ShuntedPattern'
Elara.AST.Phases.Shunted
ShuntedType
Elara.AST.Phases.Shunted
ShuntedTypeDeclaration
Elara.AST.Phases.Shunted
ShuntError
Elara.Shunt.Error
shuntExpr
Elara.Shunt
ShuntPipelineEffects
Elara.Shunt
ShuntWarning
Elara.Shunt.Error
signum
Prelude
simple
Prelude
SimpleDocStream
Elara.Data.Pretty
simpleEquality
Elara.TypeInfer.Type
simpleTok
Elara.Lexer.Action
sin
Prelude
singleLineComment
Elara.Lexer.Action
sinh
Prelude
skipIndents
Elara.Parse.Stream
SkolemVar
Elara.TypeInfer.Type
slash
Elara.Data.Pretty
SLine
Elara.Data.Pretty
snd
Prelude
softline
Elara.Data.Pretty
softline'
Elara.Data.Pretty
solveConstraint
Elara.TypeInfer.ConstraintGeneration
some
Prelude
SomeException
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
SomeNat
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
someNatVal
Prelude
sort
Prelude
sortBy
Prelude
sortNub
Prelude
sortOn
Prelude
sortWith
Prelude
source
Elara.Core.TypeCheck
sourceDirs
Elara.Settings
sourceFile
Elara.AST.Region
sourceFiles
Elara
SourceRegion
Elara.AST.Region
sourceRegion
Elara.AST.Region
sourceRegionToDiagnosePosition
Elara.AST.Region
sourceRegionToSourcePos
Elara.Parse.Stream
space
Elara.Data.Pretty
span
Prelude
spanAs
Elara.AST.Location
spanningRegion
Elara.AST.Region
splitAt
Prelude
splitForAlls
Elara.Core.Analysis
splitQualName
Elara.Lexer.Utils
spToPosition
Elara.AST.Region
sqrt
Prelude
squote
Elara.Data.Pretty
squotes
Elara.Data.Pretty
StandardQueryEffects
Elara.Query.Effects
StandardQueryError
Elara.Query.Errors
startPos
Elara.AST.Region
startWhite
Elara.Lexer.Utils
state
Prelude
StateSource
Elara.Interpreter
stateSource
Elara.Interpreter
StateT
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
StaticMethod
Elara.JVM.Lower.Function
StaticRep
Rock
stderr
Prelude
stdin
Prelude
stdout
Prelude
SText
Elara.Data.Pretty
stimes
Prelude
stimesIdempotent
Prelude
stimesIdempotentMonoid
Prelude
stimesMonoid
Prelude
STM
Prelude
strictDecode
Prelude
String
1 (Type/Class)
Prelude
2 (Data Constructor)
Elara.Core
3 (Data Constructor)
Elara.Interpreter
stringBuf
Elara.Lexer.Utils
stringCon
Elara.Prim.Core
stringLiteral
Elara.Parse.Literal
stringSC
Elara.Lexer.Lexer
stringTypeName
Elara.JVM.Emit.Types
stripTag
Elara.AST.Location
StructuredDebug
Elara.Logging
structuredDebugToLog
Elara.Logging
structuredDebugToLogWith
Elara.Logging
subsequences
Prelude
subst
Elara.CoreToCore
Substitutable
Elara.TypeInfer.Type
SubstitutableExpr
1 (Type/Class)
Elara.TypeInfer.Substitute
2 (Data Constructor)
Elara.TypeInfer.Substitute
substitute
Elara.TypeInfer.Type
substituteAll
Elara.TypeInfer.Type
substituteAllContextStack
Elara.TypeInfer.Type
substituteContextStack
Elara.TypeInfer.Type
Substitution
1 (Type/Class)
Elara.TypeInfer.Type
2 (Data Constructor)
Elara.TypeInfer.Type
substitution
Elara.TypeInfer.Type
substType
Elara.Core.Analysis
substTypeVar
Elara.Core
Subsumes
Elara.AST.Location
Subtract
Elara.JVM.IR
subtract
Prelude
succ
Prelude
Sum
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
sum
Prelude
Super
Elara.JVM.IR
surround
Elara.Data.Pretty
swap
Prelude
swapMVar
Prelude
swapTMVar
Prelude
SymOp
Elara.AST.Types