| 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 |