elara
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 - U
ueActual
Elara.TypeInfer.Error
ueActualUsage
Elara.TypeInfer.Error
ueConstraintSite
Elara.TypeInfer.Error
ueContext
Elara.TypeInfer.Error
ueExpected
Elara.TypeInfer.Error
ueExpectedUsage
Elara.TypeInfer.Error
ueKind
Elara.TypeInfer.Error
unANF
Elara.CoreToCore
unAnnotate
Elara.Data.Pretty
unAnnotateS
Elara.Data.Pretty
UnaryOp
Elara.JVM.IR
Unbounded
Elara.Data.Pretty
UnboundLocalVar
Elara.TypeInfer.Environment
UnboundTermVar
Elara.TypeInfer.Environment
UnboundVar
Elara.Data.Kind.Infer
UnboundVariable
Elara.Interpreter
uncons
Prelude
uncurry
Prelude
uncurry3
Elara.Utils
Undefined
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
undefined
Prelude
UndefinedError
Elara.JVM.IR
undefinedId
Elara.Prim.Core
Unevaluated
Elara.Interpreter
unfoldr
Prelude
UnhandledExpr
Elara.Interpreter
UnicodeException
Prelude
UnificationError
Elara.Core.TypeCheck
UnificationVar
Elara.TypeInfer.Type
unify
Elara.TypeInfer.ConstraintGeneration
UnifyError
1 (Type/Class)
Elara.TypeInfer.Error
2 (Data Constructor)
Elara.TypeInfer.Error
UnifyErrorKind
Elara.TypeInfer.Error
UnifyMismatch
Elara.TypeInfer.Error
Unique
1 (Type/Class)
Elara.Data.Unique
2 (Data Constructor)
Elara.Data.Unique
Unique'
Elara.Data.Unique
UniqueGen
Elara.Data.Unique.Effect
uniqueGenToGlobalIO
Elara.Data.Unique.Effect
uniqueGenToIORef
Elara.Data.Unique.Effect
uniqueGenToState
Elara.Data.Unique.Effect
UniqueId
1 (Type/Class)
Elara.Data.Unique
2 (Data Constructor)
Elara.Data.Unique
uniqueId
Elara.Data.Unique
uniqueIdToTyVar
Elara.TypeInfer.Unique
UniqueName
Elara.AST.Name
UniqueSupply
1 (Type/Class)
Elara.Data.Unique
2 (Data Constructor)
Elara.Data.Unique
uniqueSupplyUniques
Elara.Data.Unique
uniqueToText
Elara.Data.Unique
UniqueTyVar
Elara.TypeInfer.Unique
,
Elara.TypeInfer.Type
uniqueVal
Elara.Data.Unique
Unit
Elara.Core
unit
Elara.Parse.Type
unitCon
Elara.Prim.Core
unitConName
Elara.Prim.Core
unitCtor
Elara.Prim.Core
unitLiteral
Elara.Parse.Literal
unitName
Elara.Prim
universe
Prelude
universeNonEmpty
Prelude
UnknownCurrentModule
Elara.Rename.Error
UnknownKind
Elara.Data.Kind.Infer
UnknownModule
Elara.Rename.Error
unknownModule
Elara.Error.Codes
UnknownName
1 (Data Constructor)
Elara.JVM.Emit.State
2 (Data Constructor)
Elara.Rename.Error
unknownName
Elara.Error.Codes
UnknownOperator
Elara.Shunt.Error
unknownOperator
Elara.Error.Codes
UnknownPrecedence
Elara.Shunt.Error
unknownPrecedence
Elara.Error.Codes
UnknownPrimitive
Elara.Interpreter
UnknownPrimitiveKey
Elara.JVM.Error
UnknownPrimitiveType
Elara.JVM.Error
UnknownTypeVariable
Elara.Rename.Error
UnknownVariable
Elara.Core.TypeCheck
unknownVariable
Elara.Core.TypeCheck
unknownVariableScope
Elara.Core.TypeCheck
unknownVariableTC
Elara.Error.Codes
unless
Prelude
unlessM
Prelude
unlines
Prelude
Unlocate
Elara.AST.Region
unlocated
Elara.AST.Region
UnlocatedVarRef
Elara.AST.VarRef
UnlocatedVarRefKind
Elara.AST.VarRef
unPrettyDbg
Elara.Parse.Debug
Unqualified
1 (Type/Class)
Elara.AST.Name
2 (Data Constructor)
Elara.AST.Name
unqualified
Elara.AST.Name
unqualifiedVarName
Elara.Parse.Names
UnresolvedConstraint
Elara.TypeInfer.Error
UnsafeMkSourceRegion
Elara.AST.Region
unsafeMkUnique
Elara.Data.Unique
unsafeTokenFloat
Elara.Lexer.Token
unsafeTokenInt
Elara.Lexer.Token
unsafeTokenText
Elara.Lexer.Token
unsafeViaShow
Elara.Data.Pretty
unstableNub
Prelude
UnsupportedExpressionType
Elara.JVM.Error
UnsupportedLiteral
Elara.JVM.Error
UnterminatedStringLiteral
Elara.Lexer.Utils
unterminatedStringLiteral
Elara.Error.Codes
unwords
Prelude
unWParseErrorBundle
Elara.Parse.Error
Unwrap
Elara.Data.Unwrap
unwrap
Elara.Data.Unwrap
unzip
Prelude
unzip3
Prelude
use'
Effectful.State.Extra
uselessLetInline
Elara.CoreToCore
usingReader
Prelude
usingReaderT
Prelude
usingState
Prelude
usingStateT
Prelude