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 - C
Call
Elara.JVM.IR
callableArity
Elara.JVM.Lower.Function
CallableInfo
1 (Type/Class)
Elara.JVM.Lower.Function
2 (Data Constructor)
Elara.JVM.Lower.Function
callableReturnType
Elara.JVM.Lower.Function
CallableTarget
Elara.JVM.Lower.Function
callableTarget
Elara.JVM.Lower.Function
CallMode
Elara.JVM.Lower.Function
callSite
Elara.TypeInfer.Context
CallStack
Prelude
callStack
Prelude
CallStrategy
Elara.JVM.Lower.Function
CallType
Elara.JVM.IR
CannotDetermineLiftedName
Elara.Core.LiftClosures.Error
,
Elara.Core.LiftClosures
CannotDetermineType
Elara.Core.LiftClosures.Error
,
Elara.Core.LiftClosures
CannotUnify
Elara.Data.Kind.Infer
cannotUnifyKinds
Elara.Error.Codes
, Elara.Error
capturedValues
Elara.JVM.IR
captureInstructions
Elara.JVM.Lower.Util
Cast
Elara.JVM.IR
castOptic
Prelude
cat
Elara.Data.Pretty
catchSTM
Prelude
catMaybes
Prelude
ceiling
Prelude
CExpr
1 (Data Constructor)
Elara.Core.ANF
2 (Type/Class)
Elara.Core.ANF
chainedTo
Prelude
Char
1 (Type/Class)
Prelude
2 (Data Constructor)
Elara.Core
3 (Data Constructor)
Elara.Interpreter
charCon
Elara.Prim.Core
charLiteral
Elara.Parse.Literal
checkBlockLayout
Elara.Lexer.Utils
CheckingAnnotation
Elara.TypeInfer.Context
CheckingFunctionArgument
Elara.TypeInfer.Context
CheckingFunctionResult
Elara.TypeInfer.Context
CheckingIfBranches
Elara.TypeInfer.Context
CheckingIfCondition
Elara.TypeInfer.Context
CheckingLetBinding
Elara.TypeInfer.Context
CheckingMatchBranch
Elara.TypeInfer.Context
CheckingPattern
Elara.TypeInfer.Context
chr
Prelude
Class
1 (Type/Class)
Elara.JVM.IR
2 (Data Constructor)
Elara.JVM.IR
classConstructors
Elara.JVM.IR
classFields
Elara.JVM.IR
classMethods
Elara.JVM.IR
className
Elara.JVM.IR
ClassNotFound
Elara.JVM.Error
classSuper
Elara.JVM.IR
cleanIndentation
Elara.Lexer.Utils
closedVariables
Elara.Core.LiftClosures.Util
Closure
Elara.Interpreter
closureInterface
Elara.JVM.IR
ClosureLiftError
Elara.Core.LiftClosures.Error
,
Elara.Core.LiftClosures
closureTarget
Elara.JVM.IR
closureTargetClass
Elara.JVM.IR
closureTargetMethod
Elara.JVM.IR
CmpNat
Prelude
CodeThrewError
Elara.Interpreter
coerce
Prelude
coerced
Prelude
Coercible
Prelude
collectLamParams
Elara.Core.Pretty
colon
Elara.Data.Pretty
column
1 (Function)
Elara.Data.Pretty
2 (Function)
Elara.AST.Region
comma
Elara.Data.Pretty
commaSeparated
Elara.Parse.Primitives
commentChar
Elara.Lexer.Action
commentDepth
Elara.Lexer.Utils
commentSC
Elara.Lexer.Lexer
compare
Prelude
comparing
Prelude
Comparison
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
comparisonEquivalence
Prelude
compile
Elara
CompileAction
Elara
CompileAndEmit
Elara
CompileAndRun
Elara
compileMatrix
Elara.ToCore.Match
CompileOnly
Elara
CompileResult
1 (Type/Class)
Elara
2 (Data Constructor)
Elara
CompilerSettings
1 (Type/Class)
Elara.Settings
2 (Data Constructor)
Elara.Settings
completePartial
Elara.Desugar
completePartials
Elara.Desugar
Compose
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
computeCaptures
Elara.Core.LiftClosures.Util
concat
Prelude
concatMap
Prelude
concatMapOf
Prelude
concatWith
Elara.Data.Pretty
conId
Elara.Parse.Names
Conjunction
Elara.TypeInfer.Type
ConjunctionAxiomScheme
Elara.TypeInfer.Type
conName
Elara.Parse.Names
consCtorName
Elara.Prim
ConsMinimumQueryEffects
Elara.Query.Effects
ConsPattern
Elara.AST.Extensions
ConsQueryEffects
Elara.Query.Effects
Const
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
const
Prelude
constantFold
Elara.CoreToCore
ConstChar
Elara.ConstExpr
constExpr
Elara.Parse.Annotation
ConstInt
Elara.ConstExpr
ConstList
Elara.ConstExpr
Constraint
Elara.TypeInfer.Type
constraintLoc
Elara.TypeInfer.Type
Constructor
1 (Type/Class)
Elara.JVM.IR
2 (Data Constructor)
Elara.JVM.IR
3 (Data Constructor)
Elara.JVM.Lower.Function
constructor
Elara.Data.Pretty.Styles
constructorApplication
Elara.Parse.Type
constructorArgs
Elara.JVM.IR
ConstructorBinder
Elara.AST.Phase
constructorBody
Elara.JVM.IR
ConstructorDeclaration
Elara.Query
constructorDesc
Elara.JVM.IR
ConstructorNodeExtension
Elara.AST.Phase
ConstructorOccurrence
Elara.AST.Phase
ConstString
Elara.ConstExpr
ConstTuple
Elara.ConstExpr
ConstUnit
Elara.ConstExpr
ConstVal
Elara.ConstExpr
consumeAmp
Elara.Lexer.Char
containedName
Elara.AST.Name
ContainsName
Elara.AST.Name
ContextStack
1 (Type/Class)
Elara.TypeInfer.Context
2 (Data Constructor)
Elara.TypeInfer.Context
3 (Type/Class)
Elara.TypeInfer.Type
contramap
Prelude
Contravariant
Prelude
ConTy
Elara.Core
conTyArgs
Elara.Core
convertTyVar
Elara.TypeInfer.Convert
ConvertUtf8
Prelude
CoreAlt
Elara.Core
CoreBind
Elara.Core
CoreConstraint
Elara.AST.Instances
CoreDataDecl
Elara.Core.Module
CoreDeclaration
Elara.Core.Module
CoreExpr
Elara.Core
CoreExprPass
Elara.CoreToCore
CoreModule
1 (Type/Class)
Elara.Core.Module
2 (Data Constructor)
Elara.Core.Module
CorePrim
Elara.JVM.IR
coreToCore
Elara.CoreToCore
coreToCoreExpr
Elara.CoreToCore
CoreType
Elara.Core.Module
CoreTypeAlias
Elara.Core.Module
CoreTypeDecl
1 (Type/Class)
Elara.Core.Module
2 (Data Constructor)
Elara.Core.Module
CoreTypeDeclBody
Elara.Core.Module
CoreTypeMismatch
Elara.Core.TypeCheck
coreTypeMismatch
Elara.Error.Codes
, Elara.Error
CoreTypeMismatchIncompleteExpected
Elara.Core.TypeCheck
CoreValue
Elara.Core.Module
cos
Prelude
cosh
Prelude
cosmos
Prelude
cosmosOf
Prelude
cosmosOn
Prelude
cosmosOnOf
Prelude
CreateClosure
Elara.JVM.Lower.Function
createEdge
Elara.Data.TopologicalGraph
createGraph
Elara.Data.TopologicalGraph
createMethodCreationState
Elara.JVM.Emit.State
createModuleName
Elara.JVM.Emit.Utils
createQualifiedClassName
Elara.JVM.Emit.Utils
createRegion
Elara.Lexer.Utils
createRegionStartingAt
Elara.Lexer.Utils
ctdName
Elara.Core.Module
Ctor
Elara.Interpreter
ctorCapturedValues
Elara.JVM.IR
ctorClosureClass
Elara.JVM.IR
ctorClosureDesc
Elara.JVM.IR
ctorClosureInterface
Elara.JVM.IR
currentCallStack
Prelude
currentContext
Elara.TypeInfer.Context
curry
Prelude
curry3
Elara.Utils
cycle
Prelude
cycle1
Prelude