| !!? | 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 |
| abs | Prelude |
| absurd | Prelude |
| acos | Prelude |
| acosh | Prelude |
| actual | |
| 1 (Function) | Elara.Interpreter |
| 2 (Function) | Elara.Core.TypeCheck |
| actualArgumentType | Elara.TypeInfer.Context |
| Add | Elara.JVM.IR |
| addLocalType | Elara.TypeInfer.Environment |
| addNode | Elara.Data.TopologicalGraph |
| addType | Elara.TypeInfer.Environment |
| addType' | Elara.TypeInfer.Environment |
| ADT | Elara.AST.Types |
| adt | Elara.Parse.Declaration |
| AExpr | |
| 1 (Data Constructor) | Elara.Core.ANF |
| 2 (Type/Class) | Elara.Core.ANF |
| AffineTraversal | Prelude |
| AffineTraversal' | Prelude |
| AlexA# | Elara.Lexer.Lexer |
| AlexAcc | |
| 1 (Type/Class) | Elara.Lexer.Lexer |
| 2 (Data Constructor) | Elara.Lexer.Lexer |
| AlexAccNone | Elara.Lexer.Lexer |
| AlexAccSkip | Elara.Lexer.Lexer |
| AlexAddr | Elara.Lexer.Lexer |
| AlexEOF | Elara.Lexer.Lexer |
| AlexError | Elara.Lexer.Lexer |
| alexGetByte | Elara.Lexer.Utils |
| alexIndexInt16OffAddr | Elara.Lexer.Lexer |
| alexIndexInt32OffAddr | Elara.Lexer.Lexer |
| AlexInput | Elara.Lexer.Utils |
| AlexLastAcc | |
| 1 (Type/Class) | Elara.Lexer.Lexer |
| 2 (Data Constructor) | Elara.Lexer.Lexer |
| AlexLastSkip | Elara.Lexer.Lexer |
| AlexNone | Elara.Lexer.Lexer |
| AlexReturn | Elara.Lexer.Lexer |
| alexScan | Elara.Lexer.Lexer |
| alexScanUser | Elara.Lexer.Lexer |
| AlexSkip | Elara.Lexer.Lexer |
| AlexToken | Elara.Lexer.Lexer |
| alex_accept | Elara.Lexer.Lexer |
| alex_actions | Elara.Lexer.Lexer |
| alex_action_0 | Elara.Lexer.Lexer |
| alex_action_1 | Elara.Lexer.Lexer |
| alex_action_10 | Elara.Lexer.Lexer |
| alex_action_11 | Elara.Lexer.Lexer |
| alex_action_12 | Elara.Lexer.Lexer |
| alex_action_13 | Elara.Lexer.Lexer |
| alex_action_14 | Elara.Lexer.Lexer |
| alex_action_15 | Elara.Lexer.Lexer |
| alex_action_16 | Elara.Lexer.Lexer |
| alex_action_17 | Elara.Lexer.Lexer |
| alex_action_18 | Elara.Lexer.Lexer |
| alex_action_19 | Elara.Lexer.Lexer |
| alex_action_2 | Elara.Lexer.Lexer |
| alex_action_20 | Elara.Lexer.Lexer |
| alex_action_21 | Elara.Lexer.Lexer |
| alex_action_22 | Elara.Lexer.Lexer |
| alex_action_23 | Elara.Lexer.Lexer |
| alex_action_24 | Elara.Lexer.Lexer |
| alex_action_25 | Elara.Lexer.Lexer |
| alex_action_26 | Elara.Lexer.Lexer |
| alex_action_27 | Elara.Lexer.Lexer |
| alex_action_28 | Elara.Lexer.Lexer |
| alex_action_29 | Elara.Lexer.Lexer |
| alex_action_3 | Elara.Lexer.Lexer |
| alex_action_30 | Elara.Lexer.Lexer |
| alex_action_31 | Elara.Lexer.Lexer |
| alex_action_32 | Elara.Lexer.Lexer |
| alex_action_33 | Elara.Lexer.Lexer |
| alex_action_34 | Elara.Lexer.Lexer |
| alex_action_35 | Elara.Lexer.Lexer |
| alex_action_36 | Elara.Lexer.Lexer |
| alex_action_37 | Elara.Lexer.Lexer |
| alex_action_38 | Elara.Lexer.Lexer |
| alex_action_39 | Elara.Lexer.Lexer |
| alex_action_4 | Elara.Lexer.Lexer |
| alex_action_40 | Elara.Lexer.Lexer |
| alex_action_41 | Elara.Lexer.Lexer |
| alex_action_42 | Elara.Lexer.Lexer |
| alex_action_43 | Elara.Lexer.Lexer |
| alex_action_44 | Elara.Lexer.Lexer |
| alex_action_45 | Elara.Lexer.Lexer |
| alex_action_46 | Elara.Lexer.Lexer |
| alex_action_47 | Elara.Lexer.Lexer |
| alex_action_48 | Elara.Lexer.Lexer |
| alex_action_49 | Elara.Lexer.Lexer |
| alex_action_5 | Elara.Lexer.Lexer |
| alex_action_50 | Elara.Lexer.Lexer |
| alex_action_51 | Elara.Lexer.Lexer |
| alex_action_52 | Elara.Lexer.Lexer |
| alex_action_53 | Elara.Lexer.Lexer |
| alex_action_54 | Elara.Lexer.Lexer |
| alex_action_55 | Elara.Lexer.Lexer |
| alex_action_56 | Elara.Lexer.Lexer |
| alex_action_57 | Elara.Lexer.Lexer |
| alex_action_58 | Elara.Lexer.Lexer |
| alex_action_59 | Elara.Lexer.Lexer |
| alex_action_6 | Elara.Lexer.Lexer |
| alex_action_7 | Elara.Lexer.Lexer |
| alex_action_8 | Elara.Lexer.Lexer |
| alex_base | Elara.Lexer.Lexer |
| alex_check | Elara.Lexer.Lexer |
| alex_deflt | Elara.Lexer.Lexer |
| alex_scan_tkn | Elara.Lexer.Lexer |
| alex_table | Elara.Lexer.Lexer |
| alex_tab_size | Elara.Lexer.Lexer |
| Alias | Elara.AST.Types |
| alias | Elara.Parse.Declaration |
| align | Elara.Data.Pretty |
| All | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| all | Prelude |
| allContexts | Elara.TypeInfer.Context |
| AllDecl | Elara.Desugar.Common |
| allEntries | Elara.Data.TopologicalGraph |
| allEntriesRevTopologically | Elara.Data.TopologicalGraph |
| allEntriesTopologically | Elara.Data.TopologicalGraph |
| allKnownTypes | Elara.Prim |
| allM | Prelude |
| allOpaquePrims | Elara.Prim |
| allWiredInPrims | Elara.Prim |
| Alt | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| 3 (Type/Class) | Elara.Core |
| 4 (Type/Class) | Elara.Core.ANF |
| alt | Elara.Core.TypeCheck |
| AltCon | Elara.Core |
| alterAnnotations | Elara.Data.Pretty |
| alterAnnotationsS | Elara.Data.Pretty |
| Alternative | Prelude |
| altType | Elara.Core.TypeCheck |
| ambiguousModulePath | Elara.Error.Codes, Elara.Error |
| ambiguousName | Elara.Error.Codes, Elara.Error |
| AmbiguousTypeName | Elara.Rename.Error |
| AmbiguousVarName | Elara.Rename.Error |
| analyzeCallStrategy | Elara.JVM.Lower.Function |
| And | Elara.JVM.IR |
| and | Prelude |
| andM | Prelude |
| ANFPrimOp | Elara.Core.ANF |
| angles | Elara.Data.Pretty |
| annotate | Elara.Data.Pretty |
| Annotation | |
| 1 (Type/Class) | Elara.AST.Types |
| 2 (Data Constructor) | Elara.AST.Types |
| annotation | Elara.Parse.Annotation |
| AnnotationArg | |
| 1 (Type/Class) | Elara.AST.Types |
| 2 (Data Constructor) | Elara.AST.Types |
| annotationArgs | Elara.AST.Types |
| annotationName | Elara.AST.Types |
| annotations | Elara.Parse.Annotation |
| annotationSite | Elara.TypeInfer.Context |
| AnsiStyle | Elara.Data.Pretty |
| Any | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| any | Prelude |
| anyM | Prelude |
| Ap | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| App | |
| 1 (Data Constructor) | Elara.Core |
| 2 (Data Constructor) | Elara.Core.ANF |
| appendFile | Prelude |
| appendFileBS | Prelude |
| appendFileLBS | Prelude |
| appendFileLText | Prelude |
| appendFileText | Prelude |
| AppendMode | Prelude |
| appendModule | Elara.AST.Name |
| appEndo | Prelude |
| appendToString | Elara.Lexer.Action |
| appendToStringWith | Elara.Lexer.Action |
| ApplicationExtension | Elara.AST.Phase |
| Applicative | Prelude |
| appliedTo | Prelude |
| apply | Elara.Interpreter |
| AppOfNonFunction | Elara.JVM.Error |
| AppTy | Elara.Core |
| argPosition | Elara.TypeInfer.Context |
| ArityMismatch | Elara.TypeInfer.Error |
| ArrayLength | Elara.JVM.IR |
| ArrayLoad | Elara.JVM.IR |
| AsCall | Elara.JVM.Lower.Function |
| AsConstructor | Prelude |
| AsConstructor' | Prelude |
| AsDeclaration | Elara.JVM.Lower.Function |
| asin | Prelude |
| asinh | Prelude |
| asks | Prelude |
| assertMonotype | Elara.TypeInfer.Convert |
| assertPartialNamesEqual | Elara.Desugar |
| Assign | Elara.JVM.IR |
| assign | Effectful.State.Extra |
| Associativity | Elara.Shunt.Operator |
| associativity | Elara.Shunt.Operator |
| associativityAnnotationName | Elara.Prim |
| AstNode | Elara.AST.Location |
| ASTQueryEffects | Elara.Query |
| ASTQueryType | Elara.Query |
| astTypeToGeneralisedInferType | Elara.TypeInfer.Convert |
| astTypeToInferType | Elara.TypeInfer.Convert |
| astTypeToInferType' | Elara.TypeInfer.Convert |
| astTypeToInferTypeWithKind | Elara.TypeInfer.Convert |
| asTypeOf | Prelude |
| asum | Prelude |
| asumMap | Prelude |
| At | Prelude |
| at | Prelude |
| atan | Prelude |
| atan2 | Prelude |
| atanh | Prelude |
| AtLeast2List | |
| 1 (Type/Class) | Elara.Data.AtLeast2List |
| 2 (Data Constructor) | Elara.Data.AtLeast2List |
| atomically | Prelude |
| atomicModifyIORef | Prelude |
| atomicModifyIORef' | Prelude |
| atomicModifyIORef'_ | Prelude |
| atomicModifyIORef_ | Prelude |
| atomicWriteIORef | Prelude |
| AvailablePerLine | Elara.Data.Pretty |
| AxiomScheme | Elara.TypeInfer.Type |
| A_Fold | Prelude |
| A_Setter | Prelude |
| A_Traversal | Prelude |
| Backend | Elara |
| backslash | Elara.Data.Pretty |
| backtraceDesired | Prelude |
| beginBlockComment | Elara.Lexer.Action |
| beginString | Elara.Lexer.Action |
| betaReduce | Elara.CoreToCore |
| biall | Prelude |
| biand | Prelude |
| biany | Prelude |
| biasum | Prelude |
| bielem | Prelude |
| bifind | Prelude |
| bifold | Prelude |
| Bifoldable | Prelude |
| bifoldl | Prelude |
| bifoldl' | Prelude |
| bifoldlM | Prelude |
| bifoldMap | Prelude |
| bifoldMapDefault | Prelude |
| bifoldr | Prelude |
| bifoldr' | Prelude |
| bifoldrM | Prelude |
| bifor | Prelude |
| bifor_ | Prelude |
| Bifunctor | Prelude |
| bilength | Prelude |
| biList | Prelude |
| bimap | Prelude |
| bimapDefault | Prelude |
| BinaryOp | Elara.JVM.IR |
| BinaryOperator | Elara.AST.Types |
| BinaryOperatorExpression | Elara.AST.Extensions |
| BinaryOperatorExtension | Elara.AST.Extensions |
| binaryOpLoc | Elara.Shunt.Error |
| Bind | |
| 1 (Type/Class) | Elara.Core.Generic |
| 2 (Type/Class) | Elara.Core |
| 3 (Type/Class) | Elara.Core.ANF |
| binders | Elara.Core.Generic |
| bindingName | Elara.TypeInfer.Context |
| bindingSite | Elara.TypeInfer.Context |
| bindPatternVars | Elara.JVM.Lower.Match |
| binds | Elara.Core.Generic |
| BinOp | Elara.JVM.IR |
| binull | Prelude |
| bior | Prelude |
| bisequence | Prelude |
| bisequence_ | Prelude |
| Bitraversable | Prelude |
| bitraverse | Prelude |
| bitraverse_ | Prelude |
| Block | |
| 1 (Type/Class) | Elara.JVM.IR |
| 2 (Data Constructor) | Elara.JVM.IR |
| block | Elara.Parse.Indents |
| BlockBuffering | Prelude |
| BlockEndsWithLet | Elara.Rename.Error |
| blockEndsWithLet | Elara.Error.Codes, Elara.Error |
| blockExpr | Elara.Parse.Indents |
| blockLabel | Elara.JVM.IR |
| blockParensIf | Elara.Data.Pretty |
| body | Elara.Interpreter |
| bold | Elara.Data.Pretty.Styles |
| Bool | Prelude |
| bool | Prelude |
| boolCon | Elara.Prim.Core |
| boolValue | Elara.Interpreter |
| both | Elara.Parse.Error |
| Bounded | Prelude |
| boundedEnumFrom | Prelude |
| boundedEnumFromThen | Prelude |
| bracedBlock | Elara.Data.Pretty |
| braces | Elara.Data.Pretty |
| brackets | Elara.Data.Pretty |
| branchIndex | Elara.TypeInfer.Context |
| branchSite | Elara.TypeInfer.Context |
| break | Prelude |
| BufferMode | Prelude |
| Bug | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| bug | Prelude |
| buildMatrix1 | Elara.ToCore.Match |
| buildModuleIndex | Elara.ModuleIndex |
| buildSCCs | Elara.SCC |
| builtin | Elara.Data.Pretty.Styles |
| ByteString | Prelude |
| byteSwap16 | Prelude |
| byteSwap32 | Prelude |
| byteSwap64 | Prelude |
| 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 |
| D# | Prelude |
| DataAlt | Elara.Core |
| DataCon | |
| 1 (Type/Class) | Elara.TypeInfer.Type |
| 2 (Type/Class) | Elara.Core |
| 3 (Data Constructor) | Elara.Core |
| DataConArityMismatch | Elara.JVM.Error |
| dataConDataType | Elara.Core |
| DataConKey | Elara.TypeInfer.Environment |
| dataConType | Elara.Core |
| dbgPretty | Elara.Parse.Debug |
| Debug | Elara.Logging |
| debug | Elara.Logging |
| debugColored | Print |
| debugColoredStr | Print |
| debugNS | Elara.Logging |
| debugPretty | Print |
| debugWith | Elara.Logging |
| debugWithNS | Elara.Logging |
| debugWithResult | |
| 1 (Function) | Elara.Logging |
| 2 (Function) | Print |
| Declaration | |
| 1 (Type/Class) | Elara.AST.Types |
| 2 (Data Constructor) | Elara.AST.Types |
| declaration | Elara.Parse.Declaration |
| Declaration' | |
| 1 (Type/Class) | Elara.AST.Types |
| 2 (Data Constructor) | Elara.AST.Types |
| DeclarationAnnotations | Elara.Query |
| DeclarationAnnotationsOfType | Elara.Query |
| DeclarationBody | |
| 1 (Type/Class) | Elara.AST.Types |
| 2 (Data Constructor) | Elara.AST.Types |
| DeclarationBody' | Elara.AST.Types |
| DeclarationByName | Elara.Query |
| declarations | Elara.Core.Module |
| declaredLambdaArity | Elara.Core.Analysis |
| declaredName | Elara.Parse.Error |
| declBody | Elara.AST.Types |
| DeclBodyExtension | |
| 1 (Type/Class) | Elara.AST.Phase |
| 2 (Data Constructor) | Elara.AST.Types |
| DeclLoc | Elara.AST.Location |
| declModuleName | Elara.AST.Types |
| DeclName | Elara.AST.Name |
| DeclNode | Elara.AST.Location |
| DeclType | Elara.AST.Name |
| DeclVar | Elara.AST.Name |
| decodeFloat | Prelude |
| decodeUtf8 | Prelude |
| decodeUtf8' | Prelude |
| decodeUtf8Strict | Prelude |
| decodeUtf8With | Prelude |
| dedentToken | Elara.Parse.Indents |
| Deep | Elara.Data.Pretty |
| deepseq | Prelude |
| DEFAULT | Elara.Core |
| defaultComparison | Prelude |
| defaultEquivalence | Prelude |
| defaultLayoutOptions | Elara.Data.Pretty |
| defaultLogConfig | Elara.Logging |
| defaultSettings | Elara.Settings |
| defaultWidth | Elara.Width |
| defDec | Elara.Parse.Declaration |
| DefWithoutLet | Elara.Desugar.Error |
| defWithoutLet | Elara.Error.Codes, Elara.Error |
| denominator | Prelude |
| dependencies | Elara.Data.TopologicalGraph |
| dependenciesOf | Elara.Data.TopologicalGraph |
| deriveHashableInstance | Elara.Query.TH |
| deriveSameCtor | Elara.Query.TH |
| Desugar | Elara.Desugar |
| desugar | Elara.Desugar |
| desugarAnnotation | Elara.Desugar |
| desugarAnnotationArg | Elara.Desugar |
| desugarBinaryOperator | Elara.Desugar |
| desugarBinaryOperatorExtension | Elara.Desugar |
| desugarDeclarations | Elara.Desugar |
| Desugared | Elara.AST.Phases.Desugared |
| DesugaredBinaryOperator | |
| 1 (Type/Class) | Elara.AST.Phases.Desugared |
| 2 (Data Constructor) | Elara.AST.Phases.Desugared |
| DesugaredDeclaration | Elara.AST.Phases.Desugared |
| DesugaredDeclaration' | Elara.AST.Phases.Desugared |
| DesugaredDeclarationBody | Elara.AST.Phases.Desugared |
| DesugaredDeclarationBody' | Elara.AST.Phases.Desugared |
| DesugaredExpr | Elara.AST.Phases.Desugared |
| DesugaredExpr' | Elara.AST.Phases.Desugared |
| DesugaredExpressionExtension | Elara.AST.Phases.Desugared |
| DesugaredInParens | Elara.AST.Phases.Desugared |
| DesugaredList | Elara.AST.Phases.Desugared |
| DesugaredModule | Elara.Query |
| DesugaredPattern | Elara.AST.Phases.Desugared |
| DesugaredPattern' | Elara.AST.Phases.Desugared |
| DesugaredTuple | Elara.AST.Phases.Desugared |
| DesugaredType | Elara.AST.Phases.Desugared |
| DesugaredType' | Elara.AST.Phases.Desugared |
| DesugaredTypeDeclaration | Elara.AST.Phases.Desugared |
| DesugarError | Elara.Desugar.Error |
| desugarExpr | Elara.Desugar |
| desugarExprExtension | Elara.Desugar |
| desugarPattern | Elara.Desugar |
| DesugarPipelineEffects | Elara.Desugar |
| DesugarState | |
| 1 (Type/Class) | Elara.Desugar |
| 2 (Data Constructor) | Elara.Desugar |
| desugarType | Elara.Desugar |
| desugarTypeDeclaration | Elara.Desugar |
| diagMarkerToElaraMarker | Elara.Parse.Error |
| diagnosePositionToSourceRegion | Elara.AST.Region |
| diagnosticCode | Elara.Error |
| diagnosticFromBundle | Elara.Parse.Error |
| diagnosticMarkers | Elara.Error |
| diagnosticMessage | Elara.Error |
| diagnosticNotes | Elara.Error |
| diagnosticReports | Elara.Error |
| diagnosticSeverity | Elara.Error |
| diagNoteToElaraNote | Elara.Parse.Error |
| diagReportToElaraReport | Elara.Parse.Error |
| die | Prelude |
| DirectCall | Elara.JVM.Lower.Function |
| displayException | Prelude |
| div | Prelude |
| Divide | Elara.JVM.IR |
| divMod | Prelude |
| Doc | Elara.Data.Pretty |
| dot | Elara.Data.Pretty |
| Double | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Elara.Core |
| 3 (Data Constructor) | Elara.Interpreter |
| doubleCon | Elara.Prim.Core |
| Down | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| dquote | Elara.Data.Pretty |
| dquotes | Elara.Data.Pretty |
| drop | Prelude |
| dropWhile | Prelude |
| Dual | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| DumpCore | Elara.Settings |
| DumpDesugared | Elara.Settings |
| DumpIR | Elara.Settings |
| DumpJVM | Elara.Settings |
| DumpLexed | Elara.Settings |
| DumpParsed | Elara.Settings |
| DumpQueryGraph | Elara.Settings |
| DumpRenamed | Elara.Settings |
| DumpShunted | Elara.Settings |
| dumpStages | Elara |
| DumpTarget | Elara.Settings |
| dumpTargets | Elara.Settings |
| DumpTyped | Elara.Settings |
| DuplicateDeclAfterDesugar | Elara.Error.Internal |
| DuplicateDeclaration | Elara.Desugar.Error |
| duplicateDefinition | Elara.Error.Codes, Elara.Error |
| duplicateFixityAnnotations | Elara.Error.Codes, Elara.Error |
| 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 |
| F# | Prelude |
| fail | Prelude |
| False | Prelude |
| falseCtor | Elara.Prim.Core |
| falseCtorName | Elara.Prim |
| fetch | Rock |
| Field | |
| 1 (Type/Class) | Elara.JVM.IR |
| 2 (Data Constructor) | Elara.JVM.IR |
| fieldName | Elara.JVM.IR |
| fieldNameForIndex | Elara.JVM.Lower.Util |
| FieldNotFound | Elara.JVM.Error |
| FieldRef | Elara.JVM.IR |
| fieldType | Elara.JVM.IR |
| FileContents | |
| 1 (Type/Class) | Elara.ReadFile |
| 2 (Data Constructor) | Elara.ReadFile |
| fileContents | Elara.ReadFile |
| fileNotFound | Elara.Error.Codes, Elara.Error |
| FilePath | Prelude |
| fileReadError | Elara.Error.Codes, Elara.Error |
| fileToModule | Elara.ModuleIndex |
| fill | Elara.Data.Pretty |
| fillBreak | Elara.Data.Pretty |
| fillCat | Elara.Data.Pretty |
| fillSep | Elara.Data.Pretty |
| filter | Prelude |
| filterByLevel | Elara.Logging |
| filterByNamespace | Elara.Logging |
| filterLocals | Elara.Core.LiftClosures.Util |
| filterM | Prelude |
| find | Prelude |
| findElaraFiles | Elara.ReadFile |
| findLocalVariable | Elara.JVM.Emit.State |
| findTyCon | Elara.Core.Analysis |
| First | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| first | Prelude |
| fix | Prelude |
| fixExpr | Elara.Shunt |
| fixityAnnotationName | Elara.Prim |
| fixOperators | Elara.Shunt |
| flap | Prelude |
| flatAlt | Elara.Data.Pretty |
| FlatStyle | Elara.ModuleIndex |
| flip | Prelude |
| flipfoldl' | Prelude |
| Float | Prelude |
| floatCon | Elara.Prim.Core |
| floatDigits | Prelude |
| Floating | Prelude |
| floatLiteral | Elara.Parse.Literal |
| floatRadix | Prelude |
| floatRange | Prelude |
| floor | Prelude |
| fmap | Prelude |
| fmapLocated | Elara.Parse.Primitives |
| Fold | Prelude |
| fold | Prelude |
| Foldable | Prelude |
| folded | Prelude |
| foldl' | Prelude |
| foldLambda | Elara.Desugar |
| foldlM | Prelude |
| foldMap | Prelude |
| foldMap' | Prelude |
| foldMapA | Prelude |
| foldMapM | Prelude |
| foldr | Prelude |
| for | Prelude |
| Forall | Elara.TypeInfer.Type |
| ForallAxiomScheme | Elara.TypeInfer.Type |
| ForAllTy | Elara.Core |
| force | |
| 1 (Function) | Prelude |
| 2 (Function) | Elara.Interpreter |
| forever | Prelude |
| forM | Prelude |
| formatRichMessage | Elara.Logging |
| forM_ | Prelude |
| for_ | Prelude |
| Fractional | Prelude |
| FreeCoreVars | Elara.Core.Analysis |
| freeCoreVars | Elara.Core.Analysis |
| freeCoreVarsBind | Elara.Core.Analysis |
| freeTypeVars | |
| 1 (Function) | Elara.Core.Analysis |
| 2 (Function) | Elara.TypeInfer.Convert |
| FreeVarsOf | Elara.Query |
| freshUniqueSupply | Elara.Data.Unique |
| freshVar | Elara.JVM.Lower.Util |
| fromANF | Elara.Core.ToANF |
| fromANFAtom | Elara.Core.ToANF |
| fromANFCExpr | Elara.Core.ToANF |
| FromClosure | Elara.Interpreter |
| fromEither | Effectful.Error.Extra |
| fromEnum | Prelude |
| fromException | Prelude |
| FromGlobal | Elara.Interpreter |
| fromHeadAndTail | Elara.Data.AtLeast2List |
| fromInteger | Prelude |
| fromIntegral | Prelude |
| fromLabel | Prelude |
| fromLazy | Prelude |
| fromLeft | Prelude |
| fromList | |
| 1 (Function) | Prelude |
| 2 (Function) | Elara.Data.AtLeast2List |
| fromListN | Prelude |
| fromMaybe | Prelude |
| fromNonEmpty | Elara.Data.AtLeast2List |
| fromNonEmptyUnsafe | Elara.Data.AtLeast2List |
| fromRational | Prelude |
| fromRight | Prelude |
| fromShort | Prelude |
| fromStrict | Prelude |
| fromString | Prelude |
| Frontend | Elara.AST.Phases.Frontend |
| FrontendBinaryOperator | |
| 1 (Type/Class) | Elara.AST.Phases.Frontend |
| 2 (Data Constructor) | Elara.AST.Phases.Frontend |
| FrontendDeclaration | Elara.AST.Phases.Frontend |
| FrontendDeclaration' | Elara.AST.Phases.Frontend |
| FrontendDeclarationBody | Elara.AST.Phases.Frontend |
| FrontendDeclarationBody' | Elara.AST.Phases.Frontend |
| FrontendDeclBodyExtension | Elara.AST.Phases.Frontend |
| FrontendExpr | Elara.AST.Phases.Frontend |
| FrontendExpr' | Elara.AST.Phases.Frontend |
| FrontendExpressionExtension | Elara.AST.Phases.Frontend |
| FrontendInParens | Elara.AST.Phases.Frontend |
| FrontendLetInWithPatterns | Elara.AST.Phases.Frontend |
| FrontendLetWithPatterns | Elara.AST.Phases.Frontend |
| FrontendList | Elara.AST.Phases.Frontend |
| FrontendMultiLam | Elara.AST.Phases.Frontend |
| FrontendPattern | Elara.AST.Phases.Frontend |
| FrontendPattern' | Elara.AST.Phases.Frontend |
| FrontendTuple | Elara.AST.Phases.Frontend |
| FrontendType | Elara.AST.Phases.Frontend |
| FrontendType' | Elara.AST.Phases.Frontend |
| FrontendTypeDeclaration | Elara.AST.Phases.Frontend |
| FrontendValueTypeDef | Elara.AST.Phases.Frontend |
| fst | Prelude |
| Ftv | Elara.TypeInfer.Ftv |
| ftv | Elara.TypeInfer.Ftv |
| fullCoreToCoreExpr | Elara.CoreToCore |
| fullNameText | Elara.AST.Name |
| funcInterfaceName | Elara.JVM.Lower.Util |
| Function | Elara.TypeInfer.Type |
| FunctionKind | Elara.Data.Kind |
| functionMonotypeArgs | Elara.TypeInfer.Type |
| functionMonotypeResult | Elara.TypeInfer.Type |
| functionName | Elara.TypeInfer.Context |
| functionType | |
| 1 (Function) | Elara.TypeInfer.Context |
| 2 (Function) | Elara.Parse.Type |
| functionTypeArgs | Elara.Core |
| functionTypeResult | Elara.Core |
| Functor | Prelude |
| FuncTy | Elara.Core |
| fuse | Elara.Data.Pretty |
| FusionDepth | Elara.Data.Pretty |
| Fuv | Elara.TypeInfer.Ftv |
| fuv | Elara.TypeInfer.Ftv |
| gcd | Prelude |
| generalise | Elara.TypeInfer.Generalise |
| generateConstraints | Elara.TypeInfer.ConstraintGeneration |
| generatedFileName | Elara.AST.Region |
| generatedLocated | Elara.AST.Region |
| GeneratedPosition | Elara.AST.Region |
| GeneratedRegion | Elara.AST.Region |
| generatedSourcePos | Elara.AST.Region |
| generatedSourceRegion | Elara.AST.Region |
| generatedSourceRegionFrom | Elara.AST.Region |
| Generic | Prelude |
| GenericAlexError | Elara.Lexer.Utils |
| genericDrop | Prelude |
| genericGetConstructorDeclaration | Elara.Rules.Generic |
| genericGetDeclarationAnnotations | Elara.Rules.Generic |
| genericGetDeclarationAnnotationsOfType | Elara.Rules.Generic |
| genericGetDeclarationByName | Elara.Rules.Generic |
| genericGetRequiredDeclarationByName | Elara.Rules.Generic |
| genericGraphTraverse | Elara.Data.TopologicalGraph |
| genericGraphTraverse_ | Elara.Data.TopologicalGraph |
| genericLength | Prelude |
| genericLexicalError | Elara.Error.Codes, Elara.Error |
| genericParseError | Elara.Error.Codes, Elara.Error |
| genericPlate | Prelude |
| genericReplicate | Prelude |
| genericSplitAt | Prelude |
| genericTake | Prelude |
| genPartials | Elara.Desugar |
| getAll | Prelude |
| getAlt | Prelude |
| GetANFCoreModule | Elara.Query |
| getAny | Prelude |
| getAp | Prelude |
| getArgs | Prelude |
| getCallStack | Prelude |
| GetClosureLiftedModule | Elara.Query |
| getComparison | Prelude |
| GetCompilerSettings | Elara.Query |
| getCompose | Prelude |
| getConst | Prelude |
| getConstructorDeclaration | Elara.Query |
| GetCoreModule | Elara.Query |
| GetDataCon | Elara.Query |
| getDeclarationAnnotations | Elara.Query |
| getDeclarationAnnotationsOfType | Elara.Query |
| getDeclarationByName | Elara.Query |
| getDesugaredModule | Elara.Desugar |
| getDown | Prelude |
| getDual | Prelude |
| getEquivalence | Prelude |
| getExpr | Elara.TypeInfer.Substitute |
| GetField | Elara.JVM.IR |
| GetFileContents | Elara.Query |
| GetFinalisedCoreModule | Elara.Query |
| getFirst | Prelude |
| getInputFiles | Elara.ReadFile |
| GetJVMClassBytes | Elara.Query |
| GetJVMClassFiles | Elara.Query |
| GetJVMIRModule | Elara.Query |
| getLabel | Elara.JVM.Emit.State |
| getLast | Prelude |
| getLexedFile | Elara.Lexer.Reader |
| getLine | Prelude |
| getLocation | Elara.AST.Location |
| getLogConfigFromEnv | Elara.Logging |
| getModuleByName | Elara.Query |
| getOp | Prelude |
| GetOpInfo | Elara.Query |
| GetOpTableIn | Elara.Query |
| GetOptimisedCoreModule | Elara.Query |
| getParsedFileQuery | Elara.Parse |
| getParsedModuleQuery | Elara.Parse |
| getPartialName | Elara.Desugar.Common |
| getPosition | Elara.Lexer.Utils |
| getPredicate | Prelude |
| getProduct | Prelude |
| getRequiredDeclarationByName | Elara.Query |
| GetSCCsOf | Elara.Query |
| getStackTrace | Prelude |
| getSum | Prelude |
| Getter | Prelude |
| GetTyCon | Elara.Query |
| GetTypeAlias | Elara.Query |
| getUniqueId | Elara.Data.Unique |
| getWidth | Elara.Width |
| getZipList | Prelude |
| Global | Elara.AST.VarRef |
| globalBindings | Elara.Interpreter |
| globalUniqueSupply | Elara.Data.Unique |
| GlobalVarInPattern | Elara.JVM.Error |
| GPhaseCoerce | Elara.AST.PhaseCoerce |
| gphaseCoerce | Elara.AST.PhaseCoerce |
| GPlate | Prelude |
| gplate | Prelude |
| gpretty | Elara.Data.Pretty |
| GreaterThan | Elara.JVM.IR |
| group | |
| 1 (Function) | Prelude |
| 2 (Function) | Elara.Data.Pretty |
| GT | Prelude |
| gtCtorName | Elara.Prim |
| guard | Prelude |
| guarded | Prelude |
| guardM | Prelude |
| guesstimateExprType | Elara.Core.Analysis |
| H2JVMError | Elara.JVM.Error |
| Handle | Prelude |
| hang | Elara.Data.Pretty |
| hardline | Elara.Data.Pretty |
| HasCallStack | Prelude |
| HasDependencies | Elara.Data.TopologicalGraph |
| Hashable | Prelude |
| HashMap | Prelude |
| hashNub | Prelude |
| HashSet | Prelude |
| hashWithSalt | Prelude |
| HasLocation | Elara.AST.Location |
| HasMinimumQueryEffects | Elara.Query.Effects |
| HasName | Elara.AST.Name |
| HasOpLookup | Elara.Shunt |
| HasPath | Elara.AST.Region |
| HasSourceRegion | Elara.AST.Region |
| hcat | Elara.Data.Pretty |
| head | Prelude |
| header | Elara.Parse.Module |
| hFlush | Prelude |
| hGetBuffering | Prelude |
| HideEffects | |
| 1 (Type/Class) | Rock |
| 2 (Data Constructor) | Rock |
| HigherRankTypesNotSupported | Elara.TypeInfer.Convert |
| Hint | Elara.Error |
| hIsEOF | Prelude |
| hoistEither | Prelude |
| hoistMaybe | Prelude |
| hsep | Elara.Data.Pretty |
| hSetBuffering | Prelude |
| Id | Elara.Core |
| Identity | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| identity | Prelude |
| IdentityT | Prelude |
| ifM | Prelude |
| ifolded | Prelude |
| ifoldMap | Prelude |
| ifor | Prelude |
| ifor_ | Prelude |
| ifSite | Elara.TypeInfer.Context |
| IgnoreLocation | |
| 1 (Type/Class) | Elara.AST.Region |
| 2 (Data Constructor) | Elara.AST.Region |
| ignoreLocation | Elara.AST.VarRef |
| IgnoreLocVarRef | Elara.AST.VarRef |
| IgnoreLocVarRefKind | Elara.AST.VarRef |
| ignoreStructuredDebug | Elara.Logging |
| ignoringIndents | Elara.Parse.Primitives |
| Immediate | Elara.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 |
| importAs | Elara.AST.Module |
| ImportExposing | Elara.AST.Module |
| ImportExposingOrHiding | Elara.AST.Module |
| importExposingOrHiding | Elara.AST.Module |
| ImportHiding | Elara.AST.Module |
| importModuleName | Elara.AST.Module |
| importQualified | Elara.AST.Module |
| inBraces | Elara.Parse.Primitives |
| incompleteExpected | Elara.Core.TypeCheck |
| indent | Elara.Data.Pretty |
| indentDepth | Elara.Data.Pretty |
| indentLayoutTok | Elara.Lexer.Action |
| indentToken | Elara.Parse.Indents |
| Infer | Elara.TypeInfer.Monad |
| InferEffectsCons | Elara.TypeInfer.Monad |
| InferenceContext | |
| 1 (Type/Class) | Elara.TypeInfer.Context |
| 2 (Type/Class) | Elara.TypeInfer.Type |
| InferError | Elara.TypeInfer.Environment |
| inferKind | Elara.Data.Kind.Infer |
| InferSCC | Elara.Query |
| InferState | Elara.Data.Kind.Infer |
| inferTypeKind | Elara.Data.Kind.Infer |
| infinitely | Prelude |
| InfiniteType | Elara.Core.TypeCheck |
| Infix | Elara.CoreToCore |
| infixDeclarationWithoutValue | Elara.Error.Codes, Elara.Error |
| InfixedOccurrence | Elara.AST.Phase |
| InfixedOp | Elara.AST.Types |
| InfixPrecTooHigh | Elara.Parse.Error |
| InfixWithoutDeclaration | Elara.Desugar.Error |
| Info | Elara.Logging |
| InfoMarker | Elara.Error |
| init | Prelude |
| initialInferState | Elara.Data.Kind.Infer |
| initialLexState | Elara.Lexer.Utils |
| initialMethodCreationState | Elara.JVM.Emit.State |
| inits | Prelude |
| inlineLayoutTok | Elara.Lexer.Action |
| InnerLower | Elara.JVM.Lower.Monad |
| InnerRename | Elara.Rename |
| inParens | Elara.Parse.Primitives |
| InParensExpression | Elara.AST.Extensions |
| InParensExtension | Elara.AST.Extensions |
| input | Elara.Lexer.Utils |
| InputFiles | Elara.Query |
| insertMerging | Elara.Rename.State |
| insertWithM | Prelude |
| InstanceMethod | Elara.JVM.Lower.Function |
| InstanceOf | Elara.JVM.IR |
| instantiate | Elara.Core |
| instrs | Elara.JVM.IR |
| Instruction | Elara.JVM.IR |
| InstructionWriter | Elara.JVM.Lower.Monad |
| Int | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Elara.Core |
| 3 (Data Constructor) | Elara.Interpreter |
| Int16 | Prelude |
| Int32 | Prelude |
| Int64 | Prelude |
| Int8 | Prelude |
| intCon | Elara.Prim.Core |
| Integer | Prelude |
| integerLiteral | Elara.Parse.Literal |
| integerToBounded | Prelude |
| integerToNatural | Prelude |
| Integral | Prelude |
| intercalate | Prelude |
| InternalError | Elara.Error.Internal |
| interpretBinding | Elara.Interpreter |
| InterpretConstExpr | Elara.ConstExpr |
| Interpreter | |
| 1 (Type/Class) | Elara.Interpreter |
| 2 (Data Constructor) | Elara |
| InterpreterEffects | Elara.Interpreter |
| InterpreterError | Elara.Interpreter |
| InterpreterOutput | Elara.Interpreter |
| interpretExpr | |
| 1 (Function) | Elara.ConstExpr |
| 2 (Function) | Elara.Interpreter |
| interpretExpr' | Elara.ConstExpr |
| interpretExprExtension | Elara.ConstExpr |
| interpretInterpreterOutput | Elara.Interpreter |
| interpretNewAnnotationArg | Elara.ConstExpr |
| intersperse | Prelude |
| IntMap | Prelude |
| intNub | Prelude |
| intNubOn | Prelude |
| IntSet | Prelude |
| InvalidAnnotationArrangement | Elara.Error.Internal |
| InvalidConstantExpression | Elara.Parse.Error |
| inverseMap | Prelude |
| InvokeInterface | Elara.JVM.IR |
| InvokeStatic | Elara.JVM.IR |
| InvokeStaticLocal | Elara.JVM.Error |
| invokeStaticLocal | Elara.Error.Codes, Elara.Error |
| InvokeVirtual | Elara.JVM.IR |
| IO | Prelude |
| IOAction | Elara.Interpreter |
| ioCon | Elara.Prim.Core |
| IOMode | Prelude |
| IOQuery | |
| 1 (Type/Class) | Rock |
| 2 (Data Constructor) | Rock |
| IORef | Prelude |
| IReturn | Elara.JVM.IR |
| Is | Prelude |
| isDenormalized | Prelude |
| isEmptyTMVar | Prelude |
| isExposition | Elara.Rename.Imports |
| isGlobal | Elara.Core.LiftClosures.Util |
| isIEEE | Prelude |
| isImportedBy | Elara.Rename.Imports |
| isIndent | Elara.Lexer.Token |
| isInfinite | Prelude |
| isJust | Prelude |
| IsLabel | Prelude |
| isLam | Elara.Core.LiftClosures.Util |
| isLeft | Prelude |
| IsList | Prelude |
| isLocal | Elara.Core.LiftClosures.Util |
| isn't | Prelude |
| isNaN | Prelude |
| isNegativeZero | Prelude |
| isNothing | Prelude |
| Iso | Prelude |
| iso | Prelude |
| Iso' | Prelude |
| isPrefixOf | Prelude |
| IsRegion | Elara.AST.Region |
| isRight | Prelude |
| IsString | Prelude |
| iterate | Prelude |
| itraverse | Prelude |
| itraverse_ | Prelude |
| ix | Prelude |
| Ixed | Prelude |
| IxKind | Prelude, Prelude |
| Join | Elara.AST.Location |
| join | Prelude |
| Jump | Elara.JVM.IR |
| JumpIf | Elara.JVM.IR |
| JumpIfPrimitiveBool | Elara.JVM.IR |
| Just | Prelude |
| JustDef | Elara.Desugar.Common |
| JustLet | Elara.Desugar.Common |
| JVM | Elara |
| JVMLoweringError | Elara.JVM.Error |
| Key | Elara.Data.TopologicalGraph |
| key | Elara.Data.TopologicalGraph |
| keys | Elara.Data.TopologicalGraph |
| keyword | Elara.Data.Pretty.Styles |
| KeywordUsedAsName | Elara.Parse.Error |
| kind | Elara.Core.Module |
| Kinded | Elara.AST.Phases.Kinded |
| kindedToTypedType | Elara.TypeInfer.Convert |
| kindedToTypedType' | Elara.TypeInfer.Convert |
| KindedType | Elara.AST.Phases.Kinded |
| KindedType' | Elara.AST.Phases.Kinded |
| KindedTypeDeclaration | Elara.AST.Phases.Kinded |
| KindInferError | Elara.Data.Kind.Infer |
| KindOf | Elara.Query |
| KindScheme | Elara.Data.Kind |
| KindVar | Elara.Data.Kind |
| knownInternalName | Elara.Prim |
| KnownName | Elara.JVM.Emit.State |
| KnownNat | Prelude |
| KnownOpaque | Elara.Prim |
| knownQualified | Elara.Prim |
| KnownType | Elara.Prim |
| KnownTypeInfo | |
| 1 (Type/Class) | Elara.Prim |
| 2 (Data Constructor) | Elara.Prim |
| knownTypeInfo | Elara.Prim |
| knownUserFacingName | Elara.Prim |
| KnownWiredIn | Elara.Prim |
| L | Elara.Parse.Stream |
| label | Elara.Data.Pretty.Styles |
| labels | Elara.JVM.Emit.State |
| Lam | |
| 1 (Data Constructor) | Elara.Core |
| 2 (Data Constructor) | Elara.Core.ANF |
| LambdaBinder | Elara.AST.Phase |
| LambdaBinderNotLocal | Elara.JVM.Error |
| LambdaExtension | Elara.AST.Phase |
| langle | Elara.Data.Pretty |
| Last | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| last | Prelude |
| layoutCompact | Elara.Data.Pretty |
| LayoutOptions | |
| 1 (Type/Class) | Elara.Data.Pretty |
| 2 (Data Constructor) | Elara.Data.Pretty |
| layoutPageWidth | Elara.Data.Pretty |
| layoutPretty | Elara.Data.Pretty |
| layoutSmart | Elara.Data.Pretty |
| LazyStrict | Prelude |
| lbrace | Elara.Data.Pretty |
| lbracket | Elara.Data.Pretty |
| LByteString | Prelude |
| lcm | Prelude |
| Left | Prelude |
| LeftAssociative | Elara.Shunt.Operator |
| leftAssociativeAnnotationName | Elara.Prim |
| lefts | Prelude |
| leftToMaybe | Prelude |
| length | Prelude |
| lenientDecode | Prelude |
| Lens | Prelude |
| lens | Prelude |
| Lens' | Prelude |
| lensVL | Prelude |
| LessThan | Elara.JVM.IR |
| Let | |
| 1 (Data Constructor) | Elara.Core |
| 2 (Data Constructor) | Elara.Core.ANF |
| letDec | Elara.Parse.Declaration |
| LetExtension | Elara.AST.Phase |
| letInTopLevel | Elara.Error.Codes, Elara.Error |
| letPreamble | Elara.Parse.Expression |
| letPreambleParser | Elara.Parse.Grammar |
| LexAction | Elara.Lexer.Action |
| LexedFile | Elara.Query |
| Lexeme | Elara.Lexer.Token |
| lexeme | Elara.Parse.Primitives |
| lexer | Elara.Lexer.Reader |
| LexerError | Elara.Lexer.Utils |
| LexMonad | Elara.Lexer.Utils |
| lexSC | Elara.Lexer.Utils |
| lift | Prelude |
| liftA2 | Prelude |
| liftA3 | Prelude |
| liftClosures | Elara.Core.LiftClosures |
| Lifted | Elara.TypeInfer.Type |
| liftedBinary | Elara.Parse.Combinators |
| liftedBinaryType | Elara.Parse.Type |
| liftedType | Elara.Core.LiftClosures.Util |
| liftIO | Prelude |
| line | |
| 1 (Function) | Elara.Data.Pretty |
| 2 (Function) | Elara.AST.Region |
| line' | Elara.Data.Pretty |
| LineBuffering | Prelude |
| lines | Prelude |
| lineSeparator | Elara.Parse.Indents |
| list | Elara.Data.Pretty |
| listCon | Elara.Prim.Core |
| ListExpression | Elara.AST.Extensions |
| ListExprExtension | Elara.AST.Extensions |
| ListPattern | Elara.AST.Extensions |
| listToMaybe | Prelude |
| listToText | Elara.Data.Pretty |
| ListTuplePatternExtension | Elara.AST.Extensions |
| listType | Elara.Parse.Type |
| Lit | |
| 1 (Data Constructor) | Elara.Core |
| 2 (Data Constructor) | Elara.Core.ANF |
| LitAlt | Elara.Core |
| LitBool | Elara.JVM.IR |
| LitChar | Elara.JVM.IR |
| LitDouble | Elara.JVM.IR |
| Literal | Elara.Core |
| literalType | Elara.Core.Analysis |
| LitInt | Elara.JVM.IR |
| LitString | Elara.JVM.IR |
| LitUnit | Elara.JVM.IR |
| loadedModules | Elara.Interpreter |
| loadModule | Elara.Interpreter |
| loadTypeDecl | Elara.Interpreter |
| Local | Elara.AST.VarRef |
| localBindings | Elara.Interpreter |
| locally | Effectful.State.Extra |
| LocalOperatorInfoNotSupported | Elara.Shunt.Error |
| localOperatorInfoNotSupported | Elara.Error.Codes, Elara.Error |
| LocalTypeEnvironment | |
| 1 (Type/Class) | Elara.TypeInfer.Environment |
| 2 (Data Constructor) | Elara.TypeInfer.Environment |
| LocalVar | Elara.JVM.IR |
| LocalVariableNotFound | Elara.JVM.Error |
| localVariableNotFound | Elara.Error.Codes, Elara.Error |
| localVariables | Elara.JVM.Emit.State |
| Located | |
| 1 (Type/Class) | Elara.AST.Region |
| 2 (Data Constructor) | Elara.AST.Region |
| located | Elara.Parse.Primitives |
| locatedDecl | Elara.Parse.Declaration |
| LocatedElement | Elara.AST.Region |
| locatedExpr | Elara.Parse.Expression |
| locatedTokens' | Elara.Parse.Primitives |
| locatedType | Elara.Parse.Type |
| LocatedVarRefKind | Elara.AST.VarRef |
| LocateNode | Elara.AST.Phase |
| LocSemigroup | Elara.AST.Location |
| logBase | Prelude |
| LogConfig | |
| 1 (Type/Class) | Elara.Logging |
| 2 (Data Constructor) | Elara.Logging |
| logDebug | Elara.Logging |
| logDebugNS | Elara.Logging |
| logDebugWith | Elara.Logging |
| logDebugWithNS | Elara.Logging |
| logError | Elara.Logging |
| logErrorNS | Elara.Logging |
| logInfo | Elara.Logging |
| logInfoNS | Elara.Logging |
| logInfoWith | Elara.Logging |
| logInfoWithNS | Elara.Logging |
| LogLevel | Elara.Logging |
| logWarning | Elara.Logging |
| logWarningNS | Elara.Logging |
| lookupByInternalName | Elara.Prim |
| lookupByQualifiedTypeName | Elara.Prim |
| lookupByUserName | Elara.Prim |
| lookupEnv | Prelude |
| lookupFile | Elara.ModuleIndex |
| lookupKindVarMaybe | Elara.Data.Kind.Infer |
| lookupLocalVar | Elara.TypeInfer.Environment |
| lookupLocalVarType | Elara.TypeInfer.Environment |
| lookupModule | Elara.ModuleIndex |
| lookupNameKindVar | Elara.Data.Kind.Infer |
| lookupType | |
| 1 (Function) | Elara.TypeInfer.Environment |
| 2 (Function) | Elara.TypeInfer.ConstraintGeneration |
| lookupTypeMaybe | Elara.TypeInfer.Environment |
| lookupVar | Elara.Interpreter |
| Lower | Elara.JVM.Lower.Monad |
| LowerAlphaName | |
| 1 (Type/Class) | Elara.AST.Name |
| 2 (Data Constructor) | Elara.AST.Name |
| lowerCallable | Elara.JVM.Lower.Function |
| lowerDataCon | Elara.JVM.Lower.ADT |
| lowerExpr | Elara.JVM.Lower.Expr |
| lowerLiteral | Elara.JVM.Lower.Util |
| lowerMatch | Elara.JVM.Lower.Match |
| lowerModule | Elara.JVM.Lower |
| lowerPrimType | Elara.JVM.Lower.Util |
| lowerType | Elara.JVM.Lower.Util |
| lparen | Elara.Data.Pretty |
| LT | Prelude |
| ltCtorName | Elara.Prim |
| LText | Prelude |
| LVKey | Elara.JVM.Emit.State |
| mainFile | Elara.Settings |
| MakeClosure | Elara.JVM.IR |
| MakeConstructorClosure | Elara.JVM.IR |
| makeFields | Prelude |
| makeLenses | Prelude |
| makePrisms | Prelude |
| makeTag | Elara.Query.TH |
| makeUnique | Elara.Data.Unique.Effect |
| makeUniqueId | Elara.Data.Unique.Effect |
| makeUniqueTyVar | Elara.TypeInfer.Unique |
| makeUniqueTyVarWith | Elara.TypeInfer.Unique |
| many | Prelude |
| Map | Prelude |
| map | Prelude |
| mapAccumL | Prelude |
| mapAccumR | Prelude |
| mapAndUnzipM | Prelude |
| mapBind | Elara.Core.Generic |
| mapGraph | Elara.Data.TopologicalGraph |
| mapM | Prelude |
| mapMaybe | Prelude |
| mapMaybeM | Prelude |
| mapM_ | Prelude |
| mappend | Prelude |
| MapVarRefImpl | Elara.AST.VarRef |
| mapVarRefImpl | Elara.AST.VarRef |
| markerMessage | Elara.Error |
| markerRegion | Elara.Error |
| markerType | Elara.Error |
| Match | |
| 1 (Data Constructor) | Elara.Core |
| 2 (Data Constructor) | Elara.Core.ANF |
| matchCond | Elara.JVM.Lower.Match |
| MatchedSequence | Elara.Lexer.Action |
| max | Prelude |
| maxBound | Prelude |
| maxInt | Prelude |
| Maybe | Prelude |
| maybe | Prelude |
| maybeAt | Prelude |
| MaybeQualified | |
| 1 (Type/Class) | Elara.AST.Name |
| 2 (Data Constructor) | Elara.AST.Name |
| MaybeT | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| maybeToExceptT | Prelude |
| maybeToLeft | Prelude |
| maybeToList | Prelude |
| maybeToMonoid | Prelude |
| maybeToRight | Prelude |
| mconcat | Prelude |
| memoise | Rock.Memo |
| memoiseExplicit | Rock.Memo |
| memoiseWithCycleDetection | Rock.Memo |
| mempty | Prelude |
| memptyIfFalse | Prelude |
| memptyIfTrue | Prelude |
| merge | Elara.AST.Region |
| mergeAnnotations | Elara.Desugar |
| mergePartials | Elara.Desugar |
| Method | |
| 1 (Type/Class) | Elara.JVM.IR |
| 2 (Data Constructor) | Elara.JVM.IR |
| methodArgs | Elara.JVM.IR |
| methodBody | Elara.JVM.IR |
| MethodCreationState | |
| 1 (Type/Class) | Elara.JVM.Emit.State |
| 2 (Data Constructor) | Elara.JVM.Emit.State |
| methodDesc | Elara.JVM.IR |
| methodIsStatic | Elara.JVM.IR |
| methodName | Elara.JVM.IR |
| MethodNotFound | Elara.JVM.Error |
| MethodTooManyLocals | Elara.JVM.Error |
| MethodTooManyStack | Elara.JVM.Error |
| mfilter | Prelude |
| MidKinded | Elara.AST.Phases.MidKinded |
| MidKindedType | Elara.AST.Phases.MidKinded |
| MidKindedTypeDeclaration | Elara.AST.Phases.MidKinded |
| min | Prelude |
| minBound | Prelude |
| MinimumQueryEffects | Elara.Query.Effects |
| minInt | Prelude |
| minLogLevel | Elara.Logging |
| MissingPrimType | Elara.Interpreter |
| mkNestedLam | Elara.Core.LiftClosures.Util |
| mkPrecedence | Elara.Shunt.Operator |
| mkPrimQual | Elara.Prim |
| mkPrimVarRef | Elara.Prim |
| mkSourceRegion | Elara.AST.Region |
| mkSourceRegionIn | Elara.AST.Region |
| mkThunk | Elara.Interpreter |
| mkUnifyError | Elara.TypeInfer.Error |
| mkUnifyErrorFromConstraint | Elara.TypeInfer.Error |
| mkWeakTMVar | Prelude |
| mod | Prelude |
| modify' | Prelude |
| modifying | Effectful.State.Extra |
| modifyIORef | Prelude |
| 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 |
| ModuleByName | Elara.Query |
| moduleClasses | Elara.JVM.IR |
| moduleDeclarations | Elara.AST.Module |
| ModuleEntry | |
| 1 (Type/Class) | Elara.ModuleIndex |
| 2 (Data Constructor) | Elara.ModuleIndex |
| moduleExposing | Elara.AST.Module |
| moduleFromName | Elara.Data.TopologicalGraph |
| moduleGraph | Elara.Data.TopologicalGraph |
| moduleImports | Elara.AST.Module |
| ModuleIndex | |
| 1 (Type/Class) | Elara.ModuleIndex |
| 2 (Data Constructor) | Elara.ModuleIndex |
| 3 (Data Constructor) | Elara.Query |
| ModuleLoc | Elara.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 |
| moduleNames | Elara |
| moduleNameToQualifiedClassName | Elara.JVM.Lower.Util |
| ModuleNode | Elara.AST.Location |
| ModuleNotFound | Elara.ReadFile |
| ModulePath | Elara.Query |
| ModulePathError | Elara.ReadFile |
| ModuleStyle | Elara.ModuleIndex |
| moduleToANF | Elara.CoreToCore |
| moduleToFiles | Elara.ModuleIndex |
| Monad | Prelude |
| MonadFail | Prelude |
| MonadIO | Prelude |
| MonadPlus | Prelude |
| MonadReader | Prelude |
| MonadState | Prelude |
| MonadTrans | Prelude |
| Monoid | Prelude |
| Monotype | Elara.TypeInfer.Type |
| monotypeLoc | Elara.TypeInfer.Type |
| MoreLambdasThanTypeArgs | Elara.JVM.Error |
| mplus | Prelude |
| mtimesDefault | Prelude |
| MultipleModulePaths | Elara.ReadFile |
| MultipleUnifyErrors | Elara.TypeInfer.Error |
| Multiply | Elara.JVM.IR |
| MVar | Prelude |
| mzero | Prelude |
| Name | Elara.AST.Name |
| name | |
| 1 (Function) | Elara.AST.Name |
| 2 (Function) | Elara.Core |
| 3 (Function) | Elara.Core.Module |
| 4 (Function) | Elara.Interpreter |
| namedType | Elara.Parse.Type |
| NameLike | Elara.AST.Name |
| NameOp | Elara.AST.Name |
| namespaceFilter | Elara.Logging |
| nameText | Elara.AST.Name |
| NameType | Elara.AST.Name |
| NameValue | Elara.AST.Name |
| Nat | Prelude |
| nativeDefUnsupported | Elara.Error.Codes, Elara.Error |
| Natural | Prelude |
| natVal | Prelude |
| Negate | Elara.JVM.IR |
| negate | Prelude |
| nest | Elara.Data.Pretty |
| nestedBlockComment | Elara.Lexer.Action |
| NestedStyle | Elara.ModuleIndex |
| nesting | Elara.Data.Pretty |
| New | Elara.JVM.IR |
| newEmptyMVar | Prelude |
| newEmptyTMVar | Prelude |
| newEmptyTMVarIO | Prelude |
| newIORef | Prelude |
| newMVar | Prelude |
| newTMVar | Prelude |
| newTMVarIO | Prelude |
| newTVar | Prelude |
| newTVarIO | Prelude |
| NewUniqueNum | Elara.Data.Unique.Effect |
| newUniqueNum | Elara.Data.Unique.Effect |
| NFData | Prelude |
| nilCtorName | Elara.Prim |
| NoBuffering | Prelude |
| nodeFromVertex | Elara.Data.TopologicalGraph |
| NodeLoc | Elara.AST.Location |
| nodes | Elara.SCC.Type |
| NoExtension | |
| 1 (Type/Class) | Elara.AST.Phase |
| 2 (Data Constructor) | Elara.AST.Phase |
| NoMainFound | Elara.Interpreter |
| NonAssociative | Elara.Shunt.Operator |
| nonAssociativeAnnotationName | Elara.Prim |
| NonEmpty | Prelude |
| nonEmpty | Prelude |
| NonExhaustiveMatch | Elara.Interpreter |
| NonExistentModuleDeclaration | Elara.Rename.Error |
| nonExistentModuleDeclaration | Elara.Error.Codes, Elara.Error |
| NonRecursive | Elara.Core.Generic |
| NormalVarName | Elara.AST.Name |
| normalVarName | Elara.Parse.Names |
| Not | Elara.JVM.IR |
| not | Prelude |
| NotAFunction | Elara.Interpreter |
| NotAFunctionalType | Elara.JVM.Error |
| Note | Elara.Error |
| notElem | Prelude |
| NotEquals | Elara.JVM.IR |
| NotFunctionKind | Elara.Data.Kind.Infer |
| notFunctionKind | Elara.Error.Codes, Elara.Error |
| Nothing | Prelude |
| NotSupported | Elara.TypeInfer.Convert |
| null | Prelude |
| Num | Prelude |
| NumberOfCharsMatched | Elara.Lexer.Action |
| numerator | Prelude |
| occurs | Elara.TypeInfer.Ftv |
| OccursCheck | |
| 1 (Data Constructor) | Elara.TypeInfer.Error |
| 2 (Data Constructor) | Elara.Core.TypeCheck |
| OccursCheckFailed | Elara.Data.Kind.Infer |
| occursCheckFailed | Elara.Error.Codes, Elara.Error |
| occursCheckFailedKind | Elara.Error.Codes, Elara.Error |
| odd | Prelude |
| offendingSection | Elara.Parse.Error |
| on | Prelude |
| OnDecodeError | Prelude |
| One | Prelude |
| one | Prelude |
| OneItem | Prelude, Prelude |
| oneOrCommaSeparatedInParens | Elara.Parse.Primitives |
| OnError | Prelude |
| Op | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| 3 (Type/Class) | Elara.JVM.IR |
| OpaquePrim | Elara.Prim |
| opaquePrimTyCon | Elara.Prim.Core |
| operator | Elara.Data.Pretty.Styles |
| OperatorOccurrence | Elara.AST.Phase |
| OperatorVarName | Elara.AST.Name |
| opId | Elara.Parse.Names |
| OpInfo | |
| 1 (Type/Class) | Elara.Shunt.Operator |
| 2 (Data Constructor) | Elara.Shunt.Operator |
| OpLookup | Elara.Shunt |
| OpName | |
| 1 (Type/Class) | Elara.AST.Name |
| 2 (Data Constructor) | Elara.AST.Name |
| opName | Elara.Parse.Names |
| OpTable | Elara.Shunt.Operator |
| Optic | Prelude |
| Optic' | Prelude |
| optional | Prelude |
| optionallyInParens | Elara.Parse.Primitives |
| OpTranslation | Elara.JVM.Emit.Operator |
| Or | Elara.JVM.IR |
| or | Prelude |
| Ord | Prelude |
| ord | Prelude |
| Ordering | Prelude |
| orderingCon | Elara.Prim.Core |
| ordNub | Prelude |
| ordNubOn | Prelude |
| orM | Prelude |
| otherwise | Prelude |
| outputDir | Elara.Settings |
| over | Prelude |
| OverApplication | Elara.JVM.Lower.Function |
| OverApplicationOf | Elara.JVM.Error |
| overForAll | Elara.Core.Analysis |
| PageWidth | Elara.Data.Pretty |
| pageWidth | Elara.Data.Pretty |
| param | Elara.Interpreter |
| parametrizedTok | Elara.Lexer.Action |
| parens | Elara.Data.Pretty |
| parensIf | Elara.Data.Pretty |
| ParsedFile | Elara.Query |
| ParsedModule | Elara.Query |
| parseErrorSources | Elara.Parse.Error |
| parsePrimOp | Elara.Prim |
| Parser | Elara.Parse.Primitives |
| ParseState | Elara.Lexer.Utils |
| PartialApplication | Elara.Interpreter |
| PartialDeclaration | Elara.Desugar.Common |
| partialDeclarations | Elara.Desugar |
| partialDeclarationSourceRegion | Elara.Desugar.Common |
| PartialNamesNotEqual | Elara.Desugar.Error |
| partialNamesNotEqual | Elara.Error.Codes, Elara.Error |
| partitionEithers | Prelude |
| partitionWith | Prelude |
| pass | Prelude |
| path | Elara.AST.Region |
| PatLoc | Elara.AST.Location |
| patParser | Elara.Parse.Pattern |
| Pattern | |
| 1 (Type/Class) | Elara.AST.Types |
| 2 (Data Constructor) | Elara.AST.Types |
| Pattern' | Elara.AST.Types |
| PatternArityMismatch | Elara.TypeInfer.Error |
| patternArityMismatch | Elara.Error.Codes, Elara.Error |
| patternDependencies | Elara.SCC |
| PatternExtension | Elara.AST.Phase |
| PatternMatchFailedError | Elara.JVM.IR |
| PatternMatchMissingBinders | Elara.Core.TypeCheck |
| PatternMeta | Elara.AST.Phase |
| PatternNode | Elara.AST.Location |
| patternRegion | Elara.Parse.Declaration |
| patternSite | Elara.TypeInfer.Context |
| PChar | Elara.AST.Types |
| PCon | Elara.AST.Types |
| peelLam | Elara.Core.LiftClosures.Util |
| pElement | Elara.Parse.Expression |
| pendingPosition | Elara.Lexer.Utils |
| pendingTokens | Elara.Lexer.Utils |
| permutations | Prelude |
| pExpression | Elara.Parse.Expression |
| PExtension | Elara.AST.Types |
| PFloat | Elara.AST.Types |
| phantom | Prelude |
| PhaseCoerce | Elara.AST.PhaseCoerce |
| phaseCoerce | Elara.AST.PhaseCoerce |
| pi | Prelude |
| PInt | Elara.AST.Types |
| pipe | Elara.Data.Pretty |
| pipeInline | Elara.CoreToCore |
| plate | Prelude |
| Plated | Prelude |
| plural | Elara.Data.Pretty |
| Polytype | |
| 1 (Type/Class) | Elara.TypeInfer.Type |
| 2 (Data Constructor) | Elara.TypeInfer.Type |
| PolytypeAlias | Elara.TypeInfer.Error |
| PolytypeAliasError | Elara.TypeInfer.Error |
| polytypeLoc | Elara.TypeInfer.Type |
| Position | |
| 1 (Type/Class) | Elara.AST.Region |
| 2 (Data Constructor) | Elara.AST.Region |
| position | Elara.Lexer.Utils |
| positionToDiagnosePosition | Elara.AST.Region |
| positionToSp | Elara.AST.Region |
| Precedence | Elara.Shunt.Operator |
| precedence | Elara.Shunt.Operator |
| pred | Prelude |
| Predicate | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| preRegisterType | Elara.Data.Kind.Infer |
| Pretty | Elara.Data.Pretty |
| pretty | Elara.Data.Pretty |
| prettyAlt | Elara.Core.Pretty |
| prettyBinaryOperator | Elara.AST.Pretty |
| prettyBinaryOperatorExt | Elara.AST.Pretty |
| prettyCall | Elara.JVM.IR |
| prettyCallStack | Prelude |
| prettyConstructorBinder | Elara.AST.Pretty |
| prettyConstructorOccurrence | Elara.AST.Pretty |
| prettyCtorsInline | Elara.Pretty.Common |
| PrettyDbg | |
| 1 (Type/Class) | Elara.Parse.Debug |
| 2 (Data Constructor) | Elara.Parse.Debug |
| prettyDeclaration | Elara.AST.Pretty |
| prettyDeclarationBody | Elara.AST.Pretty |
| prettyDeclBodyExtension | Elara.AST.Pretty |
| prettyDesugaredExprExt | Elara.AST.Phases.Desugared |
| prettyExpr | |
| 1 (Function) | Elara.Core.Pretty |
| 2 (Function) | Elara.AST.Pretty |
| prettyExpr' | Elara.AST.Pretty |
| prettyExpr1 | Elara.Core.Pretty |
| prettyExpr2 | Elara.Core.Pretty |
| prettyExprAppFun | Elara.AST.Pretty |
| prettyExprAtom | Elara.AST.Pretty |
| prettyExpressionExtension | Elara.AST.Pretty |
| prettyExpressionMeta | Elara.AST.Pretty |
| prettyExprRoundTrip | Elara.AST.Phases.Frontend.Pretty |
| PrettyExtensions | Elara.AST.Pretty |
| prettyFrontendDeclBodyExt | Elara.AST.Phases.Frontend |
| prettyFrontendExprExt | Elara.AST.Phases.Frontend |
| prettyInfixedOccurrence | Elara.AST.Pretty |
| prettyInParensExt | Elara.AST.Pretty |
| prettyLambdaBinder | Elara.AST.Pretty |
| prettyListExprExt | Elara.AST.Pretty |
| prettyListTuplePatternExt | Elara.AST.Pretty |
| prettyMatchAlt | Elara.Pretty.Common |
| prettyMatchAlts | Elara.Pretty.Common |
| prettyModule | Elara.AST.Pretty |
| prettyOp | Elara.Shunt.Operator |
| prettyOperatorOccurrence | Elara.AST.Pretty |
| prettyOpTable | Elara.Shunt.Operator |
| prettyPattern | Elara.AST.Pretty |
| prettyPattern' | Elara.AST.Pretty |
| prettyPatternExtension | Elara.AST.Pretty |
| prettyPatternMeta | Elara.AST.Pretty |
| prettyPatternRoundTrip | Elara.AST.Phases.Frontend.Pretty |
| PrettyPhase | Elara.AST.Pretty |
| PrettyPhaseLoc | Elara.AST.Pretty |
| prettySrcLoc | Prelude |
| prettyStringExpr | Elara.Data.Pretty |
| prettyTdef | Elara.Core.Module |
| prettyTLLam | Elara.Core.Pretty |
| prettyTopTypeBinder | Elara.AST.Pretty |
| prettyTopValueBinder | Elara.AST.Pretty |
| prettyToString | Print |
| prettyToText | Elara.Data.Pretty |
| prettyToUnannotatedText | Elara.Data.Pretty |
| prettyTupleExprExt | Elara.AST.Pretty |
| prettyTupleTypeExt | Elara.AST.Pretty |
| prettyTy | Elara.Core.Pretty |
| prettyTy1 | Elara.Core.Pretty |
| prettyTy2 | Elara.Core.Pretty |
| prettyType | Elara.AST.Pretty |
| prettyType' | Elara.AST.Pretty |
| prettyTypeAppFun | Elara.AST.Pretty |
| prettyTypeAtom | Elara.AST.Pretty |
| prettyTypeDeclaration | Elara.AST.Pretty |
| prettyTypeDeclBody | Elara.AST.Pretty |
| prettyTypedLambdaParam | Elara.AST.Pretty |
| prettyTypeMeta | Elara.AST.Pretty |
| prettyTypeOccurrence | Elara.AST.Pretty |
| prettyTypeSyntaxExtension | Elara.AST.Pretty |
| prettyTypeVariable | |
| 1 (Function) | Elara.Core.Pretty |
| 2 (Function) | Elara.AST.Pretty |
| prettyTypeVariables | Elara.Core.Pretty |
| prettyValueBinder | Elara.AST.Pretty |
| prettyValueDeclPatterns | Elara.AST.Pretty |
| prettyValueOccurrence | Elara.AST.Pretty |
| prettyValueWithType | Elara.Interpreter |
| PrettyVar | Elara.Core.Pretty |
| prettyVar | Elara.Core.Pretty |
| prettyVarArg | Elara.Core.Pretty |
| prettyVBind | Elara.Core.Pretty |
| prettyVdef | Elara.Core.Pretty |
| prettyVdefg | Elara.Core.Pretty |
| preview | Prelude |
| Prim | Elara.Core |
| PrimAdd | Elara.JVM.IR |
| PrimaryMarker | Elara.Error |
| PrimBinOp | Elara.JVM.IR |
| PrimChar | Elara.Prim |
| PrimCompare | Elara.Prim |
| PrimDebugWithMsg | Elara.Prim |
| PrimDivide | Elara.JVM.IR |
| PrimDouble | Elara.Prim |
| PrimEquals | Elara.Prim |
| PrimFloat | Elara.Prim |
| PrimGetArgs | Elara.Prim |
| PrimGT | Elara.JVM.IR |
| PrimInt | Elara.Prim |
| PrimIntAdd | Elara.Prim |
| PrimIntDivide | Elara.Prim |
| PrimIntMultiply | Elara.Prim |
| PrimIntNegate | Elara.Prim |
| PrimIntRemainder | Elara.Prim |
| PrimIntSubtract | Elara.Prim |
| PrimIO | Elara.Prim |
| PrimIOBind | Elara.Prim |
| PrimitiveIntOp | Elara.JVM.IR |
| PrimitiveLitBool | Elara.JVM.IR |
| PrimitiveLitInt | Elara.JVM.IR |
| primitiveRenameState | Elara.Prim.Rename |
| primitiveTypes | Elara.Prim |
| primKindCheckContext | Elara.Prim |
| primLocated | Elara.Prim |
| primModuleName | Elara.Prim |
| PrimMultiply | Elara.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 |
| primOpArity | Elara.Prim |
| PrimPrintln | Elara.Prim |
| PrimReadFile | Elara.Prim |
| primRegion | Elara.Prim |
| PrimString | Elara.Prim |
| PrimStringCons | Elara.Prim |
| PrimStringHead | Elara.Prim |
| PrimStringIsEmpty | Elara.Prim |
| PrimStringTail | Elara.Prim |
| PrimSubtract | Elara.JVM.IR |
| PrimThrowError | Elara.Prim |
| PrimToString | Elara.Prim |
| Print | Elara.Interpreter |
| print | Prelude |
| printColored | Print |
| printPretty | Print |
| printText | Elara.Interpreter |
| Prism | Prelude |
| prism | Prelude |
| Prism' | Prelude |
| prism' | Prelude |
| Product | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| product | Prelude |
| programArgs | Elara.Settings |
| properFraction | Prelude |
| providedBinders | Elara.Core.TypeCheck |
| Proxy | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| PString | Elara.AST.Types |
| punctuate | Elara.Data.Pretty |
| punctuation | Elara.Data.Pretty.Styles |
| PUnit | Elara.AST.Types |
| pure | Prelude |
| pushContext | Elara.TypeInfer.Context |
| putBS | Prelude |
| putBSLn | Prelude |
| putLBS | Prelude |
| putLBSLn | Prelude |
| putLText | Prelude |
| putLTextLn | Prelude |
| putMVar | Prelude |
| putStr | Prelude |
| putStrLn | Prelude |
| putText | Prelude |
| putTextLn | Prelude |
| putTMVar | Prelude |
| PVar | Elara.AST.Types |
| PWildcard | Elara.AST.Types |
| QAnn | Elara.Query |
| QAnnType | Elara.Query |
| qConId | Elara.Parse.Names |
| QCtor | Elara.Query |
| QDecl | Elara.Query |
| QModule | Elara.Query |
| qOpId | Elara.Parse.Names |
| QReqDecl | Elara.Query |
| Qualified | |
| 1 (Type/Class) | Elara.AST.Name |
| 2 (Data Constructor) | Elara.AST.Name |
| QualifiedInWrongModule | Elara.Rename.Error |
| qualifiedTextToClass | Elara.JVM.Lower.Util |
| qualifiedWithWrongModule | Elara.Error.Codes, Elara.Error |
| qualifier | Elara.AST.Name |
| Query | Elara.Query |
| QueryEffects | Elara.Query.Effects |
| quickIndex | Elara.Lexer.Lexer |
| quot | Prelude |
| quotRem | Prelude |
| qVarId | Elara.Parse.Names |
| rangle | Elara.Data.Pretty |
| Ratio | Prelude |
| Rational | Prelude |
| rbrace | Elara.Data.Pretty |
| rbracket | Elara.Data.Pretty |
| re | Prelude |
| ReachableSubgraph | |
| 1 (Type/Class) | Elara.SCC.Type |
| 2 (Data Constructor) | Elara.SCC.Type |
| ReachableSubgraphOf | Elara.Query |
| Read | Prelude |
| readEither | Prelude |
| reader | Prelude |
| ReaderT | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| readFile | Prelude |
| readFile' | Prelude |
| readFileBS | Prelude |
| ReadFileError | Elara.ReadFile |
| readFileLBS | Prelude |
| readFileLText | Prelude |
| readFileText | Prelude |
| readIORef | Prelude |
| readMaybe | Prelude |
| ReadMode | Prelude |
| readMVar | Prelude |
| reads | Prelude |
| readTMVar | Prelude |
| readToken | Elara.Lexer.Reader |
| readTokens | Elara.Lexer.Reader |
| readTokensWith | Elara.Lexer.Reader |
| readTVar | Prelude |
| readTVarIO | Prelude |
| ReadWriteMode | Prelude |
| Real | Prelude |
| RealFloat | Prelude |
| RealFrac | Prelude |
| RealPosition | |
| 1 (Data Constructor) | Elara.AST.Region |
| 2 (Type/Class) | Elara.AST.Region |
| realPositionToSourcePos | Elara.Parse.Stream |
| RealSourceRegion | |
| 1 (Data Constructor) | Elara.AST.Region |
| 2 (Type/Class) | Elara.AST.Region |
| realToFrac | Prelude |
| reAnnotate | Elara.Data.Pretty |
| reAnnotateS | Elara.Data.Pretty |
| RecClosure | Elara.Interpreter |
| recEnv | Elara.Interpreter |
| recip | Prelude |
| recordType | Elara.Parse.Type |
| Recursive | Elara.Core.Generic |
| RecursiveTypeAlias | Elara.Rename.Error |
| recursiveTypeAlias | Elara.Error.Codes, Elara.Error |
| RecursiveValueDetected | Elara.Interpreter |
| reduce | Elara.TypeInfer.Type |
| rem | Prelude |
| removeNode | Elara.Data.TopologicalGraph |
| removeSkolems | Elara.TypeInfer.Generalise |
| removeTrailingWhitespace | Elara.Data.Pretty |
| Renamed | Elara.AST.Phases.Renamed |
| RenamedBinaryOperator | |
| 1 (Type/Class) | Elara.AST.Phases.Renamed |
| 2 (Data Constructor) | Elara.AST.Phases.Renamed |
| RenamedDeclaration | Elara.AST.Phases.Renamed |
| RenamedDeclaration' | Elara.AST.Phases.Renamed |
| RenamedDeclarationBody | Elara.AST.Phases.Renamed |
| RenamedDeclarationBody' | Elara.AST.Phases.Renamed |
| RenamedExpr | Elara.AST.Phases.Renamed |
| RenamedExpr' | Elara.AST.Phases.Renamed |
| RenamedExpressionExtension | Elara.AST.Phases.Renamed |
| RenamedInParens | Elara.AST.Phases.Renamed |
| RenamedPattern | Elara.AST.Phases.Renamed |
| RenamedPattern' | Elara.AST.Phases.Renamed |
| RenamedType | Elara.AST.Phases.Renamed |
| RenamedType' | Elara.AST.Phases.Renamed |
| RenamedTypeDeclaration | Elara.AST.Phases.Renamed |
| RenameError | Elara.Rename.Error |
| renameExpr | Elara.Rename |
| RenameState | |
| 1 (Type/Class) | Elara.Rename.State |
| 2 (Data Constructor) | Elara.Rename.State |
| renderMonotype | Elara.TypeInfer.Render |
| renderPolytype | Elara.TypeInfer.Render |
| renderStrict | Elara.Data.Pretty |
| renderType | Elara.TypeInfer.Render |
| renderTypeName | Elara.TypeInfer.Render |
| repeat | Prelude |
| replaceNode | Elara.Data.TopologicalGraph |
| replaceNodeAt | Elara.Data.TopologicalGraph |
| replicate | Prelude |
| replicateM | Prelude |
| replicateM_ | Prelude |
| reportCode | Elara.Error |
| reportElaraWarning | Elara.Error |
| reportMarkers | Elara.Error |
| reportMessage | Elara.Error |
| reportNotes | Elara.Error |
| reportSeverity | Elara.Error |
| reportsToDiagnostic | Elara.Error.Diagnose |
| RequiredDeclarationByName | Elara.Query |
| RequiredDeclNotFound | Elara.Error.Internal |
| reservedWords | Elara.Parse.Expression |
| resetGlobalUniqueSupply | Elara.Data.Unique |
| resolveModules | Elara |
| resolvePartialDeclaration | Elara.Desugar |
| rest | Elara.Lexer.Utils |
| retag | Elara.AST.Location |
| Return | Elara.JVM.IR |
| return | Prelude |
| reverse | Prelude |
| Right | Prelude |
| RightAssociative | Elara.Shunt.Operator |
| rightAssociativeAnnotationName | Elara.Prim |
| rights | Prelude |
| rightToMaybe | Prelude |
| rnf | Prelude |
| Rock | |
| 1 (Type/Class) | Rock |
| 2 (Data Constructor) | Rock |
| root | Elara.SCC.Type |
| round | Prelude |
| rparen | Elara.Data.Pretty |
| Rules | Rock |
| rules | Elara.Rules |
| run | Elara.Interpreter |
| runErrorAsElaraError | Elara.Error |
| runExceptT | Prelude |
| runFreeVarsQuery | Elara.SCC |
| runGetANFCoreModuleQuery | Elara.CoreToCore |
| runGetClosureLiftedModuleQuery | Elara.Core.LiftClosures |
| runGetCoreModuleQuery | Elara.ToCore |
| runGetDataConQuery | Elara.ToCore |
| runGetFileContentsQuery | Elara.ReadFile |
| runGetFinalisedCoreModuleQuery | Elara.CoreToCore |
| runGetJVMClassBytesQuery | Elara.JVM.Query |
| runGetJVMClassFilesQuery | Elara.JVM.Query |
| runGetJVMIRModuleQuery | Elara.JVM.Query |
| runGetOpInfoQuery | Elara.Shunt |
| runGetOpTableInQuery | Elara.Shunt |
| runGetOptimisedCoreModuleQuery | Elara.CoreToCore |
| runGetTyConQuery | Elara.ToCore |
| runGetTypeAliasQuery | Elara.TypeInfer |
| runIdentity | Prelude |
| runIdentityT | Prelude |
| runInferSCCQuery | Elara.TypeInfer |
| runInterpreter | |
| 1 (Function) | Elara.Interpreter |
| 2 (Function) | Elara |
| runInterpreterOutput | Elara.Interpreter |
| runKindOfQuery | Elara.TypeInfer |
| runLiftClosures | Elara.Core.LiftClosures |
| runLogToStdoutAndFile | Elara.Pipeline |
| runMaybeT | Prelude |
| RunPhase | Elara.Query |
| runReachableSubgraphQuery | Elara.SCC |
| runReaderT | Prelude |
| runRock | Rock |
| runStateT | Prelude |
| runTraceable | Elara.Logging |
| runTypeCheckedDeclarationQuery | Elara.TypeInfer |
| runTypeCheckedExprQuery | Elara.TypeInfer |
| runTypeOfQuery | Elara.TypeInfer |
| runWriterAsElaraWarning | Elara.Error |
| RustStyle | Elara.ModuleIndex |
| SafeGPlate | Prelude |
| sameCtor | Elara.Query |
| samePrecedence | Elara.Error.Codes, Elara.Error |
| SamePrecedenceError | Elara.Shunt.Error |
| SAnnPop | Elara.Data.Pretty |
| SAnnPush | Elara.Data.Pretty |
| satisfyMap | Elara.Parse.Primitives |
| scalar | Elara.Data.Pretty.Styles |
| scanl | Prelude |
| scanl' | Prelude |
| scanl1 | Prelude |
| scanr | Prelude |
| scanr1 | Prelude |
| sccContainingRoot | Elara.SCC |
| SCCKey | Elara.SCC.Type |
| sccKeyFromSCC | Elara.SCC.Type |
| SCCKeyOf | Elara.Query |
| sccKeyToSCC | Elara.SCC.Type |
| SChar | Elara.Data.Pretty |
| sconcat | Prelude |
| scoped | Effectful.State.Extra |
| scopedOverLocals | Elara.Interpreter |
| second | Prelude |
| SecondaryMarker | Elara.Error |
| semi | Elara.Data.Pretty |
| Semigroup | Prelude |
| SEmpty | Elara.Data.Pretty |
| sep | Elara.Data.Pretty |
| sepBy1' | Elara.Parse.Combinators |
| sepEndBy1' | Elara.Parse.Combinators |
| Seq | Prelude |
| seq | Prelude |
| sequence | Prelude |
| sequenceA | Prelude |
| sequenceA_ | Prelude |
| sequence_ | Prelude |
| Set | Prelude |
| SetField | Elara.JVM.IR |
| setMonotypeLoc | Elara.TypeInfer.Type |
| SFail | Elara.Data.Pretty |
| Shallow | Elara.Data.Pretty |
| ShortByteString | Prelude |
| Show | Prelude |
| show | Prelude |
| showColored | Print |
| showPretty | Print |
| showPrettyUnannotated | Print |
| showSourceLoc | Elara.Logging |
| showStackTrace | Prelude |
| showTimestamps | Elara.Logging |
| Shunted | Elara.AST.Phases.Shunted |
| ShuntedDeclaration | Elara.AST.Phases.Shunted |
| ShuntedExpr | Elara.AST.Phases.Shunted |
| ShuntedExpr' | Elara.AST.Phases.Shunted |
| ShuntedPattern | Elara.AST.Phases.Shunted |
| ShuntedPattern' | Elara.AST.Phases.Shunted |
| ShuntedType | Elara.AST.Phases.Shunted |
| ShuntedTypeDeclaration | Elara.AST.Phases.Shunted |
| ShuntError | Elara.Shunt.Error |
| shuntExpr | Elara.Shunt |
| ShuntPipelineEffects | Elara.Shunt |
| ShuntWarning | Elara.Shunt.Error |
| signum | Prelude |
| simple | Prelude |
| SimpleDocStream | Elara.Data.Pretty |
| simpleEquality | Elara.TypeInfer.Type |
| simpleTok | Elara.Lexer.Action |
| sin | Prelude |
| singleLineComment | Elara.Lexer.Action |
| sinh | Prelude |
| skipIndents | Elara.Parse.Stream |
| SkolemVar | Elara.TypeInfer.Type |
| slash | Elara.Data.Pretty |
| SLine | Elara.Data.Pretty |
| snd | Prelude |
| softline | Elara.Data.Pretty |
| softline' | Elara.Data.Pretty |
| solveConstraint | Elara.TypeInfer.ConstraintGeneration |
| some | Prelude |
| SomeException | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| SomeNat | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| someNatVal | Prelude |
| sort | Prelude |
| sortBy | Prelude |
| sortNub | Prelude |
| sortOn | Prelude |
| sortWith | Prelude |
| source | Elara.Core.TypeCheck |
| sourceDirs | Elara.Settings |
| sourceFile | Elara.AST.Region |
| sourceFiles | Elara |
| SourceRegion | Elara.AST.Region |
| sourceRegion | Elara.AST.Region |
| sourceRegionToDiagnosePosition | Elara.AST.Region |
| sourceRegionToSourcePos | Elara.Parse.Stream |
| space | Elara.Data.Pretty |
| span | Prelude |
| spanAs | Elara.AST.Location |
| spanningRegion | Elara.AST.Region |
| splitAt | Prelude |
| splitForAlls | Elara.Core.Analysis |
| splitQualName | Elara.Lexer.Utils |
| spToPosition | Elara.AST.Region |
| sqrt | Prelude |
| squote | Elara.Data.Pretty |
| squotes | Elara.Data.Pretty |
| StandardQueryEffects | Elara.Query.Effects |
| StandardQueryError | Elara.Query.Errors |
| startPos | Elara.AST.Region |
| startWhite | Elara.Lexer.Utils |
| state | Prelude |
| StateSource | Elara.Interpreter |
| stateSource | Elara.Interpreter |
| StateT | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| StaticMethod | Elara.JVM.Lower.Function |
| StaticRep | Rock |
| stderr | Prelude |
| stdin | Prelude |
| stdout | Prelude |
| SText | Elara.Data.Pretty |
| stimes | Prelude |
| stimesIdempotent | Prelude |
| stimesIdempotentMonoid | Prelude |
| stimesMonoid | Prelude |
| STM | Prelude |
| strictDecode | Prelude |
| String | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Elara.Core |
| 3 (Data Constructor) | Elara.Interpreter |
| stringBuf | Elara.Lexer.Utils |
| stringCon | Elara.Prim.Core |
| stringLiteral | Elara.Parse.Literal |
| stringSC | Elara.Lexer.Lexer |
| stringTypeName | Elara.JVM.Emit.Types |
| stripTag | Elara.AST.Location |
| StructuredDebug | Elara.Logging |
| structuredDebugToLog | Elara.Logging |
| structuredDebugToLogWith | Elara.Logging |
| subsequences | Prelude |
| subst | Elara.CoreToCore |
| Substitutable | Elara.TypeInfer.Type |
| SubstitutableExpr | |
| 1 (Type/Class) | Elara.TypeInfer.Substitute |
| 2 (Data Constructor) | Elara.TypeInfer.Substitute |
| substitute | Elara.TypeInfer.Type |
| substituteAll | Elara.TypeInfer.Type |
| substituteAllContextStack | Elara.TypeInfer.Type |
| substituteContextStack | Elara.TypeInfer.Type |
| Substitution | |
| 1 (Type/Class) | Elara.TypeInfer.Type |
| 2 (Data Constructor) | Elara.TypeInfer.Type |
| substitution | Elara.TypeInfer.Type |
| substType | Elara.Core.Analysis |
| substTypeVar | Elara.Core |
| Subsumes | Elara.AST.Location |
| Subtract | Elara.JVM.IR |
| subtract | Prelude |
| succ | Prelude |
| Sum | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| sum | Prelude |
| Super | Elara.JVM.IR |
| surround | Elara.Data.Pretty |
| swap | Prelude |
| swapMVar | Prelude |
| swapTMVar | Prelude |
| SymOp | Elara.AST.Types |
| tag | Elara.AST.Location |
| TaggedLocate | |
| 1 (Type/Class) | Elara.AST.Location |
| 2 (Data Constructor) | Elara.AST.Location |
| taggedLocated | Elara.Parse.Primitives |
| tagLocated | Elara.AST.Location |
| tagQuery | Elara.Query |
| tail | Prelude |
| tails | Prelude |
| take | Prelude |
| takeMVar | Prelude |
| takeTMVar | Prelude |
| takeWhile | Prelude |
| tan | Prelude |
| tanh | Prelude |
| TApp | Elara.AST.Types |
| TermVarKey | Elara.TypeInfer.Environment |
| Text | Prelude |
| TExtension | Elara.AST.Types |
| TFun | Elara.AST.Types |
| thenSite | Elara.TypeInfer.Context |
| This | Elara.JVM.IR |
| thisClassName | Elara.JVM.Emit.State |
| throwSTM | Prelude |
| Thunk | Elara.Interpreter |
| ThunkState | Elara.Interpreter |
| TList | Elara.AST.Types |
| TMVar | Prelude |
| to | Prelude |
| ToANF | Elara.Core.ToANF |
| toANF | Elara.Core.ToANF |
| toANF' | Elara.Core.ToANF |
| toANFCont | Elara.Core.ToANF |
| toANFRec | Elara.Core.ToANF |
| toDiagnoseReports | Elara.Error.Diagnose |
| TODO | TODO |
| todo | TODO |
| toEnum | Prelude |
| toException | Prelude |
| toHeadAndTail | Elara.Data.AtLeast2List |
| toInteger | Prelude |
| toIntegralSized | Prelude |
| Token | Elara.Lexer.Token |
| token | Elara.Parse.Primitives |
| TokenAlias | Elara.Lexer.Token |
| TokenAs | Elara.Lexer.Token |
| TokenAt | Elara.Lexer.Token |
| TokenBackslash | Elara.Lexer.Token |
| TokenBacktick | Elara.Lexer.Token |
| TokenCase | Elara.Lexer.Token |
| TokenChar | Elara.Lexer.Token |
| TokenClass | Elara.Lexer.Token |
| TokenColon | Elara.Lexer.Token |
| TokenComma | Elara.Lexer.Token |
| TokenConstructorIdentifier | Elara.Lexer.Token |
| TokenData | Elara.Lexer.Token |
| TokenDedent | Elara.Lexer.Token |
| TokenDef | Elara.Lexer.Token |
| TokenDeriving | Elara.Lexer.Token |
| TokenDot | Elara.Lexer.Token |
| TokenDoubleColon | Elara.Lexer.Token |
| TokenDoubleRightArrow | Elara.Lexer.Token |
| TokenElse | Elara.Lexer.Token |
| tokenEndsExpr | Elara.Lexer.Token |
| TokenEOF | Elara.Lexer.Token |
| TokenEquals | Elara.Lexer.Token |
| TokenExposing | Elara.Lexer.Token |
| TokenFloat | Elara.Lexer.Token |
| TokenForall | Elara.Lexer.Token |
| TokenHash | Elara.Lexer.Token |
| TokenHiding | Elara.Lexer.Token |
| TokenIf | Elara.Lexer.Token |
| TokenImport | Elara.Lexer.Token |
| TokenIn | Elara.Lexer.Token |
| TokenIndent | Elara.Lexer.Token |
| TokenInstance | Elara.Lexer.Token |
| TokenInt | Elara.Lexer.Token |
| TokenLeftArrow | Elara.Lexer.Token |
| TokenLeftBrace | Elara.Lexer.Token |
| TokenLeftBracket | Elara.Lexer.Token |
| TokenLeftParen | Elara.Lexer.Token |
| tokenLength | Elara.Parse.Stream |
| TokenLet | Elara.Lexer.Token |
| TokenLineSeparator | Elara.Lexer.Token |
| TokenMatch | Elara.Lexer.Token |
| TokenModule | Elara.Lexer.Token |
| TokenOf | Elara.Lexer.Token |
| TokenOperatorIdentifier | Elara.Lexer.Token |
| TokenPipe | Elara.Lexer.Token |
| TokenQConstructorIdentifier | Elara.Lexer.Token |
| TokenQOperatorIdentifier | Elara.Lexer.Token |
| TokenQualified | Elara.Lexer.Token |
| TokenQVariableIdentifier | Elara.Lexer.Token |
| tokenRepr | Elara.Lexer.Token |
| TokenRightArrow | Elara.Lexer.Token |
| TokenRightBrace | Elara.Lexer.Token |
| TokenRightBracket | Elara.Lexer.Token |
| TokenRightParen | Elara.Lexer.Token |
| tokensConsumed | Elara.Parse.Stream |
| TokenSemicolon | Elara.Lexer.Token |
| TokenStream | |
| 1 (Type/Class) | Elara.Parse.Stream |
| 2 (Data Constructor) | Elara.Parse.Stream |
| tokenStreamInput | Elara.Parse.Stream |
| tokenStreamTokens | Elara.Parse.Stream |
| TokenString | Elara.Lexer.Token |
| TokenThen | Elara.Lexer.Token |
| TokenType | Elara.Lexer.Token |
| TokenUnderscore | Elara.Lexer.Token |
| TokenVariableIdentifier | Elara.Lexer.Token |
| TokenWhere | Elara.Lexer.Token |
| TokenWith | Elara.Lexer.Token |
| token_ | Elara.Parse.Primitives |
| TokPosition | Elara.Lexer.Token |
| toLazy | Prelude |
| toList | |
| 1 (Function) | Prelude |
| 2 (Function) | Elara.Data.AtLeast2List |
| toListOf | Prelude |
| ToLText | Prelude |
| toLText | Prelude |
| ToName | Elara.AST.Name |
| toName | Elara.AST.Name |
| toNonEmpty | Elara.Data.AtLeast2List |
| tooManyDeclarations | Elara.Error.Codes, Elara.Error |
| TooMuchIndentation | Elara.Lexer.Utils |
| tooMuchIndentation | Elara.Error.Codes, Elara.Error |
| TopLevelBind | Elara.Core.ANF |
| TopologicalGraph | |
| 1 (Type/Class) | Elara.Data.TopologicalGraph |
| 2 (Data Constructor) | Elara.Data.TopologicalGraph |
| TopTypeBinder | Elara.AST.Phase |
| TopValueBinder | Elara.AST.Phase |
| toRational | Prelude |
| toShort | Prelude |
| toStrict | Prelude |
| ToString | Prelude |
| toString | Prelude |
| ToText | Prelude |
| toText | Prelude |
| trace | Prelude |
| TraceableFn | |
| 1 (Type/Class) | Elara.Logging |
| 2 (Data Constructor) | Elara.Logging |
| traceFn | Elara.Logging |
| traceId | Prelude |
| traceM | Prelude |
| tracePretty | Print |
| traceShow | Prelude |
| traceShowId | Prelude |
| traceShowM | Prelude |
| traceShowWith | Prelude |
| tracingRules | Rock.Memo |
| transform | Prelude |
| transformMOf | Prelude |
| transformOf | Prelude |
| transformOf' | Prelude |
| translateEscapedChar | Elara.Lexer.Char |
| translateOperatorName | Elara.JVM.Emit.Operator |
| translations | Elara.JVM.Emit.Operator |
| transpose | Prelude |
| Traversable | Prelude |
| Traversal | Prelude |
| Traversal' | Prelude |
| traversalVL | Prelude |
| traverse | Prelude |
| traverseBind | Elara.Core.Generic |
| traversed | Prelude |
| traverseExpressionExtensionExprs | Elara.AST.Traversal |
| traverseExprExprs | Elara.AST.Traversal |
| TraverseExtensions | Elara.AST.Traversal |
| traverseGraph | Elara.Data.TopologicalGraph |
| traverseGraphRevTopologically | Elara.Data.TopologicalGraph |
| traverseGraphRevTopologically_ | Elara.Data.TopologicalGraph |
| traverseGraphTopologically | Elara.Data.TopologicalGraph |
| traverseGraphTopologically_ | Elara.Data.TopologicalGraph |
| traverseGraph_ | Elara.Data.TopologicalGraph |
| traverseOf | Prelude |
| traversePatternExtensionPats | Elara.AST.Traversal |
| traversePatternPats | Elara.AST.Traversal |
| traverseTypeExtensionTypes | Elara.AST.Traversal |
| traverseTypeTypes | Elara.AST.Traversal |
| traverse_ | Prelude |
| TRecord | Elara.AST.Types |
| triggerBlockLayout | Elara.Lexer.Utils |
| triggerIndentLayout | Elara.Lexer.Utils |
| True | Prelude |
| trueCtor | Elara.Prim.Core |
| trueCtorName | Elara.Prim |
| truncate | Prelude |
| tryPutMVar | Prelude |
| tryPutTMVar | Prelude |
| tryReadMVar | Prelude |
| tryReadTMVar | Prelude |
| tryTakeMVar | Prelude |
| tryTakeTMVar | Prelude |
| TUnit | Elara.AST.Types |
| tuple2Con | Elara.Prim.Core |
| tuple2CtorName | Elara.Prim |
| tupled | Elara.Data.Pretty |
| TupleExpression | Elara.AST.Extensions |
| TupleExprExtension | Elara.AST.Extensions |
| tupleNCtorName | Elara.Prim |
| TuplePattern | Elara.AST.Extensions |
| TuplePatternTooShort | Elara.Desugar.Error |
| tuplePatternTooShort | Elara.Error.Codes, Elara.Error |
| TupleType | Elara.AST.Extensions |
| tupleType | Elara.Parse.Type |
| TupleTypeExtension | Elara.AST.Extensions |
| TUserDefined | Elara.AST.Types |
| TVar | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Elara.AST.Types |
| tvKind | Elara.Core |
| tvName | Elara.Core |
| TyADT | Elara.Core |
| TyAlias | Elara.Core |
| TyApp | |
| 1 (Data Constructor) | Elara.Core |
| 2 (Data Constructor) | Elara.Core.ANF |
| TyCon | |
| 1 (Type/Class) | Elara.Core |
| 2 (Data Constructor) | Elara.Core |
| TyConDetails | Elara.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 |
| Typeable | Prelude |
| typeArity | Elara.Core |
| typeBody | Elara.Core.Module |
| typeCheckCoreModule | Elara.Core.TypeCheck |
| TypeCheckedDeclaration | Elara.Query |
| TypeCheckedExpr | Elara.Query |
| TypeCheckError | Elara.Core.TypeCheck |
| TypeConstructor | Elara.TypeInfer.Type |
| TypeConstructorMismatch | Elara.TypeInfer.Error |
| typeConstructorMismatch | Elara.Error.Codes, Elara.Error |
| TypeConvertError | Elara.TypeInfer.Convert |
| Typed | Elara.AST.Phases.Typed |
| TypedDeclaration | Elara.AST.Phases.Typed |
| TypedDeclaration' | Elara.AST.Phases.Typed |
| TypedDeclarationBody | Elara.AST.Phases.Typed |
| TypedDeclarationBody' | Elara.AST.Phases.Typed |
| TypeDeclaration | Elara.AST.Types |
| typeDeclaration | Elara.Parse.Declaration |
| TypeDeclarationBody | Elara.AST.Types |
| TypeDeclMetadata | Elara.AST.Phase |
| typeDependencies | Elara.SCC |
| TypedExpr | Elara.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 |
| TypedPattern | Elara.AST.Phases.Typed |
| TypedPattern' | Elara.AST.Phases.Typed |
| TypedType | Elara.AST.Phases.Typed |
| TypedType' | Elara.AST.Phases.Typed |
| TypedTypeDeclaration | Elara.AST.Phases.Typed |
| TypeEnvironment | |
| 1 (Type/Class) | Elara.TypeInfer.Environment |
| 2 (Data Constructor) | Elara.TypeInfer.Environment |
| TypeEnvKey | Elara.TypeInfer.Environment |
| TypeKind | Elara.Data.Kind |
| TypeLoc | Elara.AST.Location |
| typeLoc | Elara.TypeInfer.Type |
| TypeMeta | Elara.AST.Phase |
| TypeMismatch | |
| 1 (Data Constructor) | Elara.TypeInfer.Error |
| 2 (Data Constructor) | Elara.Interpreter |
| typeMismatch | Elara.Error.Codes, Elara.Error |
| TypeName | |
| 1 (Type/Class) | Elara.AST.Name |
| 2 (Data Constructor) | Elara.AST.Name |
| typeName | Elara.Data.Pretty.Styles |
| typeNames | Elara.Rename.State |
| TypeNode | Elara.AST.Location |
| typeNotApplication | Elara.Parse.Type |
| TypeOccurrence | Elara.AST.Phase |
| TypeOf | Elara.Query |
| typeRegion | |
| 1 (Function) | Elara.Parse.Type |
| 2 (Function) | Elara.Parse.Declaration |
| TypeSyntaxExtension | Elara.AST.Phase |
| typeTerm | Elara.Parse.Type |
| TypeVar | |
| 1 (Data Constructor) | Elara.TypeInfer.Type |
| 2 (Type/Class) | Elara.Data.Kind |
| typeVar | Elara.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 |
| TypeVarInPattern | Elara.JVM.Error |
| typeVars | |
| 1 (Function) | Elara.Rename.State |
| 2 (Function) | Elara.Core.Module |
| TyVar | Elara.Core |
| TyVarInTermPosition | Elara.Core.LiftClosures.Error, Elara.Core.LiftClosures |
| TyVarTy | Elara.Core |
| 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 |
| unboundKindVar | Elara.Error.Codes, Elara.Error |
| 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 |
| unitCtor | Elara.Prim.Core |
| unitCtorName | Elara.Prim |
| unitLiteral | Elara.Parse.Literal |
| universe | Prelude |
| universeNonEmpty | Prelude |
| UnknownCurrentModule | Elara.Rename.Error |
| unknownCurrentModule | Elara.Error.Codes, Elara.Error |
| unknownDataConstructor | Elara.Error.Codes, Elara.Error |
| UnknownKind | Elara.Data.Kind.Infer |
| unknownKind | Elara.Error.Codes, Elara.Error |
| unknownLambdaType | Elara.Error.Codes, Elara.Error |
| UnknownModule | Elara.Rename.Error |
| unknownModule | Elara.Error.Codes, Elara.Error |
| UnknownName | |
| 1 (Data Constructor) | Elara.JVM.Emit.State |
| 2 (Data Constructor) | Elara.Rename.Error |
| unknownName | Elara.Error.Codes, Elara.Error |
| UnknownOperator | Elara.Shunt.Error |
| unknownOperator | Elara.Error.Codes, Elara.Error |
| UnknownPrecedence | Elara.Shunt.Error |
| unknownPrecedence | Elara.Error.Codes, Elara.Error |
| unknownPrimConstructor | Elara.Error.Codes, Elara.Error |
| UnknownPrimitive | Elara.Interpreter |
| unknownTypeConstructor | Elara.Error.Codes, Elara.Error |
| UnknownTypeVariable | Elara.Rename.Error |
| unknownTypeVariable | Elara.Error.Codes, Elara.Error |
| UnknownVariable | Elara.Core.TypeCheck |
| unknownVariable | |
| 1 (Function) | Elara.Error.Codes, Elara.Error |
| 2 (Function) | Elara.Core.TypeCheck |
| unknownVariableScope | Elara.Core.TypeCheck |
| unknownVariableTC | Elara.Error.Codes, Elara.Error |
| 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 |
| unsolvedTypeSnuckIn | Elara.Error.Codes, Elara.Error |
| unstableNub | Prelude |
| UnsupportedExpressionType | Elara.JVM.Error |
| UnsupportedLiteral | Elara.JVM.Error |
| UnsupportedType | Elara.JVM.Error |
| UnterminatedStringLiteral | Elara.Lexer.Utils |
| unterminatedStringLiteral | Elara.Error.Codes, Elara.Error |
| unwords | Prelude |
| unWParseErrorBundle | Elara.Parse.Error |
| Unwrap | Elara.Data.Unwrap |
| unwrap | Elara.Data.Unwrap |
| unwrapLoc | Elara.AST.Location |
| UnwrapNodeLoc | Elara.AST.Location |
| unzip | Prelude |
| unzip3 | Prelude |
| use' | Effectful.State.Extra |
| uselessLetInline | Elara.CoreToCore |
| usingReader | Prelude |
| usingReaderT | Prelude |
| usingState | Prelude |
| usingStateT | Prelude |
| vacuous | Prelude |
| validateConstExpr | Elara.Parse.Annotation |
| Value | Elara.Interpreter |
| ValueBinder | Elara.AST.Phase |
| ValueDeclaration | Elara.AST.Types |
| ValueDeclMetadata | Elara.AST.Phase |
| ValueDeclPatterns | Elara.AST.Phase |
| ValueDeclTypeAnnotation | Elara.AST.Phase |
| valueDependencies | Elara.SCC |
| ValueOccurrence | Elara.AST.Phase |
| Var | |
| 1 (Data Constructor) | Elara.Core |
| 2 (Type/Class) | Elara.Core |
| 3 (Data Constructor) | Elara.Core.ANF |
| VariableExtension | Elara.AST.Phase |
| VariableNotFound | Elara.Core.LiftClosures.Error, Elara.Core.LiftClosures |
| varId | Elara.Parse.Names |
| VarKind | Elara.Data.Kind |
| VarLoc | Elara.AST.Location |
| VarName | Elara.AST.Name |
| varName | |
| 1 (Function) | Elara.Data.Pretty.Styles |
| 2 (Function) | Elara.Parse.Names |
| varNames | Elara.Rename.State |
| VarNode | Elara.AST.Location |
| varOrConName | Elara.Parse.Names |
| VarRef | Elara.AST.VarRef |
| VarRef' | Elara.AST.VarRef |
| VarRefImpl | Elara.AST.VarRef |
| VarRefKind | Elara.AST.VarRef |
| varRefVal | Elara.AST.VarRef |
| varRefVal' | Elara.AST.VarRef |
| varTermType | Elara.Core.LiftClosures.Util |
| varType | Elara.Core.Analysis |
| vcat | Elara.Data.Pretty |
| vertexFromKey | Elara.Data.TopologicalGraph |
| viaNonEmpty | Prelude |
| viaShow | Elara.Data.Pretty |
| view | Prelude |
| Void | Prelude |
| void | Prelude |
| VPrimOp | Elara.Interpreter |
| vsep | Elara.Data.Pretty |
| Warning | Elara.Logging |
| warning | Elara.Data.Pretty.Styles |
| WarningSeverity | Elara.Error |
| when | Prelude |
| whenJust | Prelude |
| whenJustM | Prelude |
| whenLeft | Prelude |
| whenLeftM | Prelude |
| whenLeftM_ | Prelude |
| whenLeft_ | Prelude |
| whenM | Prelude |
| whenNothing | Prelude |
| whenNothingM | Prelude |
| whenNothingM_ | Prelude |
| whenNothing_ | Prelude |
| whenNotNull | Prelude |
| whenNotNullM | Prelude |
| whenRight | Prelude |
| whenRightM | Prelude |
| whenRightM_ | Prelude |
| whenRight_ | Prelude |
| wholeExpr | Elara.Parse.Error |
| Widen | Elara.AST.Location |
| widen | Elara.AST.Location |
| width | Elara.Data.Pretty |
| WiredInBool | Elara.Prim |
| WiredInList | Elara.Prim |
| WiredInOrdering | Elara.Prim |
| WiredInPrim | Elara.Prim |
| wiredInPrimCtors | Elara.Prim |
| WiredInTuple2 | Elara.Prim |
| wiredInTyCon | Elara.Prim.Core |
| WiredInUnit | Elara.Prim |
| withCompilerEnv | Elara |
| withFile | Prelude |
| withFrozenCallStack | Prelude |
| withLocalType | Elara.TypeInfer.Environment |
| withLocationOf | Elara.AST.Region |
| withName | Elara.AST.VarRef |
| withName' | Elara.AST.VarRef |
| withNamespace | Elara.Logging |
| withoutMemoisation | Rock.Memo |
| withOverriddenNamespace | Elara.Logging |
| withPredicate | Elara.Parse.Primitives |
| withReader | Prelude |
| withReaderT | Prelude |
| WithRock | |
| 1 (Type/Class) | Elara.Query |
| 2 (Type/Class) | Elara.Query.Common |
| withState | Prelude |
| Word | Prelude |
| Word16 | Prelude |
| Word32 | Prelude |
| Word64 | Prelude |
| Word8 | Prelude |
| words | Prelude |
| WParseErrorBundle | |
| 1 (Type/Class) | Elara.Parse.Error |
| 2 (Data Constructor) | Elara.Parse.Error |
| wrap | Elara.AST.Location |
| WrapNode | Elara.AST.Location |
| WrappedMonoid | Prelude |
| writeFile | Prelude |
| writeFileBS | Prelude |
| writeFileLBS | Prelude |
| writeFileLText | Prelude |
| writeFileText | Prelude |
| writeIORef | Prelude |
| WriteMode | Prelude |
| writeTVar | Prelude |
| xor | Prelude |
| zip | Prelude |
| zip3 | Prelude |
| ZipList | |
| 1 (Type/Class) | Prelude |
| 2 (Data Constructor) | Prelude |
| zipWith | Prelude |
| zipWithM | Prelude |
| zipWithM_ | Prelude |
| ^ | Prelude |
| ^. | Prelude |
| ^.. | Prelude |
| ^? | Prelude |
| ^^ | Prelude |
| _1 | Prelude |
| _2 | Prelude |
| _3 | Prelude |
| _column | Elara.AST.Region |
| _Ctor | Prelude |
| _Ctor' | Prelude |
| _Empty | Prelude |
| _endPos | Elara.AST.Region |
| _GeneratedPosition | Elara.AST.Region |
| _GeneratedRegion | Elara.AST.Region |
| _IgnoreLocation | Elara.AST.Region |
| _Just | Prelude |
| _Left | Prelude |
| _line | Elara.AST.Region |
| _Located | Elara.AST.Region |
| _maybeQualifiedName | Elara.AST.Name |
| _maybeQualifiedQualifier | Elara.AST.Name |
| _moduleGraph | Elara.Data.TopologicalGraph |
| _nodeFromVertex | Elara.Data.TopologicalGraph |
| _Nothing | Prelude |
| _partialDeclarations | Elara.Desugar |
| _qualifiedName | Elara.AST.Name |
| _RealPosition | Elara.AST.Region |
| _RealSourceRegion | Elara.AST.Region |
| _Right | Prelude |
| _sourceFile | Elara.AST.Region |
| _startPos | Elara.AST.Region |
| _uniqueSupplyUniques | Elara.Data.Unique |
| _unqualifiedName | Elara.AST.Name |
| _vertexFromKey | Elara.Data.TopologicalGraph |
| || | Prelude |
| ||^ | Prelude |
| ~ | Prelude |