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 - E
Each
Prelude
each
Prelude
EAnn
Elara.AST.Types
EApp
Elara.AST.Types
EBlock
Elara.AST.Types
EChar
Elara.AST.Types
ECon
Elara.AST.Types
edges
Elara.SCC.Type
EExtension
Elara.AST.Types
EFloat
Elara.AST.Types
EIf
Elara.AST.Types
EInt
Elara.AST.Types
Either
Prelude
either
Prelude
ELam
Elara.AST.Types
elaraDebug
Print
ElaraDiagnostic
Elara.Error
ElaraError
1 (Type/Class)
Elara.Error
2 (Data Constructor)
Elara.Error
ElaraKind
Elara.Data.Kind
ElaraMarker
1 (Type/Class)
Elara.Error
2 (Data Constructor)
Elara.Error
elaraMarkerToDiagnoseMarker
Elara.Error.Diagnose
ElaraMarkerType
Elara.Error
ElaraMessage
1 (Type/Class)
Elara.Logging
2 (Data Constructor)
Elara.Logging
ElaraNote
Elara.Error
elaraNoteToDiagnoseNote
Elara.Error.Diagnose
ElaraParseError
Elara.Parse.Error
ElaraPhase
Elara.AST.Phase
elaraPrimitiveName
Elara.Prim
ElaraReport
1 (Type/Class)
Elara.Error
2 (Data Constructor)
Elara.Error
elaraReportToDiagnoseReport
Elara.Error.Diagnose
ElaraSeverity
Elara.Error
ElaraState
1 (Type/Class)
Elara.Interpreter
2 (Data Constructor)
Elara.Interpreter
ElaraWarning
1 (Type/Class)
Elara.Error
2 (Data Constructor)
Elara.Error
elem
Prelude
element
1 (Function)
Elara.Parse.Expression
2 (Function)
Elara.Parse.Grammar
ELet
Elara.AST.Types
ELetIn
Elara.AST.Types
elseSite
Elara.TypeInfer.Context
EMatch
Elara.AST.Types
emDepth
Elara.Logging
emitAt
Elara.Lexer.Utils
emitBlock
Elara.JVM.Lower.Monad
emitInst
Elara.JVM.Lower.Monad
emitIRModule
Elara.JVM.Emit
emitJVM
Elara
emittedFiles
Elara
emLevel
Elara.Logging
emMessage
Elara.Logging
emNamespace
Elara.Logging
empty
Prelude
EmptyAxiomScheme
Elara.TypeInfer.Type
EmptyConstraint
Elara.TypeInfer.Type
emptyContextStack
Elara.TypeInfer.Context
emptyDoc
Elara.Data.Pretty
EmptyLambda
Elara.Parse.Error
emptyLocalTypeEnvironment
Elara.TypeInfer.Environment
emptyLocation
Elara.TypeInfer.Type
EmptyRecord
Elara.Parse.Error
emptyRecordError
Elara.Parse.Type
emptyTypeEnvironment
Elara.TypeInfer.Environment
emStack
Elara.Logging
emTime
Elara.Logging
enclose
Elara.Data.Pretty
encloseSep
Elara.Data.Pretty
enclosingRegion
Elara.AST.Region
encodeFloat
Prelude
encodeUtf8
Prelude
endBlockComment
Elara.Lexer.Action
Endo
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
endPos
Elara.AST.Region
endString
Elara.Lexer.Action
entryPath
Elara.ModuleIndex
entryStyle
Elara.ModuleIndex
Enum
Prelude
enumFrom
Prelude
enumFromThen
Prelude
enumFromThenTo
Prelude
enumFromTo
Prelude
env
Elara.Interpreter
EQ
Prelude
Eq
Prelude
eqContext
Elara.TypeInfer.Type
eqCtorName
Elara.Prim
eqLeft
Elara.TypeInfer.Type
eqLeftUsage
Elara.TypeInfer.Type
eqLoc
Elara.TypeInfer.Type
eqRight
Elara.TypeInfer.Type
eqRightUsage
Elara.TypeInfer.Type
Equality
Elara.TypeInfer.Type
equalityWithContext
Elara.TypeInfer.Type
Equals
Elara.JVM.IR
equals
Elara.Data.Pretty
Equivalence
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
erasedMethodDescriptor
Elara.JVM.Lower.Util
Error
Elara.Logging
error
1 (Function)
Prelude
2 (Function)
Elara.Data.Pretty.Styles
ErrorCode
1 (Type/Class)
Elara.Error.Codes
, Elara.Error
2 (Data Constructor)
Elara.Error.Codes
, Elara.Error
ErrorSeverity
Elara.Error
escapeChar
Elara.Data.Pretty
estimateArity
Elara.Core.Analysis
EString
Elara.AST.Types
etaReaderT
Prelude
ETyApp
Elara.AST.Types
EUnit
Elara.AST.Types
evalIO
Elara.Interpreter
evalPrim
Elara.Interpreter
evalStateT
Prelude
Evaluated
Elara.Interpreter
evaluateNF
Prelude
evaluateNF_
Prelude
evaluateWHNF
Prelude
evaluateWHNF_
Prelude
Evaluating
Elara.Interpreter
evaluatingState
Prelude
evaluatingStateT
Prelude
EVar
Elara.AST.Types
even
Prelude
Exc
Prelude
Exception
Prelude
ExceptT
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
exceptToMaybeT
Prelude
execStateT
Prelude
executingState
Prelude
executingStateT
Prelude
exitFailure
Prelude
exitSuccess
Prelude
exitWith
Prelude
exp
Prelude
expected
1 (Function)
Elara.Interpreter
2 (Function)
Elara.Core.TypeCheck
ExpectedCExpr
Elara.Core.LiftClosures.Error
,
Elara.Core.LiftClosures
ExpectedFunctionType
Elara.Core.LiftClosures.Error
,
Elara.Core.LiftClosures
expectedName
Elara.Parse.Error
ExposedOp
Elara.AST.Module
ExposedType
Elara.AST.Module
ExposedTypeAndAllConstructors
Elara.AST.Module
ExposedValue
Elara.AST.Module
Exposing
Elara.AST.Module
exposing'
Elara.Parse.Module
ExposingAll
Elara.AST.Module
exposingOrHiding
Elara.Parse.Module
ExposingSome
Elara.AST.Module
Exposition
Elara.AST.Module
exposition
Elara.Parse.Module
expositionToLocatedName
Elara.Rename.Imports
Expr
1 (Type/Class)
Elara.JVM.IR
2 (Type/Class)
Elara.Core
3 (Type/Class)
Elara.Core.ANF
4 (Type/Class)
Elara.AST.Types
5 (Data Constructor)
Elara.AST.Types
expr
Elara.Core.TypeCheck
Expr'
Elara.AST.Types
exprBlock
Elara.Parse.Indents
expression
Elara.Parse.Expression
ExpressionExtension
Elara.AST.Phase
ExpressionGrammar
1 (Type/Class)
Elara.Parse.Expression
2 (Data Constructor)
Elara.Parse.Expression
ExpressionMeta
Elara.AST.Phase
ExprLoc
Elara.AST.Location
ExprLoweringFn
Elara.JVM.Lower.Match
ExprNode
Elara.AST.Location
exprParser
Elara.Parse.Grammar
exprRegion
Elara.Parse.Declaration
ExprStmt
Elara.JVM.IR
extractFieldTypes
Elara.JVM.Lower.Util