Index

!!?Prelude
$Prelude
$!Prelude
$!!Prelude
$<Prelude
$>Prelude
$>>Prelude
%Prelude
%=Effectful.State.Extra
%~Prelude
&Prelude
&&Prelude
&&&Prelude
&&^Prelude
*Prelude
**Prelude
*>Prelude
+Prelude
++Prelude
-Prelude
.Prelude
.=Effectful.State.Extra
.~Prelude
/Prelude
/=Prelude
:|Prelude
:~:Prelude
<Prelude
<$Prelude
<$!>Prelude
<$>Prelude
<&>Prelude
<*Prelude
<**>Prelude
<*>Prelude
<+>Elara.Data.Pretty
<.>Elara.AST.Location
<<$Prelude
<<$>>Prelude
<<&>>Prelude
<<<Prelude
<=Prelude
<=<Prelude
<>Prelude, Elara.Data.Pretty
<|>Prelude
=<<Prelude
==Prelude
>Prelude
>$Prelude
>$$<Prelude
>$<Prelude
>=Prelude
>=>Prelude
>>Prelude
>>=Prelude
>>>Prelude
?:Prelude
?:!Prelude
?=Prelude
??Prelude
?~Prelude
absPrelude
absurdPrelude
acosPrelude
acoshPrelude
actual 
1 (Function)Elara.Interpreter
2 (Function)Elara.Core.TypeCheck
actualArgumentTypeElara.TypeInfer.Context
AddElara.JVM.IR
addLocalTypeElara.TypeInfer.Environment
addNodeElara.Data.TopologicalGraph
addTypeElara.TypeInfer.Environment
addType'Elara.TypeInfer.Environment
ADTElara.AST.Types
adtElara.Parse.Declaration
AExpr 
1 (Data Constructor)Elara.Core.ANF
2 (Type/Class)Elara.Core.ANF
AffineTraversalPrelude
AffineTraversal'Prelude
AlexA#Elara.Lexer.Lexer
AlexAcc 
1 (Type/Class)Elara.Lexer.Lexer
2 (Data Constructor)Elara.Lexer.Lexer
AlexAccNoneElara.Lexer.Lexer
AlexAccSkipElara.Lexer.Lexer
AlexAddrElara.Lexer.Lexer
AlexEOFElara.Lexer.Lexer
AlexErrorElara.Lexer.Lexer
alexGetByteElara.Lexer.Utils
alexIndexInt16OffAddrElara.Lexer.Lexer
alexIndexInt32OffAddrElara.Lexer.Lexer
AlexInputElara.Lexer.Utils
AlexLastAcc 
1 (Type/Class)Elara.Lexer.Lexer
2 (Data Constructor)Elara.Lexer.Lexer
AlexLastSkipElara.Lexer.Lexer
AlexNoneElara.Lexer.Lexer
AlexReturnElara.Lexer.Lexer
alexScanElara.Lexer.Lexer
alexScanUserElara.Lexer.Lexer
AlexSkipElara.Lexer.Lexer
AlexTokenElara.Lexer.Lexer
alex_acceptElara.Lexer.Lexer
alex_actionsElara.Lexer.Lexer
alex_action_0Elara.Lexer.Lexer
alex_action_1Elara.Lexer.Lexer
alex_action_10Elara.Lexer.Lexer
alex_action_11Elara.Lexer.Lexer
alex_action_12Elara.Lexer.Lexer
alex_action_13Elara.Lexer.Lexer
alex_action_14Elara.Lexer.Lexer
alex_action_15Elara.Lexer.Lexer
alex_action_16Elara.Lexer.Lexer
alex_action_17Elara.Lexer.Lexer
alex_action_18Elara.Lexer.Lexer
alex_action_19Elara.Lexer.Lexer
alex_action_2Elara.Lexer.Lexer
alex_action_20Elara.Lexer.Lexer
alex_action_21Elara.Lexer.Lexer
alex_action_22Elara.Lexer.Lexer
alex_action_23Elara.Lexer.Lexer
alex_action_24Elara.Lexer.Lexer
alex_action_25Elara.Lexer.Lexer
alex_action_26Elara.Lexer.Lexer
alex_action_27Elara.Lexer.Lexer
alex_action_28Elara.Lexer.Lexer
alex_action_29Elara.Lexer.Lexer
alex_action_3Elara.Lexer.Lexer
alex_action_30Elara.Lexer.Lexer
alex_action_31Elara.Lexer.Lexer
alex_action_32Elara.Lexer.Lexer
alex_action_33Elara.Lexer.Lexer
alex_action_34Elara.Lexer.Lexer
alex_action_35Elara.Lexer.Lexer
alex_action_36Elara.Lexer.Lexer
alex_action_37Elara.Lexer.Lexer
alex_action_38Elara.Lexer.Lexer
alex_action_39Elara.Lexer.Lexer
alex_action_4Elara.Lexer.Lexer
alex_action_40Elara.Lexer.Lexer
alex_action_41Elara.Lexer.Lexer
alex_action_42Elara.Lexer.Lexer
alex_action_43Elara.Lexer.Lexer
alex_action_44Elara.Lexer.Lexer
alex_action_45Elara.Lexer.Lexer
alex_action_46Elara.Lexer.Lexer
alex_action_47Elara.Lexer.Lexer
alex_action_48Elara.Lexer.Lexer
alex_action_49Elara.Lexer.Lexer
alex_action_5Elara.Lexer.Lexer
alex_action_50Elara.Lexer.Lexer
alex_action_51Elara.Lexer.Lexer
alex_action_52Elara.Lexer.Lexer
alex_action_53Elara.Lexer.Lexer
alex_action_54Elara.Lexer.Lexer
alex_action_55Elara.Lexer.Lexer
alex_action_56Elara.Lexer.Lexer
alex_action_57Elara.Lexer.Lexer
alex_action_58Elara.Lexer.Lexer
alex_action_59Elara.Lexer.Lexer
alex_action_6Elara.Lexer.Lexer
alex_action_7Elara.Lexer.Lexer
alex_action_8Elara.Lexer.Lexer
alex_baseElara.Lexer.Lexer
alex_checkElara.Lexer.Lexer
alex_defltElara.Lexer.Lexer
alex_scan_tknElara.Lexer.Lexer
alex_tableElara.Lexer.Lexer
alex_tab_sizeElara.Lexer.Lexer
AliasElara.AST.Types
aliasElara.Parse.Declaration
alignElara.Data.Pretty
All 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
allPrelude
allContextsElara.TypeInfer.Context
AllDeclElara.Desugar.Common
allEntriesElara.Data.TopologicalGraph
allEntriesRevTopologicallyElara.Data.TopologicalGraph
allEntriesTopologicallyElara.Data.TopologicalGraph
allKnownTypesElara.Prim
allMPrelude
allOpaquePrimsElara.Prim
allWiredInPrimsElara.Prim
Alt 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
3 (Type/Class)Elara.Core
4 (Type/Class)Elara.Core.ANF
altElara.Core.TypeCheck
AltConElara.Core
alterAnnotationsElara.Data.Pretty
alterAnnotationsSElara.Data.Pretty
AlternativePrelude
altTypeElara.Core.TypeCheck
ambiguousModulePathElara.Error.Codes, Elara.Error
ambiguousNameElara.Error.Codes, Elara.Error
AmbiguousTypeNameElara.Rename.Error
AmbiguousVarNameElara.Rename.Error
analyzeCallStrategyElara.JVM.Lower.Function
AndElara.JVM.IR
andPrelude
andMPrelude
ANFPrimOpElara.Core.ANF
anglesElara.Data.Pretty
annotateElara.Data.Pretty
Annotation 
1 (Type/Class)Elara.AST.Types
2 (Data Constructor)Elara.AST.Types
annotationElara.Parse.Annotation
AnnotationArg 
1 (Type/Class)Elara.AST.Types
2 (Data Constructor)Elara.AST.Types
annotationArgsElara.AST.Types
annotationNameElara.AST.Types
annotationsElara.Parse.Annotation
annotationSiteElara.TypeInfer.Context
AnsiStyleElara.Data.Pretty
Any 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
anyPrelude
anyMPrelude
Ap 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
App 
1 (Data Constructor)Elara.Core
2 (Data Constructor)Elara.Core.ANF
appendFilePrelude
appendFileBSPrelude
appendFileLBSPrelude
appendFileLTextPrelude
appendFileTextPrelude
AppendModePrelude
appendModuleElara.AST.Name
appEndoPrelude
appendToStringElara.Lexer.Action
appendToStringWithElara.Lexer.Action
ApplicationExtensionElara.AST.Phase
ApplicativePrelude
appliedToPrelude
applyElara.Interpreter
AppOfNonFunctionElara.JVM.Error
AppTyElara.Core
argPositionElara.TypeInfer.Context
ArityMismatchElara.TypeInfer.Error
ArrayLengthElara.JVM.IR
ArrayLoadElara.JVM.IR
AsCallElara.JVM.Lower.Function
AsConstructorPrelude
AsConstructor'Prelude
AsDeclarationElara.JVM.Lower.Function
asinPrelude
asinhPrelude
asksPrelude
assertMonotypeElara.TypeInfer.Convert
assertPartialNamesEqualElara.Desugar
AssignElara.JVM.IR
assignEffectful.State.Extra
AssociativityElara.Shunt.Operator
associativityElara.Shunt.Operator
associativityAnnotationNameElara.Prim
AstNodeElara.AST.Location
ASTQueryEffectsElara.Query
ASTQueryTypeElara.Query
astTypeToGeneralisedInferTypeElara.TypeInfer.Convert
astTypeToInferTypeElara.TypeInfer.Convert
astTypeToInferType'Elara.TypeInfer.Convert
astTypeToInferTypeWithKindElara.TypeInfer.Convert
asTypeOfPrelude
asumPrelude
asumMapPrelude
AtPrelude
atPrelude
atanPrelude
atan2Prelude
atanhPrelude
AtLeast2List 
1 (Type/Class)Elara.Data.AtLeast2List
2 (Data Constructor)Elara.Data.AtLeast2List
atomicallyPrelude
atomicModifyIORefPrelude
atomicModifyIORef'Prelude
atomicModifyIORef'_Prelude
atomicModifyIORef_Prelude
atomicWriteIORefPrelude
AvailablePerLineElara.Data.Pretty
AxiomSchemeElara.TypeInfer.Type
A_FoldPrelude
A_SetterPrelude
A_TraversalPrelude
BackendElara
backslashElara.Data.Pretty
backtraceDesiredPrelude
beginBlockCommentElara.Lexer.Action
beginStringElara.Lexer.Action
betaReduceElara.CoreToCore
biallPrelude
biandPrelude
bianyPrelude
biasumPrelude
bielemPrelude
bifindPrelude
bifoldPrelude
BifoldablePrelude
bifoldlPrelude
bifoldl'Prelude
bifoldlMPrelude
bifoldMapPrelude
bifoldMapDefaultPrelude
bifoldrPrelude
bifoldr'Prelude
bifoldrMPrelude
biforPrelude
bifor_Prelude
BifunctorPrelude
bilengthPrelude
biListPrelude
bimapPrelude
bimapDefaultPrelude
BinaryOpElara.JVM.IR
BinaryOperatorElara.AST.Types
BinaryOperatorExpressionElara.AST.Extensions
BinaryOperatorExtensionElara.AST.Extensions
binaryOpLocElara.Shunt.Error
Bind 
1 (Type/Class)Elara.Core.Generic
2 (Type/Class)Elara.Core
3 (Type/Class)Elara.Core.ANF
bindersElara.Core.Generic
bindingNameElara.TypeInfer.Context
bindingSiteElara.TypeInfer.Context
bindPatternVarsElara.JVM.Lower.Match
bindsElara.Core.Generic
BinOpElara.JVM.IR
binullPrelude
biorPrelude
bisequencePrelude
bisequence_Prelude
BitraversablePrelude
bitraversePrelude
bitraverse_Prelude
Block 
1 (Type/Class)Elara.JVM.IR
2 (Data Constructor)Elara.JVM.IR
blockElara.Parse.Indents
BlockBufferingPrelude
BlockEndsWithLetElara.Rename.Error
blockEndsWithLetElara.Error.Codes, Elara.Error
blockExprElara.Parse.Indents
blockLabelElara.JVM.IR
blockParensIfElara.Data.Pretty
bodyElara.Interpreter
boldElara.Data.Pretty.Styles
BoolPrelude
boolPrelude
boolConElara.Prim.Core
boolValueElara.Interpreter
bothElara.Parse.Error
BoundedPrelude
boundedEnumFromPrelude
boundedEnumFromThenPrelude
bracedBlockElara.Data.Pretty
bracesElara.Data.Pretty
bracketsElara.Data.Pretty
branchIndexElara.TypeInfer.Context
branchSiteElara.TypeInfer.Context
breakPrelude
BufferModePrelude
Bug 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
bugPrelude
buildMatrix1Elara.ToCore.Match
buildModuleIndexElara.ModuleIndex
buildSCCsElara.SCC
builtinElara.Data.Pretty.Styles
ByteStringPrelude
byteSwap16Prelude
byteSwap32Prelude
byteSwap64Prelude
CallElara.JVM.IR
callableArityElara.JVM.Lower.Function
CallableInfo 
1 (Type/Class)Elara.JVM.Lower.Function
2 (Data Constructor)Elara.JVM.Lower.Function
callableReturnTypeElara.JVM.Lower.Function
CallableTargetElara.JVM.Lower.Function
callableTargetElara.JVM.Lower.Function
CallModeElara.JVM.Lower.Function
callSiteElara.TypeInfer.Context
CallStackPrelude
callStackPrelude
CallStrategyElara.JVM.Lower.Function
CallTypeElara.JVM.IR
CannotDetermineLiftedNameElara.Core.LiftClosures.Error, Elara.Core.LiftClosures
CannotDetermineTypeElara.Core.LiftClosures.Error, Elara.Core.LiftClosures
CannotUnifyElara.Data.Kind.Infer
cannotUnifyKindsElara.Error.Codes, Elara.Error
capturedValuesElara.JVM.IR
captureInstructionsElara.JVM.Lower.Util
CastElara.JVM.IR
castOpticPrelude
catElara.Data.Pretty
catchSTMPrelude
catMaybesPrelude
ceilingPrelude
CExpr 
1 (Data Constructor)Elara.Core.ANF
2 (Type/Class)Elara.Core.ANF
chainedToPrelude
Char 
1 (Type/Class)Prelude
2 (Data Constructor)Elara.Core
3 (Data Constructor)Elara.Interpreter
charConElara.Prim.Core
charLiteralElara.Parse.Literal
checkBlockLayoutElara.Lexer.Utils
CheckingAnnotationElara.TypeInfer.Context
CheckingFunctionArgumentElara.TypeInfer.Context
CheckingFunctionResultElara.TypeInfer.Context
CheckingIfBranchesElara.TypeInfer.Context
CheckingIfConditionElara.TypeInfer.Context
CheckingLetBindingElara.TypeInfer.Context
CheckingMatchBranchElara.TypeInfer.Context
CheckingPatternElara.TypeInfer.Context
chrPrelude
Class 
1 (Type/Class)Elara.JVM.IR
2 (Data Constructor)Elara.JVM.IR
classConstructorsElara.JVM.IR
classFieldsElara.JVM.IR
classMethodsElara.JVM.IR
classNameElara.JVM.IR
ClassNotFoundElara.JVM.Error
classSuperElara.JVM.IR
cleanIndentationElara.Lexer.Utils
closedVariablesElara.Core.LiftClosures.Util
ClosureElara.Interpreter
closureInterfaceElara.JVM.IR
ClosureLiftErrorElara.Core.LiftClosures.Error, Elara.Core.LiftClosures
closureTargetElara.JVM.IR
closureTargetClassElara.JVM.IR
closureTargetMethodElara.JVM.IR
CmpNatPrelude
CodeThrewErrorElara.Interpreter
coercePrelude
coercedPrelude
CoerciblePrelude
collectLamParamsElara.Core.Pretty
colonElara.Data.Pretty
column 
1 (Function)Elara.Data.Pretty
2 (Function)Elara.AST.Region
commaElara.Data.Pretty
commaSeparatedElara.Parse.Primitives
commentCharElara.Lexer.Action
commentDepthElara.Lexer.Utils
commentSCElara.Lexer.Lexer
comparePrelude
comparingPrelude
Comparison 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
comparisonEquivalencePrelude
compileElara
CompileActionElara
CompileAndEmitElara
CompileAndRunElara
compileMatrixElara.ToCore.Match
CompileOnlyElara
CompileResult 
1 (Type/Class)Elara
2 (Data Constructor)Elara
CompilerSettings 
1 (Type/Class)Elara.Settings
2 (Data Constructor)Elara.Settings
completePartialElara.Desugar
completePartialsElara.Desugar
Compose 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
computeCapturesElara.Core.LiftClosures.Util
concatPrelude
concatMapPrelude
concatMapOfPrelude
concatWithElara.Data.Pretty
conIdElara.Parse.Names
ConjunctionElara.TypeInfer.Type
ConjunctionAxiomSchemeElara.TypeInfer.Type
conNameElara.Parse.Names
consCtorNameElara.Prim
ConsMinimumQueryEffectsElara.Query.Effects
ConsPatternElara.AST.Extensions
ConsQueryEffectsElara.Query.Effects
Const 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
constPrelude
constantFoldElara.CoreToCore
ConstCharElara.ConstExpr
constExprElara.Parse.Annotation
ConstIntElara.ConstExpr
ConstListElara.ConstExpr
ConstraintElara.TypeInfer.Type
constraintLocElara.TypeInfer.Type
Constructor 
1 (Type/Class)Elara.JVM.IR
2 (Data Constructor)Elara.JVM.IR
3 (Data Constructor)Elara.JVM.Lower.Function
constructorElara.Data.Pretty.Styles
constructorApplicationElara.Parse.Type
constructorArgsElara.JVM.IR
ConstructorBinderElara.AST.Phase
constructorBodyElara.JVM.IR
ConstructorDeclarationElara.Query
constructorDescElara.JVM.IR
ConstructorNodeExtensionElara.AST.Phase
ConstructorOccurrenceElara.AST.Phase
ConstStringElara.ConstExpr
ConstTupleElara.ConstExpr
ConstUnitElara.ConstExpr
ConstValElara.ConstExpr
consumeAmpElara.Lexer.Char
containedNameElara.AST.Name
ContainsNameElara.AST.Name
ContextStack 
1 (Type/Class)Elara.TypeInfer.Context
2 (Data Constructor)Elara.TypeInfer.Context
3 (Type/Class)Elara.TypeInfer.Type
contramapPrelude
ContravariantPrelude
ConTyElara.Core
conTyArgsElara.Core
convertTyVarElara.TypeInfer.Convert
ConvertUtf8Prelude
CoreAltElara.Core
CoreBindElara.Core
CoreConstraintElara.AST.Instances
CoreDataDeclElara.Core.Module
CoreDeclarationElara.Core.Module
CoreExprElara.Core
CoreExprPassElara.CoreToCore
CoreModule 
1 (Type/Class)Elara.Core.Module
2 (Data Constructor)Elara.Core.Module
CorePrimElara.JVM.IR
coreToCoreElara.CoreToCore
coreToCoreExprElara.CoreToCore
CoreTypeElara.Core.Module
CoreTypeAliasElara.Core.Module
CoreTypeDecl 
1 (Type/Class)Elara.Core.Module
2 (Data Constructor)Elara.Core.Module
CoreTypeDeclBodyElara.Core.Module
CoreTypeMismatchElara.Core.TypeCheck
coreTypeMismatchElara.Error.Codes, Elara.Error
CoreTypeMismatchIncompleteExpectedElara.Core.TypeCheck
CoreValueElara.Core.Module
cosPrelude
coshPrelude
cosmosPrelude
cosmosOfPrelude
cosmosOnPrelude
cosmosOnOfPrelude
CreateClosureElara.JVM.Lower.Function
createEdgeElara.Data.TopologicalGraph
createGraphElara.Data.TopologicalGraph
createMethodCreationStateElara.JVM.Emit.State
createModuleNameElara.JVM.Emit.Utils
createQualifiedClassNameElara.JVM.Emit.Utils
createRegionElara.Lexer.Utils
createRegionStartingAtElara.Lexer.Utils
ctdNameElara.Core.Module
CtorElara.Interpreter
ctorCapturedValuesElara.JVM.IR
ctorClosureClassElara.JVM.IR
ctorClosureDescElara.JVM.IR
ctorClosureInterfaceElara.JVM.IR
currentCallStackPrelude
currentContextElara.TypeInfer.Context
curryPrelude
curry3Elara.Utils
cyclePrelude
cycle1Prelude
D#Prelude
DataAltElara.Core
DataCon 
1 (Type/Class)Elara.TypeInfer.Type
2 (Type/Class)Elara.Core
3 (Data Constructor)Elara.Core
DataConArityMismatchElara.JVM.Error
dataConDataTypeElara.Core
DataConKeyElara.TypeInfer.Environment
dataConTypeElara.Core
dbgPrettyElara.Parse.Debug
DebugElara.Logging
debugElara.Logging
debugColoredPrint
debugColoredStrPrint
debugNSElara.Logging
debugPrettyPrint
debugWithElara.Logging
debugWithNSElara.Logging
debugWithResult 
1 (Function)Elara.Logging
2 (Function)Print
Declaration 
1 (Type/Class)Elara.AST.Types
2 (Data Constructor)Elara.AST.Types
declarationElara.Parse.Declaration
Declaration' 
1 (Type/Class)Elara.AST.Types
2 (Data Constructor)Elara.AST.Types
DeclarationAnnotationsElara.Query
DeclarationAnnotationsOfTypeElara.Query
DeclarationBody 
1 (Type/Class)Elara.AST.Types
2 (Data Constructor)Elara.AST.Types
DeclarationBody'Elara.AST.Types
DeclarationByNameElara.Query
declarationsElara.Core.Module
declaredLambdaArityElara.Core.Analysis
declaredNameElara.Parse.Error
declBodyElara.AST.Types
DeclBodyExtension 
1 (Type/Class)Elara.AST.Phase
2 (Data Constructor)Elara.AST.Types
DeclLocElara.AST.Location
declModuleNameElara.AST.Types
DeclNameElara.AST.Name
DeclNodeElara.AST.Location
DeclTypeElara.AST.Name
DeclVarElara.AST.Name
decodeFloatPrelude
decodeUtf8Prelude
decodeUtf8'Prelude
decodeUtf8StrictPrelude
decodeUtf8WithPrelude
dedentTokenElara.Parse.Indents
DeepElara.Data.Pretty
deepseqPrelude
DEFAULTElara.Core
defaultComparisonPrelude
defaultEquivalencePrelude
defaultLayoutOptionsElara.Data.Pretty
defaultLogConfigElara.Logging
defaultSettingsElara.Settings
defaultWidthElara.Width
defDecElara.Parse.Declaration
DefWithoutLetElara.Desugar.Error
defWithoutLetElara.Error.Codes, Elara.Error
denominatorPrelude
dependenciesElara.Data.TopologicalGraph
dependenciesOfElara.Data.TopologicalGraph
deriveHashableInstanceElara.Query.TH
deriveSameCtorElara.Query.TH
DesugarElara.Desugar
desugarElara.Desugar
desugarAnnotationElara.Desugar
desugarAnnotationArgElara.Desugar
desugarBinaryOperatorElara.Desugar
desugarBinaryOperatorExtensionElara.Desugar
desugarDeclarationsElara.Desugar
DesugaredElara.AST.Phases.Desugared
DesugaredBinaryOperator 
1 (Type/Class)Elara.AST.Phases.Desugared
2 (Data Constructor)Elara.AST.Phases.Desugared
DesugaredDeclarationElara.AST.Phases.Desugared
DesugaredDeclaration'Elara.AST.Phases.Desugared
DesugaredDeclarationBodyElara.AST.Phases.Desugared
DesugaredDeclarationBody'Elara.AST.Phases.Desugared
DesugaredExprElara.AST.Phases.Desugared
DesugaredExpr'Elara.AST.Phases.Desugared
DesugaredExpressionExtensionElara.AST.Phases.Desugared
DesugaredInParensElara.AST.Phases.Desugared
DesugaredListElara.AST.Phases.Desugared
DesugaredModuleElara.Query
DesugaredPatternElara.AST.Phases.Desugared
DesugaredPattern'Elara.AST.Phases.Desugared
DesugaredTupleElara.AST.Phases.Desugared
DesugaredTypeElara.AST.Phases.Desugared
DesugaredType'Elara.AST.Phases.Desugared
DesugaredTypeDeclarationElara.AST.Phases.Desugared
DesugarErrorElara.Desugar.Error
desugarExprElara.Desugar
desugarExprExtensionElara.Desugar
desugarPatternElara.Desugar
DesugarPipelineEffectsElara.Desugar
DesugarState 
1 (Type/Class)Elara.Desugar
2 (Data Constructor)Elara.Desugar
desugarTypeElara.Desugar
desugarTypeDeclarationElara.Desugar
diagMarkerToElaraMarkerElara.Parse.Error
diagnosePositionToSourceRegionElara.AST.Region
diagnosticCodeElara.Error
diagnosticFromBundleElara.Parse.Error
diagnosticMarkersElara.Error
diagnosticMessageElara.Error
diagnosticNotesElara.Error
diagnosticReportsElara.Error
diagnosticSeverityElara.Error
diagNoteToElaraNoteElara.Parse.Error
diagReportToElaraReportElara.Parse.Error
diePrelude
DirectCallElara.JVM.Lower.Function
displayExceptionPrelude
divPrelude
DivideElara.JVM.IR
divModPrelude
DocElara.Data.Pretty
dotElara.Data.Pretty
Double 
1 (Type/Class)Prelude
2 (Data Constructor)Elara.Core
3 (Data Constructor)Elara.Interpreter
doubleConElara.Prim.Core
Down 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
dquoteElara.Data.Pretty
dquotesElara.Data.Pretty
dropPrelude
dropWhilePrelude
Dual 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
DumpCoreElara.Settings
DumpDesugaredElara.Settings
DumpIRElara.Settings
DumpJVMElara.Settings
DumpLexedElara.Settings
DumpParsedElara.Settings
DumpQueryGraphElara.Settings
DumpRenamedElara.Settings
DumpShuntedElara.Settings
dumpStagesElara
DumpTargetElara.Settings
dumpTargetsElara.Settings
DumpTypedElara.Settings
DuplicateDeclAfterDesugarElara.Error.Internal
DuplicateDeclarationElara.Desugar.Error
duplicateDefinitionElara.Error.Codes, Elara.Error
duplicateFixityAnnotationsElara.Error.Codes, Elara.Error
EachPrelude
eachPrelude
EAnnElara.AST.Types
EAppElara.AST.Types
EBlockElara.AST.Types
ECharElara.AST.Types
EConElara.AST.Types
edgesElara.SCC.Type
EExtensionElara.AST.Types
EFloatElara.AST.Types
EIfElara.AST.Types
EIntElara.AST.Types
EitherPrelude
eitherPrelude
ELamElara.AST.Types
elaraDebugPrint
ElaraDiagnosticElara.Error
ElaraError 
1 (Type/Class)Elara.Error
2 (Data Constructor)Elara.Error
ElaraKindElara.Data.Kind
ElaraMarker 
1 (Type/Class)Elara.Error
2 (Data Constructor)Elara.Error
elaraMarkerToDiagnoseMarkerElara.Error.Diagnose
ElaraMarkerTypeElara.Error
ElaraMessage 
1 (Type/Class)Elara.Logging
2 (Data Constructor)Elara.Logging
ElaraNoteElara.Error
elaraNoteToDiagnoseNoteElara.Error.Diagnose
ElaraParseErrorElara.Parse.Error
ElaraPhaseElara.AST.Phase
elaraPrimitiveNameElara.Prim
ElaraReport 
1 (Type/Class)Elara.Error
2 (Data Constructor)Elara.Error
elaraReportToDiagnoseReportElara.Error.Diagnose
ElaraSeverityElara.Error
ElaraState 
1 (Type/Class)Elara.Interpreter
2 (Data Constructor)Elara.Interpreter
ElaraWarning 
1 (Type/Class)Elara.Error
2 (Data Constructor)Elara.Error
elemPrelude
element 
1 (Function)Elara.Parse.Expression
2 (Function)Elara.Parse.Grammar
ELetElara.AST.Types
ELetInElara.AST.Types
elseSiteElara.TypeInfer.Context
EMatchElara.AST.Types
emDepthElara.Logging
emitAtElara.Lexer.Utils
emitBlockElara.JVM.Lower.Monad
emitInstElara.JVM.Lower.Monad
emitIRModuleElara.JVM.Emit
emitJVMElara
emittedFilesElara
emLevelElara.Logging
emMessageElara.Logging
emNamespaceElara.Logging
emptyPrelude
EmptyAxiomSchemeElara.TypeInfer.Type
EmptyConstraintElara.TypeInfer.Type
emptyContextStackElara.TypeInfer.Context
emptyDocElara.Data.Pretty
EmptyLambdaElara.Parse.Error
emptyLocalTypeEnvironmentElara.TypeInfer.Environment
emptyLocationElara.TypeInfer.Type
EmptyRecordElara.Parse.Error
emptyRecordErrorElara.Parse.Type
emptyTypeEnvironmentElara.TypeInfer.Environment
emStackElara.Logging
emTimeElara.Logging
encloseElara.Data.Pretty
encloseSepElara.Data.Pretty
enclosingRegionElara.AST.Region
encodeFloatPrelude
encodeUtf8Prelude
endBlockCommentElara.Lexer.Action
Endo 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
endPosElara.AST.Region
endStringElara.Lexer.Action
entryPathElara.ModuleIndex
entryStyleElara.ModuleIndex
EnumPrelude
enumFromPrelude
enumFromThenPrelude
enumFromThenToPrelude
enumFromToPrelude
envElara.Interpreter
EQPrelude
EqPrelude
eqContextElara.TypeInfer.Type
eqCtorNameElara.Prim
eqLeftElara.TypeInfer.Type
eqLeftUsageElara.TypeInfer.Type
eqLocElara.TypeInfer.Type
eqRightElara.TypeInfer.Type
eqRightUsageElara.TypeInfer.Type
EqualityElara.TypeInfer.Type
equalityWithContextElara.TypeInfer.Type
EqualsElara.JVM.IR
equalsElara.Data.Pretty
Equivalence 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
erasedMethodDescriptorElara.JVM.Lower.Util
ErrorElara.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
ErrorSeverityElara.Error
escapeCharElara.Data.Pretty
estimateArityElara.Core.Analysis
EStringElara.AST.Types
etaReaderTPrelude
ETyAppElara.AST.Types
EUnitElara.AST.Types
evalIOElara.Interpreter
evalPrimElara.Interpreter
evalStateTPrelude
EvaluatedElara.Interpreter
evaluateNFPrelude
evaluateNF_Prelude
evaluateWHNFPrelude
evaluateWHNF_Prelude
EvaluatingElara.Interpreter
evaluatingStatePrelude
evaluatingStateTPrelude
EVarElara.AST.Types
evenPrelude
ExcPrelude
ExceptionPrelude
ExceptT 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
exceptToMaybeTPrelude
execStateTPrelude
executingStatePrelude
executingStateTPrelude
exitFailurePrelude
exitSuccessPrelude
exitWithPrelude
expPrelude
expected 
1 (Function)Elara.Interpreter
2 (Function)Elara.Core.TypeCheck
ExpectedCExprElara.Core.LiftClosures.Error, Elara.Core.LiftClosures
ExpectedFunctionTypeElara.Core.LiftClosures.Error, Elara.Core.LiftClosures
expectedNameElara.Parse.Error
ExposedOpElara.AST.Module
ExposedTypeElara.AST.Module
ExposedTypeAndAllConstructorsElara.AST.Module
ExposedValueElara.AST.Module
ExposingElara.AST.Module
exposing'Elara.Parse.Module
ExposingAllElara.AST.Module
exposingOrHidingElara.Parse.Module
ExposingSomeElara.AST.Module
ExpositionElara.AST.Module
expositionElara.Parse.Module
expositionToLocatedNameElara.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
exprElara.Core.TypeCheck
Expr'Elara.AST.Types
exprBlockElara.Parse.Indents
expressionElara.Parse.Expression
ExpressionExtensionElara.AST.Phase
ExpressionGrammar 
1 (Type/Class)Elara.Parse.Expression
2 (Data Constructor)Elara.Parse.Expression
ExpressionMetaElara.AST.Phase
ExprLocElara.AST.Location
ExprLoweringFnElara.JVM.Lower.Match
ExprNodeElara.AST.Location
exprParserElara.Parse.Grammar
exprRegionElara.Parse.Declaration
ExprStmtElara.JVM.IR
extractFieldTypesElara.JVM.Lower.Util
F#Prelude
failPrelude
FalsePrelude
falseCtorElara.Prim.Core
falseCtorNameElara.Prim
fetchRock
Field 
1 (Type/Class)Elara.JVM.IR
2 (Data Constructor)Elara.JVM.IR
fieldNameElara.JVM.IR
fieldNameForIndexElara.JVM.Lower.Util
FieldNotFoundElara.JVM.Error
FieldRefElara.JVM.IR
fieldTypeElara.JVM.IR
FileContents 
1 (Type/Class)Elara.ReadFile
2 (Data Constructor)Elara.ReadFile
fileContentsElara.ReadFile
fileNotFoundElara.Error.Codes, Elara.Error
FilePathPrelude
fileReadErrorElara.Error.Codes, Elara.Error
fileToModuleElara.ModuleIndex
fillElara.Data.Pretty
fillBreakElara.Data.Pretty
fillCatElara.Data.Pretty
fillSepElara.Data.Pretty
filterPrelude
filterByLevelElara.Logging
filterByNamespaceElara.Logging
filterLocalsElara.Core.LiftClosures.Util
filterMPrelude
findPrelude
findElaraFilesElara.ReadFile
findLocalVariableElara.JVM.Emit.State
findTyConElara.Core.Analysis
First 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
firstPrelude
fixPrelude
fixExprElara.Shunt
fixityAnnotationNameElara.Prim
fixOperatorsElara.Shunt
flapPrelude
flatAltElara.Data.Pretty
FlatStyleElara.ModuleIndex
flipPrelude
flipfoldl'Prelude
FloatPrelude
floatConElara.Prim.Core
floatDigitsPrelude
FloatingPrelude
floatLiteralElara.Parse.Literal
floatRadixPrelude
floatRangePrelude
floorPrelude
fmapPrelude
fmapLocatedElara.Parse.Primitives
FoldPrelude
foldPrelude
FoldablePrelude
foldedPrelude
foldl'Prelude
foldLambdaElara.Desugar
foldlMPrelude
foldMapPrelude
foldMap'Prelude
foldMapAPrelude
foldMapMPrelude
foldrPrelude
forPrelude
ForallElara.TypeInfer.Type
ForallAxiomSchemeElara.TypeInfer.Type
ForAllTyElara.Core
force 
1 (Function)Prelude
2 (Function)Elara.Interpreter
foreverPrelude
forMPrelude
formatRichMessageElara.Logging
forM_Prelude
for_Prelude
FractionalPrelude
FreeCoreVarsElara.Core.Analysis
freeCoreVarsElara.Core.Analysis
freeCoreVarsBindElara.Core.Analysis
freeTypeVars 
1 (Function)Elara.Core.Analysis
2 (Function)Elara.TypeInfer.Convert
FreeVarsOfElara.Query
freshUniqueSupplyElara.Data.Unique
freshVarElara.JVM.Lower.Util
fromANFElara.Core.ToANF
fromANFAtomElara.Core.ToANF
fromANFCExprElara.Core.ToANF
FromClosureElara.Interpreter
fromEitherEffectful.Error.Extra
fromEnumPrelude
fromExceptionPrelude
FromGlobalElara.Interpreter
fromHeadAndTailElara.Data.AtLeast2List
fromIntegerPrelude
fromIntegralPrelude
fromLabelPrelude
fromLazyPrelude
fromLeftPrelude
fromList 
1 (Function)Prelude
2 (Function)Elara.Data.AtLeast2List
fromListNPrelude
fromMaybePrelude
fromNonEmptyElara.Data.AtLeast2List
fromNonEmptyUnsafeElara.Data.AtLeast2List
fromRationalPrelude
fromRightPrelude
fromShortPrelude
fromStrictPrelude
fromStringPrelude
FrontendElara.AST.Phases.Frontend
FrontendBinaryOperator 
1 (Type/Class)Elara.AST.Phases.Frontend
2 (Data Constructor)Elara.AST.Phases.Frontend
FrontendDeclarationElara.AST.Phases.Frontend
FrontendDeclaration'Elara.AST.Phases.Frontend
FrontendDeclarationBodyElara.AST.Phases.Frontend
FrontendDeclarationBody'Elara.AST.Phases.Frontend
FrontendDeclBodyExtensionElara.AST.Phases.Frontend
FrontendExprElara.AST.Phases.Frontend
FrontendExpr'Elara.AST.Phases.Frontend
FrontendExpressionExtensionElara.AST.Phases.Frontend
FrontendInParensElara.AST.Phases.Frontend
FrontendLetInWithPatternsElara.AST.Phases.Frontend
FrontendLetWithPatternsElara.AST.Phases.Frontend
FrontendListElara.AST.Phases.Frontend
FrontendMultiLamElara.AST.Phases.Frontend
FrontendPatternElara.AST.Phases.Frontend
FrontendPattern'Elara.AST.Phases.Frontend
FrontendTupleElara.AST.Phases.Frontend
FrontendTypeElara.AST.Phases.Frontend
FrontendType'Elara.AST.Phases.Frontend
FrontendTypeDeclarationElara.AST.Phases.Frontend
FrontendValueTypeDefElara.AST.Phases.Frontend
fstPrelude
FtvElara.TypeInfer.Ftv
ftvElara.TypeInfer.Ftv
fullCoreToCoreExprElara.CoreToCore
fullNameTextElara.AST.Name
funcInterfaceNameElara.JVM.Lower.Util
FunctionElara.TypeInfer.Type
FunctionKindElara.Data.Kind
functionMonotypeArgsElara.TypeInfer.Type
functionMonotypeResultElara.TypeInfer.Type
functionNameElara.TypeInfer.Context
functionType 
1 (Function)Elara.TypeInfer.Context
2 (Function)Elara.Parse.Type
functionTypeArgsElara.Core
functionTypeResultElara.Core
FunctorPrelude
FuncTyElara.Core
fuseElara.Data.Pretty
FusionDepthElara.Data.Pretty
FuvElara.TypeInfer.Ftv
fuvElara.TypeInfer.Ftv
gcdPrelude
generaliseElara.TypeInfer.Generalise
generateConstraintsElara.TypeInfer.ConstraintGeneration
generatedFileNameElara.AST.Region
generatedLocatedElara.AST.Region
GeneratedPositionElara.AST.Region
GeneratedRegionElara.AST.Region
generatedSourcePosElara.AST.Region
generatedSourceRegionElara.AST.Region
generatedSourceRegionFromElara.AST.Region
GenericPrelude
GenericAlexErrorElara.Lexer.Utils
genericDropPrelude
genericGetConstructorDeclarationElara.Rules.Generic
genericGetDeclarationAnnotationsElara.Rules.Generic
genericGetDeclarationAnnotationsOfTypeElara.Rules.Generic
genericGetDeclarationByNameElara.Rules.Generic
genericGetRequiredDeclarationByNameElara.Rules.Generic
genericGraphTraverseElara.Data.TopologicalGraph
genericGraphTraverse_Elara.Data.TopologicalGraph
genericLengthPrelude
genericLexicalErrorElara.Error.Codes, Elara.Error
genericParseErrorElara.Error.Codes, Elara.Error
genericPlatePrelude
genericReplicatePrelude
genericSplitAtPrelude
genericTakePrelude
genPartialsElara.Desugar
getAllPrelude
getAltPrelude
GetANFCoreModuleElara.Query
getAnyPrelude
getApPrelude
getArgsPrelude
getCallStackPrelude
GetClosureLiftedModuleElara.Query
getComparisonPrelude
GetCompilerSettingsElara.Query
getComposePrelude
getConstPrelude
getConstructorDeclarationElara.Query
GetCoreModuleElara.Query
GetDataConElara.Query
getDeclarationAnnotationsElara.Query
getDeclarationAnnotationsOfTypeElara.Query
getDeclarationByNameElara.Query
getDesugaredModuleElara.Desugar
getDownPrelude
getDualPrelude
getEquivalencePrelude
getExprElara.TypeInfer.Substitute
GetFieldElara.JVM.IR
GetFileContentsElara.Query
GetFinalisedCoreModuleElara.Query
getFirstPrelude
getInputFilesElara.ReadFile
GetJVMClassBytesElara.Query
GetJVMClassFilesElara.Query
GetJVMIRModuleElara.Query
getLabelElara.JVM.Emit.State
getLastPrelude
getLexedFileElara.Lexer.Reader
getLinePrelude
getLocationElara.AST.Location
getLogConfigFromEnvElara.Logging
getModuleByNameElara.Query
getOpPrelude
GetOpInfoElara.Query
GetOpTableInElara.Query
GetOptimisedCoreModuleElara.Query
getParsedFileQueryElara.Parse
getParsedModuleQueryElara.Parse
getPartialNameElara.Desugar.Common
getPositionElara.Lexer.Utils
getPredicatePrelude
getProductPrelude
getRequiredDeclarationByNameElara.Query
GetSCCsOfElara.Query
getStackTracePrelude
getSumPrelude
GetterPrelude
GetTyConElara.Query
GetTypeAliasElara.Query
getUniqueIdElara.Data.Unique
getWidthElara.Width
getZipListPrelude
GlobalElara.AST.VarRef
globalBindingsElara.Interpreter
globalUniqueSupplyElara.Data.Unique
GlobalVarInPatternElara.JVM.Error
GPhaseCoerceElara.AST.PhaseCoerce
gphaseCoerceElara.AST.PhaseCoerce
GPlatePrelude
gplatePrelude
gprettyElara.Data.Pretty
GreaterThanElara.JVM.IR
group 
1 (Function)Prelude
2 (Function)Elara.Data.Pretty
GTPrelude
gtCtorNameElara.Prim
guardPrelude
guardedPrelude
guardMPrelude
guesstimateExprTypeElara.Core.Analysis
H2JVMErrorElara.JVM.Error
HandlePrelude
hangElara.Data.Pretty
hardlineElara.Data.Pretty
HasCallStackPrelude
HasDependenciesElara.Data.TopologicalGraph
HashablePrelude
HashMapPrelude
hashNubPrelude
HashSetPrelude
hashWithSaltPrelude
HasLocationElara.AST.Location
HasMinimumQueryEffectsElara.Query.Effects
HasNameElara.AST.Name
HasOpLookupElara.Shunt
HasPathElara.AST.Region
HasSourceRegionElara.AST.Region
hcatElara.Data.Pretty
headPrelude
headerElara.Parse.Module
hFlushPrelude
hGetBufferingPrelude
HideEffects 
1 (Type/Class)Rock
2 (Data Constructor)Rock
HigherRankTypesNotSupportedElara.TypeInfer.Convert
HintElara.Error
hIsEOFPrelude
hoistEitherPrelude
hoistMaybePrelude
hsepElara.Data.Pretty
hSetBufferingPrelude
IdElara.Core
Identity 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
identityPrelude
IdentityTPrelude
ifMPrelude
ifoldedPrelude
ifoldMapPrelude
iforPrelude
ifor_Prelude
ifSiteElara.TypeInfer.Context
IgnoreLocation 
1 (Type/Class)Elara.AST.Region
2 (Data Constructor)Elara.AST.Region
ignoreLocationElara.AST.VarRef
IgnoreLocVarRefElara.AST.VarRef
IgnoreLocVarRefKindElara.AST.VarRef
ignoreStructuredDebugElara.Logging
ignoringIndentsElara.Parse.Primitives
ImmediateElara.Desugar.Common
Import 
1 (Type/Class)Elara.AST.Module
2 (Data Constructor)Elara.AST.Module
Import' 
1 (Type/Class)Elara.AST.Module
2 (Data Constructor)Elara.AST.Module
import'Elara.Parse.Module
importAsElara.AST.Module
ImportExposingElara.AST.Module
ImportExposingOrHidingElara.AST.Module
importExposingOrHidingElara.AST.Module
ImportHidingElara.AST.Module
importModuleNameElara.AST.Module
importQualifiedElara.AST.Module
inBracesElara.Parse.Primitives
incompleteExpectedElara.Core.TypeCheck
indentElara.Data.Pretty
indentDepthElara.Data.Pretty
indentLayoutTokElara.Lexer.Action
indentTokenElara.Parse.Indents
InferElara.TypeInfer.Monad
InferEffectsConsElara.TypeInfer.Monad
InferenceContext 
1 (Type/Class)Elara.TypeInfer.Context
2 (Type/Class)Elara.TypeInfer.Type
InferErrorElara.TypeInfer.Environment
inferKindElara.Data.Kind.Infer
InferSCCElara.Query
InferStateElara.Data.Kind.Infer
inferTypeKindElara.Data.Kind.Infer
infinitelyPrelude
InfiniteTypeElara.Core.TypeCheck
InfixElara.CoreToCore
infixDeclarationWithoutValueElara.Error.Codes, Elara.Error
InfixedOccurrenceElara.AST.Phase
InfixedOpElara.AST.Types
InfixPrecTooHighElara.Parse.Error
InfixWithoutDeclarationElara.Desugar.Error
InfoElara.Logging
InfoMarkerElara.Error
initPrelude
initialInferStateElara.Data.Kind.Infer
initialLexStateElara.Lexer.Utils
initialMethodCreationStateElara.JVM.Emit.State
initsPrelude
inlineLayoutTokElara.Lexer.Action
InnerLowerElara.JVM.Lower.Monad
InnerRenameElara.Rename
inParensElara.Parse.Primitives
InParensExpressionElara.AST.Extensions
InParensExtensionElara.AST.Extensions
inputElara.Lexer.Utils
InputFilesElara.Query
insertMergingElara.Rename.State
insertWithMPrelude
InstanceMethodElara.JVM.Lower.Function
InstanceOfElara.JVM.IR
instantiateElara.Core
instrsElara.JVM.IR
InstructionElara.JVM.IR
InstructionWriterElara.JVM.Lower.Monad
Int 
1 (Type/Class)Prelude
2 (Data Constructor)Elara.Core
3 (Data Constructor)Elara.Interpreter
Int16Prelude
Int32Prelude
Int64Prelude
Int8Prelude
intConElara.Prim.Core
IntegerPrelude
integerLiteralElara.Parse.Literal
integerToBoundedPrelude
integerToNaturalPrelude
IntegralPrelude
intercalatePrelude
InternalErrorElara.Error.Internal
interpretBindingElara.Interpreter
InterpretConstExprElara.ConstExpr
Interpreter 
1 (Type/Class)Elara.Interpreter
2 (Data Constructor)Elara
InterpreterEffectsElara.Interpreter
InterpreterErrorElara.Interpreter
InterpreterOutputElara.Interpreter
interpretExpr 
1 (Function)Elara.ConstExpr
2 (Function)Elara.Interpreter
interpretExpr'Elara.ConstExpr
interpretExprExtensionElara.ConstExpr
interpretInterpreterOutputElara.Interpreter
interpretNewAnnotationArgElara.ConstExpr
interspersePrelude
IntMapPrelude
intNubPrelude
intNubOnPrelude
IntSetPrelude
InvalidAnnotationArrangementElara.Error.Internal
InvalidConstantExpressionElara.Parse.Error
inverseMapPrelude
InvokeInterfaceElara.JVM.IR
InvokeStaticElara.JVM.IR
InvokeStaticLocalElara.JVM.Error
invokeStaticLocalElara.Error.Codes, Elara.Error
InvokeVirtualElara.JVM.IR
IOPrelude
IOActionElara.Interpreter
ioConElara.Prim.Core
IOModePrelude
IOQuery 
1 (Type/Class)Rock
2 (Data Constructor)Rock
IORefPrelude
IReturnElara.JVM.IR
IsPrelude
isDenormalizedPrelude
isEmptyTMVarPrelude
isExpositionElara.Rename.Imports
isGlobalElara.Core.LiftClosures.Util
isIEEEPrelude
isImportedByElara.Rename.Imports
isIndentElara.Lexer.Token
isInfinitePrelude
isJustPrelude
IsLabelPrelude
isLamElara.Core.LiftClosures.Util
isLeftPrelude
IsListPrelude
isLocalElara.Core.LiftClosures.Util
isn'tPrelude
isNaNPrelude
isNegativeZeroPrelude
isNothingPrelude
IsoPrelude
isoPrelude
Iso'Prelude
isPrefixOfPrelude
IsRegionElara.AST.Region
isRightPrelude
IsStringPrelude
iteratePrelude
itraversePrelude
itraverse_Prelude
ixPrelude
IxedPrelude
IxKindPrelude, Prelude
JoinElara.AST.Location
joinPrelude
JumpElara.JVM.IR
JumpIfElara.JVM.IR
JumpIfPrimitiveBoolElara.JVM.IR
JustPrelude
JustDefElara.Desugar.Common
JustLetElara.Desugar.Common
JVMElara
JVMLoweringErrorElara.JVM.Error
KeyElara.Data.TopologicalGraph
keyElara.Data.TopologicalGraph
keysElara.Data.TopologicalGraph
keywordElara.Data.Pretty.Styles
KeywordUsedAsNameElara.Parse.Error
kindElara.Core.Module
KindedElara.AST.Phases.Kinded
kindedToTypedTypeElara.TypeInfer.Convert
kindedToTypedType'Elara.TypeInfer.Convert
KindedTypeElara.AST.Phases.Kinded
KindedType'Elara.AST.Phases.Kinded
KindedTypeDeclarationElara.AST.Phases.Kinded
KindInferErrorElara.Data.Kind.Infer
KindOfElara.Query
KindSchemeElara.Data.Kind
KindVarElara.Data.Kind
knownInternalNameElara.Prim
KnownNameElara.JVM.Emit.State
KnownNatPrelude
KnownOpaqueElara.Prim
knownQualifiedElara.Prim
KnownTypeElara.Prim
KnownTypeInfo 
1 (Type/Class)Elara.Prim
2 (Data Constructor)Elara.Prim
knownTypeInfoElara.Prim
knownUserFacingNameElara.Prim
KnownWiredInElara.Prim
LElara.Parse.Stream
labelElara.Data.Pretty.Styles
labelsElara.JVM.Emit.State
Lam 
1 (Data Constructor)Elara.Core
2 (Data Constructor)Elara.Core.ANF
LambdaBinderElara.AST.Phase
LambdaBinderNotLocalElara.JVM.Error
LambdaExtensionElara.AST.Phase
langleElara.Data.Pretty
Last 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
lastPrelude
layoutCompactElara.Data.Pretty
LayoutOptions 
1 (Type/Class)Elara.Data.Pretty
2 (Data Constructor)Elara.Data.Pretty
layoutPageWidthElara.Data.Pretty
layoutPrettyElara.Data.Pretty
layoutSmartElara.Data.Pretty
LazyStrictPrelude
lbraceElara.Data.Pretty
lbracketElara.Data.Pretty
LByteStringPrelude
lcmPrelude
LeftPrelude
LeftAssociativeElara.Shunt.Operator
leftAssociativeAnnotationNameElara.Prim
leftsPrelude
leftToMaybePrelude
lengthPrelude
lenientDecodePrelude
LensPrelude
lensPrelude
Lens'Prelude
lensVLPrelude
LessThanElara.JVM.IR
Let 
1 (Data Constructor)Elara.Core
2 (Data Constructor)Elara.Core.ANF
letDecElara.Parse.Declaration
LetExtensionElara.AST.Phase
letInTopLevelElara.Error.Codes, Elara.Error
letPreambleElara.Parse.Expression
letPreambleParserElara.Parse.Grammar
LexActionElara.Lexer.Action
LexedFileElara.Query
LexemeElara.Lexer.Token
lexemeElara.Parse.Primitives
lexerElara.Lexer.Reader
LexerErrorElara.Lexer.Utils
LexMonadElara.Lexer.Utils
lexSCElara.Lexer.Utils
liftPrelude
liftA2Prelude
liftA3Prelude
liftClosuresElara.Core.LiftClosures
LiftedElara.TypeInfer.Type
liftedBinaryElara.Parse.Combinators
liftedBinaryTypeElara.Parse.Type
liftedTypeElara.Core.LiftClosures.Util
liftIOPrelude
line 
1 (Function)Elara.Data.Pretty
2 (Function)Elara.AST.Region
line'Elara.Data.Pretty
LineBufferingPrelude
linesPrelude
lineSeparatorElara.Parse.Indents
listElara.Data.Pretty
listConElara.Prim.Core
ListExpressionElara.AST.Extensions
ListExprExtensionElara.AST.Extensions
ListPatternElara.AST.Extensions
listToMaybePrelude
listToTextElara.Data.Pretty
ListTuplePatternExtensionElara.AST.Extensions
listTypeElara.Parse.Type
Lit 
1 (Data Constructor)Elara.Core
2 (Data Constructor)Elara.Core.ANF
LitAltElara.Core
LitBoolElara.JVM.IR
LitCharElara.JVM.IR
LitDoubleElara.JVM.IR
LiteralElara.Core
literalTypeElara.Core.Analysis
LitIntElara.JVM.IR
LitStringElara.JVM.IR
LitUnitElara.JVM.IR
loadedModulesElara.Interpreter
loadModuleElara.Interpreter
loadTypeDeclElara.Interpreter
LocalElara.AST.VarRef
localBindingsElara.Interpreter
locallyEffectful.State.Extra
LocalOperatorInfoNotSupportedElara.Shunt.Error
localOperatorInfoNotSupportedElara.Error.Codes, Elara.Error
LocalTypeEnvironment 
1 (Type/Class)Elara.TypeInfer.Environment
2 (Data Constructor)Elara.TypeInfer.Environment
LocalVarElara.JVM.IR
LocalVariableNotFoundElara.JVM.Error
localVariableNotFoundElara.Error.Codes, Elara.Error
localVariablesElara.JVM.Emit.State
Located 
1 (Type/Class)Elara.AST.Region
2 (Data Constructor)Elara.AST.Region
locatedElara.Parse.Primitives
locatedDeclElara.Parse.Declaration
LocatedElementElara.AST.Region
locatedExprElara.Parse.Expression
locatedTokens'Elara.Parse.Primitives
locatedTypeElara.Parse.Type
LocatedVarRefKindElara.AST.VarRef
LocateNodeElara.AST.Phase
LocSemigroupElara.AST.Location
logBasePrelude
LogConfig 
1 (Type/Class)Elara.Logging
2 (Data Constructor)Elara.Logging
logDebugElara.Logging
logDebugNSElara.Logging
logDebugWithElara.Logging
logDebugWithNSElara.Logging
logErrorElara.Logging
logErrorNSElara.Logging
logInfoElara.Logging
logInfoNSElara.Logging
logInfoWithElara.Logging
logInfoWithNSElara.Logging
LogLevelElara.Logging
logWarningElara.Logging
logWarningNSElara.Logging
lookupByInternalNameElara.Prim
lookupByQualifiedTypeNameElara.Prim
lookupByUserNameElara.Prim
lookupEnvPrelude
lookupFileElara.ModuleIndex
lookupKindVarMaybeElara.Data.Kind.Infer
lookupLocalVarElara.TypeInfer.Environment
lookupLocalVarTypeElara.TypeInfer.Environment
lookupModuleElara.ModuleIndex
lookupNameKindVarElara.Data.Kind.Infer
lookupType 
1 (Function)Elara.TypeInfer.Environment
2 (Function)Elara.TypeInfer.ConstraintGeneration
lookupTypeMaybeElara.TypeInfer.Environment
lookupVarElara.Interpreter
LowerElara.JVM.Lower.Monad
LowerAlphaName 
1 (Type/Class)Elara.AST.Name
2 (Data Constructor)Elara.AST.Name
lowerCallableElara.JVM.Lower.Function
lowerDataConElara.JVM.Lower.ADT
lowerExprElara.JVM.Lower.Expr
lowerLiteralElara.JVM.Lower.Util
lowerMatchElara.JVM.Lower.Match
lowerModuleElara.JVM.Lower
lowerPrimTypeElara.JVM.Lower.Util
lowerTypeElara.JVM.Lower.Util
lparenElara.Data.Pretty
LTPrelude
ltCtorNameElara.Prim
LTextPrelude
LVKeyElara.JVM.Emit.State
mainFileElara.Settings
MakeClosureElara.JVM.IR
MakeConstructorClosureElara.JVM.IR
makeFieldsPrelude
makeLensesPrelude
makePrismsPrelude
makeTagElara.Query.TH
makeUniqueElara.Data.Unique.Effect
makeUniqueIdElara.Data.Unique.Effect
makeUniqueTyVarElara.TypeInfer.Unique
makeUniqueTyVarWithElara.TypeInfer.Unique
manyPrelude
MapPrelude
mapPrelude
mapAccumLPrelude
mapAccumRPrelude
mapAndUnzipMPrelude
mapBindElara.Core.Generic
mapGraphElara.Data.TopologicalGraph
mapMPrelude
mapMaybePrelude
mapMaybeMPrelude
mapM_Prelude
mappendPrelude
MapVarRefImplElara.AST.VarRef
mapVarRefImplElara.AST.VarRef
markerMessageElara.Error
markerRegionElara.Error
markerTypeElara.Error
Match 
1 (Data Constructor)Elara.Core
2 (Data Constructor)Elara.Core.ANF
matchCondElara.JVM.Lower.Match
MatchedSequenceElara.Lexer.Action
maxPrelude
maxBoundPrelude
maxIntPrelude
MaybePrelude
maybePrelude
maybeAtPrelude
MaybeQualified 
1 (Type/Class)Elara.AST.Name
2 (Data Constructor)Elara.AST.Name
MaybeT 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
maybeToExceptTPrelude
maybeToLeftPrelude
maybeToListPrelude
maybeToMonoidPrelude
maybeToRightPrelude
mconcatPrelude
memoiseRock.Memo
memoiseExplicitRock.Memo
memoiseWithCycleDetectionRock.Memo
memptyPrelude
memptyIfFalsePrelude
memptyIfTruePrelude
mergeElara.AST.Region
mergeAnnotationsElara.Desugar
mergePartialsElara.Desugar
Method 
1 (Type/Class)Elara.JVM.IR
2 (Data Constructor)Elara.JVM.IR
methodArgsElara.JVM.IR
methodBodyElara.JVM.IR
MethodCreationState 
1 (Type/Class)Elara.JVM.Emit.State
2 (Data Constructor)Elara.JVM.Emit.State
methodDescElara.JVM.IR
methodIsStaticElara.JVM.IR
methodNameElara.JVM.IR
MethodNotFoundElara.JVM.Error
MethodTooManyLocalsElara.JVM.Error
MethodTooManyStackElara.JVM.Error
mfilterPrelude
MidKindedElara.AST.Phases.MidKinded
MidKindedTypeElara.AST.Phases.MidKinded
MidKindedTypeDeclarationElara.AST.Phases.MidKinded
minPrelude
minBoundPrelude
MinimumQueryEffectsElara.Query.Effects
minIntPrelude
minLogLevelElara.Logging
MissingPrimTypeElara.Interpreter
mkNestedLamElara.Core.LiftClosures.Util
mkPrecedenceElara.Shunt.Operator
mkPrimQualElara.Prim
mkPrimVarRefElara.Prim
mkSourceRegionElara.AST.Region
mkSourceRegionInElara.AST.Region
mkThunkElara.Interpreter
mkUnifyErrorElara.TypeInfer.Error
mkUnifyErrorFromConstraintElara.TypeInfer.Error
mkWeakTMVarPrelude
modPrelude
modify'Prelude
modifyingEffectful.State.Extra
modifyIORefPrelude
modifyIORef'Prelude
modifyTVar'Prelude
Module 
1 (Type/Class)Elara.JVM.IR
2 (Data Constructor)Elara.JVM.IR
3 (Type/Class)Elara.AST.Module
4 (Data Constructor)Elara.AST.Module
Module' 
1 (Type/Class)Elara.AST.Module
2 (Data Constructor)Elara.AST.Module
module'Elara.Parse.Module
ModuleByNameElara.Query
moduleClassesElara.JVM.IR
moduleDeclarationsElara.AST.Module
ModuleEntry 
1 (Type/Class)Elara.ModuleIndex
2 (Data Constructor)Elara.ModuleIndex
moduleExposingElara.AST.Module
moduleFromNameElara.Data.TopologicalGraph
moduleGraphElara.Data.TopologicalGraph
moduleImportsElara.AST.Module
ModuleIndex 
1 (Type/Class)Elara.ModuleIndex
2 (Data Constructor)Elara.ModuleIndex
3 (Data Constructor)Elara.Query
ModuleLocElara.AST.Location
ModuleName 
1 (Type/Class)Elara.AST.Name
2 (Data Constructor)Elara.AST.Name
moduleName 
1 (Function)Elara.Data.Pretty.Styles
2 (Function)Elara.AST.Name
3 (Function)Elara.JVM.IR
4 (Function)Elara.AST.Module
5 (Function)Elara.Parse.Names
ModuleNameMismatch 
1 (Data Constructor)Elara.Rename.Error
2 (Data Constructor)Elara.Parse.Error
moduleNamesElara
moduleNameToQualifiedClassNameElara.JVM.Lower.Util
ModuleNodeElara.AST.Location
ModuleNotFoundElara.ReadFile
ModulePathElara.Query
ModulePathErrorElara.ReadFile
ModuleStyleElara.ModuleIndex
moduleToANFElara.CoreToCore
moduleToFilesElara.ModuleIndex
MonadPrelude
MonadFailPrelude
MonadIOPrelude
MonadPlusPrelude
MonadReaderPrelude
MonadStatePrelude
MonadTransPrelude
MonoidPrelude
MonotypeElara.TypeInfer.Type
monotypeLocElara.TypeInfer.Type
MoreLambdasThanTypeArgsElara.JVM.Error
mplusPrelude
mtimesDefaultPrelude
MultipleModulePathsElara.ReadFile
MultipleUnifyErrorsElara.TypeInfer.Error
MultiplyElara.JVM.IR
MVarPrelude
mzeroPrelude
NameElara.AST.Name
name 
1 (Function)Elara.AST.Name
2 (Function)Elara.Core
3 (Function)Elara.Core.Module
4 (Function)Elara.Interpreter
namedTypeElara.Parse.Type
NameLikeElara.AST.Name
NameOpElara.AST.Name
namespaceFilterElara.Logging
nameTextElara.AST.Name
NameTypeElara.AST.Name
NameValueElara.AST.Name
NatPrelude
nativeDefUnsupportedElara.Error.Codes, Elara.Error
NaturalPrelude
natValPrelude
NegateElara.JVM.IR
negatePrelude
nestElara.Data.Pretty
nestedBlockCommentElara.Lexer.Action
NestedStyleElara.ModuleIndex
nestingElara.Data.Pretty
NewElara.JVM.IR
newEmptyMVarPrelude
newEmptyTMVarPrelude
newEmptyTMVarIOPrelude
newIORefPrelude
newMVarPrelude
newTMVarPrelude
newTMVarIOPrelude
newTVarPrelude
newTVarIOPrelude
NewUniqueNumElara.Data.Unique.Effect
newUniqueNumElara.Data.Unique.Effect
NFDataPrelude
nilCtorNameElara.Prim
NoBufferingPrelude
nodeFromVertexElara.Data.TopologicalGraph
NodeLocElara.AST.Location
nodesElara.SCC.Type
NoExtension 
1 (Type/Class)Elara.AST.Phase
2 (Data Constructor)Elara.AST.Phase
NoMainFoundElara.Interpreter
NonAssociativeElara.Shunt.Operator
nonAssociativeAnnotationNameElara.Prim
NonEmptyPrelude
nonEmptyPrelude
NonExhaustiveMatchElara.Interpreter
NonExistentModuleDeclarationElara.Rename.Error
nonExistentModuleDeclarationElara.Error.Codes, Elara.Error
NonRecursiveElara.Core.Generic
NormalVarNameElara.AST.Name
normalVarNameElara.Parse.Names
NotElara.JVM.IR
notPrelude
NotAFunctionElara.Interpreter
NotAFunctionalTypeElara.JVM.Error
NoteElara.Error
notElemPrelude
NotEqualsElara.JVM.IR
NotFunctionKindElara.Data.Kind.Infer
notFunctionKindElara.Error.Codes, Elara.Error
NothingPrelude
NotSupportedElara.TypeInfer.Convert
nullPrelude
NumPrelude
NumberOfCharsMatchedElara.Lexer.Action
numeratorPrelude
occursElara.TypeInfer.Ftv
OccursCheck 
1 (Data Constructor)Elara.TypeInfer.Error
2 (Data Constructor)Elara.Core.TypeCheck
OccursCheckFailedElara.Data.Kind.Infer
occursCheckFailedElara.Error.Codes, Elara.Error
occursCheckFailedKindElara.Error.Codes, Elara.Error
oddPrelude
offendingSectionElara.Parse.Error
onPrelude
OnDecodeErrorPrelude
OnePrelude
onePrelude
OneItemPrelude, Prelude
oneOrCommaSeparatedInParensElara.Parse.Primitives
OnErrorPrelude
Op 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
3 (Type/Class)Elara.JVM.IR
OpaquePrimElara.Prim
opaquePrimTyConElara.Prim.Core
operatorElara.Data.Pretty.Styles
OperatorOccurrenceElara.AST.Phase
OperatorVarNameElara.AST.Name
opIdElara.Parse.Names
OpInfo 
1 (Type/Class)Elara.Shunt.Operator
2 (Data Constructor)Elara.Shunt.Operator
OpLookupElara.Shunt
OpName 
1 (Type/Class)Elara.AST.Name
2 (Data Constructor)Elara.AST.Name
opNameElara.Parse.Names
OpTableElara.Shunt.Operator
OpticPrelude
Optic'Prelude
optionalPrelude
optionallyInParensElara.Parse.Primitives
OpTranslationElara.JVM.Emit.Operator
OrElara.JVM.IR
orPrelude
OrdPrelude
ordPrelude
OrderingPrelude
orderingConElara.Prim.Core
ordNubPrelude
ordNubOnPrelude
orMPrelude
otherwisePrelude
outputDirElara.Settings
overPrelude
OverApplicationElara.JVM.Lower.Function
OverApplicationOfElara.JVM.Error
overForAllElara.Core.Analysis
PageWidthElara.Data.Pretty
pageWidthElara.Data.Pretty
paramElara.Interpreter
parametrizedTokElara.Lexer.Action
parensElara.Data.Pretty
parensIfElara.Data.Pretty
ParsedFileElara.Query
ParsedModuleElara.Query
parseErrorSourcesElara.Parse.Error
parsePrimOpElara.Prim
ParserElara.Parse.Primitives
ParseStateElara.Lexer.Utils
PartialApplicationElara.Interpreter
PartialDeclarationElara.Desugar.Common
partialDeclarationsElara.Desugar
partialDeclarationSourceRegionElara.Desugar.Common
PartialNamesNotEqualElara.Desugar.Error
partialNamesNotEqualElara.Error.Codes, Elara.Error
partitionEithersPrelude
partitionWithPrelude
passPrelude
pathElara.AST.Region
PatLocElara.AST.Location
patParserElara.Parse.Pattern
Pattern 
1 (Type/Class)Elara.AST.Types
2 (Data Constructor)Elara.AST.Types
Pattern'Elara.AST.Types
PatternArityMismatchElara.TypeInfer.Error
patternArityMismatchElara.Error.Codes, Elara.Error
patternDependenciesElara.SCC
PatternExtensionElara.AST.Phase
PatternMatchFailedErrorElara.JVM.IR
PatternMatchMissingBindersElara.Core.TypeCheck
PatternMetaElara.AST.Phase
PatternNodeElara.AST.Location
patternRegionElara.Parse.Declaration
patternSiteElara.TypeInfer.Context
PCharElara.AST.Types
PConElara.AST.Types
peelLamElara.Core.LiftClosures.Util
pElementElara.Parse.Expression
pendingPositionElara.Lexer.Utils
pendingTokensElara.Lexer.Utils
permutationsPrelude
pExpressionElara.Parse.Expression
PExtensionElara.AST.Types
PFloatElara.AST.Types
phantomPrelude
PhaseCoerceElara.AST.PhaseCoerce
phaseCoerceElara.AST.PhaseCoerce
piPrelude
PIntElara.AST.Types
pipeElara.Data.Pretty
pipeInlineElara.CoreToCore
platePrelude
PlatedPrelude
pluralElara.Data.Pretty
Polytype 
1 (Type/Class)Elara.TypeInfer.Type
2 (Data Constructor)Elara.TypeInfer.Type
PolytypeAliasElara.TypeInfer.Error
PolytypeAliasErrorElara.TypeInfer.Error
polytypeLocElara.TypeInfer.Type
Position 
1 (Type/Class)Elara.AST.Region
2 (Data Constructor)Elara.AST.Region
positionElara.Lexer.Utils
positionToDiagnosePositionElara.AST.Region
positionToSpElara.AST.Region
PrecedenceElara.Shunt.Operator
precedenceElara.Shunt.Operator
predPrelude
Predicate 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
preRegisterTypeElara.Data.Kind.Infer
PrettyElara.Data.Pretty
prettyElara.Data.Pretty
prettyAltElara.Core.Pretty
prettyBinaryOperatorElara.AST.Pretty
prettyBinaryOperatorExtElara.AST.Pretty
prettyCallElara.JVM.IR
prettyCallStackPrelude
prettyConstructorBinderElara.AST.Pretty
prettyConstructorOccurrenceElara.AST.Pretty
prettyCtorsInlineElara.Pretty.Common
PrettyDbg 
1 (Type/Class)Elara.Parse.Debug
2 (Data Constructor)Elara.Parse.Debug
prettyDeclarationElara.AST.Pretty
prettyDeclarationBodyElara.AST.Pretty
prettyDeclBodyExtensionElara.AST.Pretty
prettyDesugaredExprExtElara.AST.Phases.Desugared
prettyExpr 
1 (Function)Elara.Core.Pretty
2 (Function)Elara.AST.Pretty
prettyExpr'Elara.AST.Pretty
prettyExpr1Elara.Core.Pretty
prettyExpr2Elara.Core.Pretty
prettyExprAppFunElara.AST.Pretty
prettyExprAtomElara.AST.Pretty
prettyExpressionExtensionElara.AST.Pretty
prettyExpressionMetaElara.AST.Pretty
prettyExprRoundTripElara.AST.Phases.Frontend.Pretty
PrettyExtensionsElara.AST.Pretty
prettyFrontendDeclBodyExtElara.AST.Phases.Frontend
prettyFrontendExprExtElara.AST.Phases.Frontend
prettyInfixedOccurrenceElara.AST.Pretty
prettyInParensExtElara.AST.Pretty
prettyLambdaBinderElara.AST.Pretty
prettyListExprExtElara.AST.Pretty
prettyListTuplePatternExtElara.AST.Pretty
prettyMatchAltElara.Pretty.Common
prettyMatchAltsElara.Pretty.Common
prettyModuleElara.AST.Pretty
prettyOpElara.Shunt.Operator
prettyOperatorOccurrenceElara.AST.Pretty
prettyOpTableElara.Shunt.Operator
prettyPatternElara.AST.Pretty
prettyPattern'Elara.AST.Pretty
prettyPatternExtensionElara.AST.Pretty
prettyPatternMetaElara.AST.Pretty
prettyPatternRoundTripElara.AST.Phases.Frontend.Pretty
PrettyPhaseElara.AST.Pretty
PrettyPhaseLocElara.AST.Pretty
prettySrcLocPrelude
prettyStringExprElara.Data.Pretty
prettyTdefElara.Core.Module
prettyTLLamElara.Core.Pretty
prettyTopTypeBinderElara.AST.Pretty
prettyTopValueBinderElara.AST.Pretty
prettyToStringPrint
prettyToTextElara.Data.Pretty
prettyToUnannotatedTextElara.Data.Pretty
prettyTupleExprExtElara.AST.Pretty
prettyTupleTypeExtElara.AST.Pretty
prettyTyElara.Core.Pretty
prettyTy1Elara.Core.Pretty
prettyTy2Elara.Core.Pretty
prettyTypeElara.AST.Pretty
prettyType'Elara.AST.Pretty
prettyTypeAppFunElara.AST.Pretty
prettyTypeAtomElara.AST.Pretty
prettyTypeDeclarationElara.AST.Pretty
prettyTypeDeclBodyElara.AST.Pretty
prettyTypedLambdaParamElara.AST.Pretty
prettyTypeMetaElara.AST.Pretty
prettyTypeOccurrenceElara.AST.Pretty
prettyTypeSyntaxExtensionElara.AST.Pretty
prettyTypeVariable 
1 (Function)Elara.Core.Pretty
2 (Function)Elara.AST.Pretty
prettyTypeVariablesElara.Core.Pretty
prettyValueBinderElara.AST.Pretty
prettyValueDeclPatternsElara.AST.Pretty
prettyValueOccurrenceElara.AST.Pretty
prettyValueWithTypeElara.Interpreter
PrettyVarElara.Core.Pretty
prettyVarElara.Core.Pretty
prettyVarArgElara.Core.Pretty
prettyVBindElara.Core.Pretty
prettyVdefElara.Core.Pretty
prettyVdefgElara.Core.Pretty
previewPrelude
PrimElara.Core
PrimAddElara.JVM.IR
PrimaryMarkerElara.Error
PrimBinOpElara.JVM.IR
PrimCharElara.Prim
PrimCompareElara.Prim
PrimDebugWithMsgElara.Prim
PrimDivideElara.JVM.IR
PrimDoubleElara.Prim
PrimEqualsElara.Prim
PrimFloatElara.Prim
PrimGetArgsElara.Prim
PrimGTElara.JVM.IR
PrimIntElara.Prim
PrimIntAddElara.Prim
PrimIntDivideElara.Prim
PrimIntMultiplyElara.Prim
PrimIntNegateElara.Prim
PrimIntRemainderElara.Prim
PrimIntSubtractElara.Prim
PrimIOElara.Prim
PrimIOBindElara.Prim
PrimitiveIntOpElara.JVM.IR
PrimitiveLitBoolElara.JVM.IR
PrimitiveLitIntElara.JVM.IR
primitiveRenameStateElara.Prim.Rename
primitiveTypesElara.Prim
primKindCheckContextElara.Prim
primLocatedElara.Prim
primModuleNameElara.Prim
PrimMultiplyElara.JVM.IR
PrimOp 
1 (Type/Class)Elara.Prim
2 (Type/Class)Elara.JVM.IR
3 (Data Constructor)Elara.JVM.IR
4 (Data Constructor)Elara.Core
primOpArityElara.Prim
PrimPrintlnElara.Prim
PrimReadFileElara.Prim
primRegionElara.Prim
PrimStringElara.Prim
PrimStringConsElara.Prim
PrimStringHeadElara.Prim
PrimStringIsEmptyElara.Prim
PrimStringTailElara.Prim
PrimSubtractElara.JVM.IR
PrimThrowErrorElara.Prim
PrimToStringElara.Prim
PrintElara.Interpreter
printPrelude
printColoredPrint
printPrettyPrint
printTextElara.Interpreter
PrismPrelude
prismPrelude
Prism'Prelude
prism'Prelude
Product 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
productPrelude
programArgsElara.Settings
properFractionPrelude
providedBindersElara.Core.TypeCheck
Proxy 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
PStringElara.AST.Types
punctuateElara.Data.Pretty
punctuationElara.Data.Pretty.Styles
PUnitElara.AST.Types
purePrelude
pushContextElara.TypeInfer.Context
putBSPrelude
putBSLnPrelude
putLBSPrelude
putLBSLnPrelude
putLTextPrelude
putLTextLnPrelude
putMVarPrelude
putStrPrelude
putStrLnPrelude
putTextPrelude
putTextLnPrelude
putTMVarPrelude
PVarElara.AST.Types
PWildcardElara.AST.Types
QAnnElara.Query
QAnnTypeElara.Query
qConIdElara.Parse.Names
QCtorElara.Query
QDeclElara.Query
QModuleElara.Query
qOpIdElara.Parse.Names
QReqDeclElara.Query
Qualified 
1 (Type/Class)Elara.AST.Name
2 (Data Constructor)Elara.AST.Name
QualifiedInWrongModuleElara.Rename.Error
qualifiedTextToClassElara.JVM.Lower.Util
qualifiedWithWrongModuleElara.Error.Codes, Elara.Error
qualifierElara.AST.Name
QueryElara.Query
QueryEffectsElara.Query.Effects
quickIndexElara.Lexer.Lexer
quotPrelude
quotRemPrelude
qVarIdElara.Parse.Names
rangleElara.Data.Pretty
RatioPrelude
RationalPrelude
rbraceElara.Data.Pretty
rbracketElara.Data.Pretty
rePrelude
ReachableSubgraph 
1 (Type/Class)Elara.SCC.Type
2 (Data Constructor)Elara.SCC.Type
ReachableSubgraphOfElara.Query
ReadPrelude
readEitherPrelude
readerPrelude
ReaderT 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
readFilePrelude
readFile'Prelude
readFileBSPrelude
ReadFileErrorElara.ReadFile
readFileLBSPrelude
readFileLTextPrelude
readFileTextPrelude
readIORefPrelude
readMaybePrelude
ReadModePrelude
readMVarPrelude
readsPrelude
readTMVarPrelude
readTokenElara.Lexer.Reader
readTokensElara.Lexer.Reader
readTokensWithElara.Lexer.Reader
readTVarPrelude
readTVarIOPrelude
ReadWriteModePrelude
RealPrelude
RealFloatPrelude
RealFracPrelude
RealPosition 
1 (Data Constructor)Elara.AST.Region
2 (Type/Class)Elara.AST.Region
realPositionToSourcePosElara.Parse.Stream
RealSourceRegion 
1 (Data Constructor)Elara.AST.Region
2 (Type/Class)Elara.AST.Region
realToFracPrelude
reAnnotateElara.Data.Pretty
reAnnotateSElara.Data.Pretty
RecClosureElara.Interpreter
recEnvElara.Interpreter
recipPrelude
recordTypeElara.Parse.Type
RecursiveElara.Core.Generic
RecursiveTypeAliasElara.Rename.Error
recursiveTypeAliasElara.Error.Codes, Elara.Error
RecursiveValueDetectedElara.Interpreter
reduceElara.TypeInfer.Type
remPrelude
removeNodeElara.Data.TopologicalGraph
removeSkolemsElara.TypeInfer.Generalise
removeTrailingWhitespaceElara.Data.Pretty
RenamedElara.AST.Phases.Renamed
RenamedBinaryOperator 
1 (Type/Class)Elara.AST.Phases.Renamed
2 (Data Constructor)Elara.AST.Phases.Renamed
RenamedDeclarationElara.AST.Phases.Renamed
RenamedDeclaration'Elara.AST.Phases.Renamed
RenamedDeclarationBodyElara.AST.Phases.Renamed
RenamedDeclarationBody'Elara.AST.Phases.Renamed
RenamedExprElara.AST.Phases.Renamed
RenamedExpr'Elara.AST.Phases.Renamed
RenamedExpressionExtensionElara.AST.Phases.Renamed
RenamedInParensElara.AST.Phases.Renamed
RenamedPatternElara.AST.Phases.Renamed
RenamedPattern'Elara.AST.Phases.Renamed
RenamedTypeElara.AST.Phases.Renamed
RenamedType'Elara.AST.Phases.Renamed
RenamedTypeDeclarationElara.AST.Phases.Renamed
RenameErrorElara.Rename.Error
renameExprElara.Rename
RenameState 
1 (Type/Class)Elara.Rename.State
2 (Data Constructor)Elara.Rename.State
renderMonotypeElara.TypeInfer.Render
renderPolytypeElara.TypeInfer.Render
renderStrictElara.Data.Pretty
renderTypeElara.TypeInfer.Render
renderTypeNameElara.TypeInfer.Render
repeatPrelude
replaceNodeElara.Data.TopologicalGraph
replaceNodeAtElara.Data.TopologicalGraph
replicatePrelude
replicateMPrelude
replicateM_Prelude
reportCodeElara.Error
reportElaraWarningElara.Error
reportMarkersElara.Error
reportMessageElara.Error
reportNotesElara.Error
reportSeverityElara.Error
reportsToDiagnosticElara.Error.Diagnose
RequiredDeclarationByNameElara.Query
RequiredDeclNotFoundElara.Error.Internal
reservedWordsElara.Parse.Expression
resetGlobalUniqueSupplyElara.Data.Unique
resolveModulesElara
resolvePartialDeclarationElara.Desugar
restElara.Lexer.Utils
retagElara.AST.Location
ReturnElara.JVM.IR
returnPrelude
reversePrelude
RightPrelude
RightAssociativeElara.Shunt.Operator
rightAssociativeAnnotationNameElara.Prim
rightsPrelude
rightToMaybePrelude
rnfPrelude
Rock 
1 (Type/Class)Rock
2 (Data Constructor)Rock
rootElara.SCC.Type
roundPrelude
rparenElara.Data.Pretty
RulesRock
rulesElara.Rules
runElara.Interpreter
runErrorAsElaraErrorElara.Error
runExceptTPrelude
runFreeVarsQueryElara.SCC
runGetANFCoreModuleQueryElara.CoreToCore
runGetClosureLiftedModuleQueryElara.Core.LiftClosures
runGetCoreModuleQueryElara.ToCore
runGetDataConQueryElara.ToCore
runGetFileContentsQueryElara.ReadFile
runGetFinalisedCoreModuleQueryElara.CoreToCore
runGetJVMClassBytesQueryElara.JVM.Query
runGetJVMClassFilesQueryElara.JVM.Query
runGetJVMIRModuleQueryElara.JVM.Query
runGetOpInfoQueryElara.Shunt
runGetOpTableInQueryElara.Shunt
runGetOptimisedCoreModuleQueryElara.CoreToCore
runGetTyConQueryElara.ToCore
runGetTypeAliasQueryElara.TypeInfer
runIdentityPrelude
runIdentityTPrelude
runInferSCCQueryElara.TypeInfer
runInterpreter 
1 (Function)Elara.Interpreter
2 (Function)Elara
runInterpreterOutputElara.Interpreter
runKindOfQueryElara.TypeInfer
runLiftClosuresElara.Core.LiftClosures
runLogToStdoutAndFileElara.Pipeline
runMaybeTPrelude
RunPhaseElara.Query
runReachableSubgraphQueryElara.SCC
runReaderTPrelude
runRockRock
runStateTPrelude
runTraceableElara.Logging
runTypeCheckedDeclarationQueryElara.TypeInfer
runTypeCheckedExprQueryElara.TypeInfer
runTypeOfQueryElara.TypeInfer
runWriterAsElaraWarningElara.Error
RustStyleElara.ModuleIndex
SafeGPlatePrelude
sameCtorElara.Query
samePrecedenceElara.Error.Codes, Elara.Error
SamePrecedenceErrorElara.Shunt.Error
SAnnPopElara.Data.Pretty
SAnnPushElara.Data.Pretty
satisfyMapElara.Parse.Primitives
scalarElara.Data.Pretty.Styles
scanlPrelude
scanl'Prelude
scanl1Prelude
scanrPrelude
scanr1Prelude
sccContainingRootElara.SCC
SCCKeyElara.SCC.Type
sccKeyFromSCCElara.SCC.Type
SCCKeyOfElara.Query
sccKeyToSCCElara.SCC.Type
SCharElara.Data.Pretty
sconcatPrelude
scopedEffectful.State.Extra
scopedOverLocalsElara.Interpreter
secondPrelude
SecondaryMarkerElara.Error
semiElara.Data.Pretty
SemigroupPrelude
SEmptyElara.Data.Pretty
sepElara.Data.Pretty
sepBy1'Elara.Parse.Combinators
sepEndBy1'Elara.Parse.Combinators
SeqPrelude
seqPrelude
sequencePrelude
sequenceAPrelude
sequenceA_Prelude
sequence_Prelude
SetPrelude
SetFieldElara.JVM.IR
setMonotypeLocElara.TypeInfer.Type
SFailElara.Data.Pretty
ShallowElara.Data.Pretty
ShortByteStringPrelude
ShowPrelude
showPrelude
showColoredPrint
showPrettyPrint
showPrettyUnannotatedPrint
showSourceLocElara.Logging
showStackTracePrelude
showTimestampsElara.Logging
ShuntedElara.AST.Phases.Shunted
ShuntedDeclarationElara.AST.Phases.Shunted
ShuntedExprElara.AST.Phases.Shunted
ShuntedExpr'Elara.AST.Phases.Shunted
ShuntedPatternElara.AST.Phases.Shunted
ShuntedPattern'Elara.AST.Phases.Shunted
ShuntedTypeElara.AST.Phases.Shunted
ShuntedTypeDeclarationElara.AST.Phases.Shunted
ShuntErrorElara.Shunt.Error
shuntExprElara.Shunt
ShuntPipelineEffectsElara.Shunt
ShuntWarningElara.Shunt.Error
signumPrelude
simplePrelude
SimpleDocStreamElara.Data.Pretty
simpleEqualityElara.TypeInfer.Type
simpleTokElara.Lexer.Action
sinPrelude
singleLineCommentElara.Lexer.Action
sinhPrelude
skipIndentsElara.Parse.Stream
SkolemVarElara.TypeInfer.Type
slashElara.Data.Pretty
SLineElara.Data.Pretty
sndPrelude
softlineElara.Data.Pretty
softline'Elara.Data.Pretty
solveConstraintElara.TypeInfer.ConstraintGeneration
somePrelude
SomeException 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
SomeNat 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
someNatValPrelude
sortPrelude
sortByPrelude
sortNubPrelude
sortOnPrelude
sortWithPrelude
sourceElara.Core.TypeCheck
sourceDirsElara.Settings
sourceFileElara.AST.Region
sourceFilesElara
SourceRegionElara.AST.Region
sourceRegionElara.AST.Region
sourceRegionToDiagnosePositionElara.AST.Region
sourceRegionToSourcePosElara.Parse.Stream
spaceElara.Data.Pretty
spanPrelude
spanAsElara.AST.Location
spanningRegionElara.AST.Region
splitAtPrelude
splitForAllsElara.Core.Analysis
splitQualNameElara.Lexer.Utils
spToPositionElara.AST.Region
sqrtPrelude
squoteElara.Data.Pretty
squotesElara.Data.Pretty
StandardQueryEffectsElara.Query.Effects
StandardQueryErrorElara.Query.Errors
startPosElara.AST.Region
startWhiteElara.Lexer.Utils
statePrelude
StateSourceElara.Interpreter
stateSourceElara.Interpreter
StateT 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
StaticMethodElara.JVM.Lower.Function
StaticRepRock
stderrPrelude
stdinPrelude
stdoutPrelude
STextElara.Data.Pretty
stimesPrelude
stimesIdempotentPrelude
stimesIdempotentMonoidPrelude
stimesMonoidPrelude
STMPrelude
strictDecodePrelude
String 
1 (Type/Class)Prelude
2 (Data Constructor)Elara.Core
3 (Data Constructor)Elara.Interpreter
stringBufElara.Lexer.Utils
stringConElara.Prim.Core
stringLiteralElara.Parse.Literal
stringSCElara.Lexer.Lexer
stringTypeNameElara.JVM.Emit.Types
stripTagElara.AST.Location
StructuredDebugElara.Logging
structuredDebugToLogElara.Logging
structuredDebugToLogWithElara.Logging
subsequencesPrelude
substElara.CoreToCore
SubstitutableElara.TypeInfer.Type
SubstitutableExpr 
1 (Type/Class)Elara.TypeInfer.Substitute
2 (Data Constructor)Elara.TypeInfer.Substitute
substituteElara.TypeInfer.Type
substituteAllElara.TypeInfer.Type
substituteAllContextStackElara.TypeInfer.Type
substituteContextStackElara.TypeInfer.Type
Substitution 
1 (Type/Class)Elara.TypeInfer.Type
2 (Data Constructor)Elara.TypeInfer.Type
substitutionElara.TypeInfer.Type
substTypeElara.Core.Analysis
substTypeVarElara.Core
SubsumesElara.AST.Location
SubtractElara.JVM.IR
subtractPrelude
succPrelude
Sum 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
sumPrelude
SuperElara.JVM.IR
surroundElara.Data.Pretty
swapPrelude
swapMVarPrelude
swapTMVarPrelude
SymOpElara.AST.Types
tagElara.AST.Location
TaggedLocate 
1 (Type/Class)Elara.AST.Location
2 (Data Constructor)Elara.AST.Location
taggedLocatedElara.Parse.Primitives
tagLocatedElara.AST.Location
tagQueryElara.Query
tailPrelude
tailsPrelude
takePrelude
takeMVarPrelude
takeTMVarPrelude
takeWhilePrelude
tanPrelude
tanhPrelude
TAppElara.AST.Types
TermVarKeyElara.TypeInfer.Environment
TextPrelude
TExtensionElara.AST.Types
TFunElara.AST.Types
thenSiteElara.TypeInfer.Context
ThisElara.JVM.IR
thisClassNameElara.JVM.Emit.State
throwSTMPrelude
ThunkElara.Interpreter
ThunkStateElara.Interpreter
TListElara.AST.Types
TMVarPrelude
toPrelude
ToANFElara.Core.ToANF
toANFElara.Core.ToANF
toANF'Elara.Core.ToANF
toANFContElara.Core.ToANF
toANFRecElara.Core.ToANF
toDiagnoseReportsElara.Error.Diagnose
TODOTODO
todoTODO
toEnumPrelude
toExceptionPrelude
toHeadAndTailElara.Data.AtLeast2List
toIntegerPrelude
toIntegralSizedPrelude
TokenElara.Lexer.Token
tokenElara.Parse.Primitives
TokenAliasElara.Lexer.Token
TokenAsElara.Lexer.Token
TokenAtElara.Lexer.Token
TokenBackslashElara.Lexer.Token
TokenBacktickElara.Lexer.Token
TokenCaseElara.Lexer.Token
TokenCharElara.Lexer.Token
TokenClassElara.Lexer.Token
TokenColonElara.Lexer.Token
TokenCommaElara.Lexer.Token
TokenConstructorIdentifierElara.Lexer.Token
TokenDataElara.Lexer.Token
TokenDedentElara.Lexer.Token
TokenDefElara.Lexer.Token
TokenDerivingElara.Lexer.Token
TokenDotElara.Lexer.Token
TokenDoubleColonElara.Lexer.Token
TokenDoubleRightArrowElara.Lexer.Token
TokenElseElara.Lexer.Token
tokenEndsExprElara.Lexer.Token
TokenEOFElara.Lexer.Token
TokenEqualsElara.Lexer.Token
TokenExposingElara.Lexer.Token
TokenFloatElara.Lexer.Token
TokenForallElara.Lexer.Token
TokenHashElara.Lexer.Token
TokenHidingElara.Lexer.Token
TokenIfElara.Lexer.Token
TokenImportElara.Lexer.Token
TokenInElara.Lexer.Token
TokenIndentElara.Lexer.Token
TokenInstanceElara.Lexer.Token
TokenIntElara.Lexer.Token
TokenLeftArrowElara.Lexer.Token
TokenLeftBraceElara.Lexer.Token
TokenLeftBracketElara.Lexer.Token
TokenLeftParenElara.Lexer.Token
tokenLengthElara.Parse.Stream
TokenLetElara.Lexer.Token
TokenLineSeparatorElara.Lexer.Token
TokenMatchElara.Lexer.Token
TokenModuleElara.Lexer.Token
TokenOfElara.Lexer.Token
TokenOperatorIdentifierElara.Lexer.Token
TokenPipeElara.Lexer.Token
TokenQConstructorIdentifierElara.Lexer.Token
TokenQOperatorIdentifierElara.Lexer.Token
TokenQualifiedElara.Lexer.Token
TokenQVariableIdentifierElara.Lexer.Token
tokenReprElara.Lexer.Token
TokenRightArrowElara.Lexer.Token
TokenRightBraceElara.Lexer.Token
TokenRightBracketElara.Lexer.Token
TokenRightParenElara.Lexer.Token
tokensConsumedElara.Parse.Stream
TokenSemicolonElara.Lexer.Token
TokenStream 
1 (Type/Class)Elara.Parse.Stream
2 (Data Constructor)Elara.Parse.Stream
tokenStreamInputElara.Parse.Stream
tokenStreamTokensElara.Parse.Stream
TokenStringElara.Lexer.Token
TokenThenElara.Lexer.Token
TokenTypeElara.Lexer.Token
TokenUnderscoreElara.Lexer.Token
TokenVariableIdentifierElara.Lexer.Token
TokenWhereElara.Lexer.Token
TokenWithElara.Lexer.Token
token_Elara.Parse.Primitives
TokPositionElara.Lexer.Token
toLazyPrelude
toList 
1 (Function)Prelude
2 (Function)Elara.Data.AtLeast2List
toListOfPrelude
ToLTextPrelude
toLTextPrelude
ToNameElara.AST.Name
toNameElara.AST.Name
toNonEmptyElara.Data.AtLeast2List
tooManyDeclarationsElara.Error.Codes, Elara.Error
TooMuchIndentationElara.Lexer.Utils
tooMuchIndentationElara.Error.Codes, Elara.Error
TopLevelBindElara.Core.ANF
TopologicalGraph 
1 (Type/Class)Elara.Data.TopologicalGraph
2 (Data Constructor)Elara.Data.TopologicalGraph
TopTypeBinderElara.AST.Phase
TopValueBinderElara.AST.Phase
toRationalPrelude
toShortPrelude
toStrictPrelude
ToStringPrelude
toStringPrelude
ToTextPrelude
toTextPrelude
tracePrelude
TraceableFn 
1 (Type/Class)Elara.Logging
2 (Data Constructor)Elara.Logging
traceFnElara.Logging
traceIdPrelude
traceMPrelude
tracePrettyPrint
traceShowPrelude
traceShowIdPrelude
traceShowMPrelude
traceShowWithPrelude
tracingRulesRock.Memo
transformPrelude
transformMOfPrelude
transformOfPrelude
transformOf'Prelude
translateEscapedCharElara.Lexer.Char
translateOperatorNameElara.JVM.Emit.Operator
translationsElara.JVM.Emit.Operator
transposePrelude
TraversablePrelude
TraversalPrelude
Traversal'Prelude
traversalVLPrelude
traversePrelude
traverseBindElara.Core.Generic
traversedPrelude
traverseExpressionExtensionExprsElara.AST.Traversal
traverseExprExprsElara.AST.Traversal
TraverseExtensionsElara.AST.Traversal
traverseGraphElara.Data.TopologicalGraph
traverseGraphRevTopologicallyElara.Data.TopologicalGraph
traverseGraphRevTopologically_Elara.Data.TopologicalGraph
traverseGraphTopologicallyElara.Data.TopologicalGraph
traverseGraphTopologically_Elara.Data.TopologicalGraph
traverseGraph_Elara.Data.TopologicalGraph
traverseOfPrelude
traversePatternExtensionPatsElara.AST.Traversal
traversePatternPatsElara.AST.Traversal
traverseTypeExtensionTypesElara.AST.Traversal
traverseTypeTypesElara.AST.Traversal
traverse_Prelude
TRecordElara.AST.Types
triggerBlockLayoutElara.Lexer.Utils
triggerIndentLayoutElara.Lexer.Utils
TruePrelude
trueCtorElara.Prim.Core
trueCtorNameElara.Prim
truncatePrelude
tryPutMVarPrelude
tryPutTMVarPrelude
tryReadMVarPrelude
tryReadTMVarPrelude
tryTakeMVarPrelude
tryTakeTMVarPrelude
TUnitElara.AST.Types
tuple2ConElara.Prim.Core
tuple2CtorNameElara.Prim
tupledElara.Data.Pretty
TupleExpressionElara.AST.Extensions
TupleExprExtensionElara.AST.Extensions
tupleNCtorNameElara.Prim
TuplePatternElara.AST.Extensions
TuplePatternTooShortElara.Desugar.Error
tuplePatternTooShortElara.Error.Codes, Elara.Error
TupleTypeElara.AST.Extensions
tupleTypeElara.Parse.Type
TupleTypeExtensionElara.AST.Extensions
TUserDefinedElara.AST.Types
TVar 
1 (Type/Class)Prelude
2 (Data Constructor)Elara.AST.Types
tvKindElara.Core
tvNameElara.Core
TyADTElara.Core
TyAliasElara.Core
TyApp 
1 (Data Constructor)Elara.Core
2 (Data Constructor)Elara.Core.ANF
TyCon 
1 (Type/Class)Elara.Core
2 (Data Constructor)Elara.Core
TyConDetailsElara.Core
TyLam 
1 (Data Constructor)Elara.Core
2 (Data Constructor)Elara.Core.ANF
Type 
1 (Type/Class)Elara.TypeInfer.Type
2 (Type/Class)Elara.Core
3 (Type/Class)Elara.AST.Types
4 (Data Constructor)Elara.AST.Types
Type'Elara.AST.Types
type'Elara.Parse.Type
TypeablePrelude
typeArityElara.Core
typeBodyElara.Core.Module
typeCheckCoreModuleElara.Core.TypeCheck
TypeCheckedDeclarationElara.Query
TypeCheckedExprElara.Query
TypeCheckErrorElara.Core.TypeCheck
TypeConstructorElara.TypeInfer.Type
TypeConstructorMismatchElara.TypeInfer.Error
typeConstructorMismatchElara.Error.Codes, Elara.Error
TypeConvertErrorElara.TypeInfer.Convert
TypedElara.AST.Phases.Typed
TypedDeclarationElara.AST.Phases.Typed
TypedDeclaration'Elara.AST.Phases.Typed
TypedDeclarationBodyElara.AST.Phases.Typed
TypedDeclarationBody'Elara.AST.Phases.Typed
TypeDeclarationElara.AST.Types
typeDeclarationElara.Parse.Declaration
TypeDeclarationBodyElara.AST.Types
TypeDeclMetadataElara.AST.Phase
typeDependenciesElara.SCC
TypedExprElara.AST.Phases.Typed
TypedExpr'Elara.AST.Phases.Typed
TypedLambdaParam 
1 (Type/Class)Elara.AST.Types, Elara.AST.Phases.Renamed
2 (Data Constructor)Elara.AST.Types, Elara.AST.Phases.Renamed
TypedPatternElara.AST.Phases.Typed
TypedPattern'Elara.AST.Phases.Typed
TypedTypeElara.AST.Phases.Typed
TypedType'Elara.AST.Phases.Typed
TypedTypeDeclarationElara.AST.Phases.Typed
TypeEnvironment 
1 (Type/Class)Elara.TypeInfer.Environment
2 (Data Constructor)Elara.TypeInfer.Environment
TypeEnvKeyElara.TypeInfer.Environment
TypeKindElara.Data.Kind
TypeLocElara.AST.Location
typeLocElara.TypeInfer.Type
TypeMetaElara.AST.Phase
TypeMismatch 
1 (Data Constructor)Elara.TypeInfer.Error
2 (Data Constructor)Elara.Interpreter
typeMismatchElara.Error.Codes, Elara.Error
TypeName 
1 (Type/Class)Elara.AST.Name
2 (Data Constructor)Elara.AST.Name
typeNameElara.Data.Pretty.Styles
typeNamesElara.Rename.State
TypeNodeElara.AST.Location
typeNotApplicationElara.Parse.Type
TypeOccurrenceElara.AST.Phase
TypeOfElara.Query
typeRegion 
1 (Function)Elara.Parse.Type
2 (Function)Elara.Parse.Declaration
TypeSyntaxExtensionElara.AST.Phase
typeTermElara.Parse.Type
TypeVar 
1 (Data Constructor)Elara.TypeInfer.Type
2 (Type/Class)Elara.Data.Kind
typeVarElara.Parse.Type
TypeVariable 
1 (Type/Class)Elara.TypeInfer.Type
2 (Type/Class)Elara.Core
3 (Data Constructor)Elara.Core
4 (Type/Class)Elara.AST.Phase
TypeVarInPatternElara.JVM.Error
typeVars 
1 (Function)Elara.Rename.State
2 (Function)Elara.Core.Module
TyVarElara.Core
TyVarInTermPositionElara.Core.LiftClosures.Error, Elara.Core.LiftClosures
TyVarTyElara.Core
ueActualElara.TypeInfer.Error
ueActualUsageElara.TypeInfer.Error
ueConstraintSiteElara.TypeInfer.Error
ueContextElara.TypeInfer.Error
ueExpectedElara.TypeInfer.Error
ueExpectedUsageElara.TypeInfer.Error
ueKindElara.TypeInfer.Error
unANFElara.CoreToCore
unAnnotateElara.Data.Pretty
unAnnotateSElara.Data.Pretty
UnaryOpElara.JVM.IR
UnboundedElara.Data.Pretty
unboundKindVarElara.Error.Codes, Elara.Error
UnboundLocalVarElara.TypeInfer.Environment
UnboundTermVarElara.TypeInfer.Environment
UnboundVarElara.Data.Kind.Infer
UnboundVariableElara.Interpreter
unconsPrelude
uncurryPrelude
uncurry3Elara.Utils
Undefined 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
undefinedPrelude
UndefinedErrorElara.JVM.IR
undefinedIdElara.Prim.Core
UnevaluatedElara.Interpreter
unfoldrPrelude
UnhandledExprElara.Interpreter
UnicodeExceptionPrelude
UnificationErrorElara.Core.TypeCheck
UnificationVarElara.TypeInfer.Type
unifyElara.TypeInfer.ConstraintGeneration
UnifyError 
1 (Type/Class)Elara.TypeInfer.Error
2 (Data Constructor)Elara.TypeInfer.Error
UnifyErrorKindElara.TypeInfer.Error
UnifyMismatchElara.TypeInfer.Error
Unique 
1 (Type/Class)Elara.Data.Unique
2 (Data Constructor)Elara.Data.Unique
Unique'Elara.Data.Unique
UniqueGenElara.Data.Unique.Effect
uniqueGenToGlobalIOElara.Data.Unique.Effect
uniqueGenToIORefElara.Data.Unique.Effect
uniqueGenToStateElara.Data.Unique.Effect
UniqueId 
1 (Type/Class)Elara.Data.Unique
2 (Data Constructor)Elara.Data.Unique
uniqueIdElara.Data.Unique
uniqueIdToTyVarElara.TypeInfer.Unique
UniqueNameElara.AST.Name
UniqueSupply 
1 (Type/Class)Elara.Data.Unique
2 (Data Constructor)Elara.Data.Unique
uniqueSupplyUniquesElara.Data.Unique
uniqueToTextElara.Data.Unique
UniqueTyVarElara.TypeInfer.Unique, Elara.TypeInfer.Type
uniqueValElara.Data.Unique
UnitElara.Core
unitElara.Parse.Type
unitConElara.Prim.Core
unitCtorElara.Prim.Core
unitCtorNameElara.Prim
unitLiteralElara.Parse.Literal
universePrelude
universeNonEmptyPrelude
UnknownCurrentModuleElara.Rename.Error
unknownCurrentModuleElara.Error.Codes, Elara.Error
unknownDataConstructorElara.Error.Codes, Elara.Error
UnknownKindElara.Data.Kind.Infer
unknownKindElara.Error.Codes, Elara.Error
unknownLambdaTypeElara.Error.Codes, Elara.Error
UnknownModuleElara.Rename.Error
unknownModuleElara.Error.Codes, Elara.Error
UnknownName 
1 (Data Constructor)Elara.JVM.Emit.State
2 (Data Constructor)Elara.Rename.Error
unknownNameElara.Error.Codes, Elara.Error
UnknownOperatorElara.Shunt.Error
unknownOperatorElara.Error.Codes, Elara.Error
UnknownPrecedenceElara.Shunt.Error
unknownPrecedenceElara.Error.Codes, Elara.Error
unknownPrimConstructorElara.Error.Codes, Elara.Error
UnknownPrimitiveElara.Interpreter
unknownTypeConstructorElara.Error.Codes, Elara.Error
UnknownTypeVariableElara.Rename.Error
unknownTypeVariableElara.Error.Codes, Elara.Error
UnknownVariableElara.Core.TypeCheck
unknownVariable 
1 (Function)Elara.Error.Codes, Elara.Error
2 (Function)Elara.Core.TypeCheck
unknownVariableScopeElara.Core.TypeCheck
unknownVariableTCElara.Error.Codes, Elara.Error
unlessPrelude
unlessMPrelude
unlinesPrelude
UnlocateElara.AST.Region
unlocatedElara.AST.Region
UnlocatedVarRefElara.AST.VarRef
UnlocatedVarRefKindElara.AST.VarRef
unPrettyDbgElara.Parse.Debug
Unqualified 
1 (Type/Class)Elara.AST.Name
2 (Data Constructor)Elara.AST.Name
unqualifiedElara.AST.Name
unqualifiedVarNameElara.Parse.Names
UnresolvedConstraintElara.TypeInfer.Error
UnsafeMkSourceRegionElara.AST.Region
unsafeMkUniqueElara.Data.Unique
unsafeTokenFloatElara.Lexer.Token
unsafeTokenIntElara.Lexer.Token
unsafeTokenTextElara.Lexer.Token
unsafeViaShowElara.Data.Pretty
unsolvedTypeSnuckInElara.Error.Codes, Elara.Error
unstableNubPrelude
UnsupportedExpressionTypeElara.JVM.Error
UnsupportedLiteralElara.JVM.Error
UnsupportedTypeElara.JVM.Error
UnterminatedStringLiteralElara.Lexer.Utils
unterminatedStringLiteralElara.Error.Codes, Elara.Error
unwordsPrelude
unWParseErrorBundleElara.Parse.Error
UnwrapElara.Data.Unwrap
unwrapElara.Data.Unwrap
unwrapLocElara.AST.Location
UnwrapNodeLocElara.AST.Location
unzipPrelude
unzip3Prelude
use'Effectful.State.Extra
uselessLetInlineElara.CoreToCore
usingReaderPrelude
usingReaderTPrelude
usingStatePrelude
usingStateTPrelude
vacuousPrelude
validateConstExprElara.Parse.Annotation
ValueElara.Interpreter
ValueBinderElara.AST.Phase
ValueDeclarationElara.AST.Types
ValueDeclMetadataElara.AST.Phase
ValueDeclPatternsElara.AST.Phase
ValueDeclTypeAnnotationElara.AST.Phase
valueDependenciesElara.SCC
ValueOccurrenceElara.AST.Phase
Var 
1 (Data Constructor)Elara.Core
2 (Type/Class)Elara.Core
3 (Data Constructor)Elara.Core.ANF
VariableExtensionElara.AST.Phase
VariableNotFoundElara.Core.LiftClosures.Error, Elara.Core.LiftClosures
varIdElara.Parse.Names
VarKindElara.Data.Kind
VarLocElara.AST.Location
VarNameElara.AST.Name
varName 
1 (Function)Elara.Data.Pretty.Styles
2 (Function)Elara.Parse.Names
varNamesElara.Rename.State
VarNodeElara.AST.Location
varOrConNameElara.Parse.Names
VarRefElara.AST.VarRef
VarRef'Elara.AST.VarRef
VarRefImplElara.AST.VarRef
VarRefKindElara.AST.VarRef
varRefValElara.AST.VarRef
varRefVal'Elara.AST.VarRef
varTermTypeElara.Core.LiftClosures.Util
varTypeElara.Core.Analysis
vcatElara.Data.Pretty
vertexFromKeyElara.Data.TopologicalGraph
viaNonEmptyPrelude
viaShowElara.Data.Pretty
viewPrelude
VoidPrelude
voidPrelude
VPrimOpElara.Interpreter
vsepElara.Data.Pretty
WarningElara.Logging
warningElara.Data.Pretty.Styles
WarningSeverityElara.Error
whenPrelude
whenJustPrelude
whenJustMPrelude
whenLeftPrelude
whenLeftMPrelude
whenLeftM_Prelude
whenLeft_Prelude
whenMPrelude
whenNothingPrelude
whenNothingMPrelude
whenNothingM_Prelude
whenNothing_Prelude
whenNotNullPrelude
whenNotNullMPrelude
whenRightPrelude
whenRightMPrelude
whenRightM_Prelude
whenRight_Prelude
wholeExprElara.Parse.Error
WidenElara.AST.Location
widenElara.AST.Location
widthElara.Data.Pretty
WiredInBoolElara.Prim
WiredInListElara.Prim
WiredInOrderingElara.Prim
WiredInPrimElara.Prim
wiredInPrimCtorsElara.Prim
WiredInTuple2Elara.Prim
wiredInTyConElara.Prim.Core
WiredInUnitElara.Prim
withCompilerEnvElara
withFilePrelude
withFrozenCallStackPrelude
withLocalTypeElara.TypeInfer.Environment
withLocationOfElara.AST.Region
withNameElara.AST.VarRef
withName'Elara.AST.VarRef
withNamespaceElara.Logging
withoutMemoisationRock.Memo
withOverriddenNamespaceElara.Logging
withPredicateElara.Parse.Primitives
withReaderPrelude
withReaderTPrelude
WithRock 
1 (Type/Class)Elara.Query
2 (Type/Class)Elara.Query.Common
withStatePrelude
WordPrelude
Word16Prelude
Word32Prelude
Word64Prelude
Word8Prelude
wordsPrelude
WParseErrorBundle 
1 (Type/Class)Elara.Parse.Error
2 (Data Constructor)Elara.Parse.Error
wrapElara.AST.Location
WrapNodeElara.AST.Location
WrappedMonoidPrelude
writeFilePrelude
writeFileBSPrelude
writeFileLBSPrelude
writeFileLTextPrelude
writeFileTextPrelude
writeIORefPrelude
WriteModePrelude
writeTVarPrelude
xorPrelude
zipPrelude
zip3Prelude
ZipList 
1 (Type/Class)Prelude
2 (Data Constructor)Prelude
zipWithPrelude
zipWithMPrelude
zipWithM_Prelude
^Prelude
^.Prelude
^..Prelude
^?Prelude
^^Prelude
_1Prelude
_2Prelude
_3Prelude
_columnElara.AST.Region
_CtorPrelude
_Ctor'Prelude
_EmptyPrelude
_endPosElara.AST.Region
_GeneratedPositionElara.AST.Region
_GeneratedRegionElara.AST.Region
_IgnoreLocationElara.AST.Region
_JustPrelude
_LeftPrelude
_lineElara.AST.Region
_LocatedElara.AST.Region
_maybeQualifiedNameElara.AST.Name
_maybeQualifiedQualifierElara.AST.Name
_moduleGraphElara.Data.TopologicalGraph
_nodeFromVertexElara.Data.TopologicalGraph
_NothingPrelude
_partialDeclarationsElara.Desugar
_qualifiedNameElara.AST.Name
_RealPositionElara.AST.Region
_RealSourceRegionElara.AST.Region
_RightPrelude
_sourceFileElara.AST.Region
_startPosElara.AST.Region
_uniqueSupplyUniquesElara.Data.Unique
_unqualifiedNameElara.AST.Name
_vertexFromKeyElara.Data.TopologicalGraph
||Prelude
||^Prelude
~Prelude