Type Members

1.  sealed abstract class Context extends Product with Serializable
2.  final case class EBadInheritedChoices(context: Context, iface: TypeConName, template: TypeConName, expected: Set[ChoiceName], got: Set[ChoiceName]) extends ValidationError with Product with Serializable
3.  final case class ECircularInterfaceRequires(context: Context, iface: TypeConName) extends ValidationError with Product with Serializable
4.  final case class EClashingPatternVariables(context: Context, varName: ExprVarName) extends ValidationError with Product with Serializable
5.  final case class ECollision(pkgId: PackageId, entity1: NamedEntity, entity2: NamedEntity) extends ValidationError with Product with Serializable
6.  final case class EDuplicateEnumCon(context: Context, conName: EnumConName) extends ValidationError with Product with Serializable
7.  final case class EDuplicateField(context: Context, fieldName: FieldName) extends ValidationError with Product with Serializable
8.  final case class EDuplicateTypeParam(context: Context, typeParam: TypeVarName) extends ValidationError with Product with Serializable
9.  final case class EDuplicateVariantCon(context: Context, conName: VariantConName) extends ValidationError with Product with Serializable
10.  final case class EEmptyCase(context: Context) extends ValidationError with Product with Serializable
11.  final case class EEmptyConsFront(context: Context) extends ValidationError with Product with Serializable
12.  final case class EExpectedAnyType(context: Context, typ: Type) extends ValidationError with Product with Serializable
13.  final case class EExpectedDataType(context: Context, typ: Type) extends ValidationError with Product with Serializable
14.  final case class EExpectedEnumType(context: Context, conName: TypeConName) extends ValidationError with Product with Serializable
15.  final case class EExpectedExceptionType(context: Context, typ: Type) extends ValidationError with Product with Serializable
16.  final case class EExpectedExceptionableType(context: Context, conName: TypeConName) extends ValidationError with Product with Serializable
17.  final case class EExpectedFunctionType(context: Context, typ: Type) extends ValidationError with Product with Serializable
18.  final case class EExpectedHigherKind(context: Context, kind: Kind) extends ValidationError with Product with Serializable
19.  final case class EExpectedListType(context: Context, typ: Type) extends ValidationError with Product with Serializable
20.  final case class EExpectedOptionType(context: Context, typ: Type) extends ValidationError with Product with Serializable
21.  final case class EExpectedRecordType(context: Context, conApp: TypeConApp) extends ValidationError with Product with Serializable
22.  final case class EExpectedScenarioType(context: Context, typ: Type) extends ValidationError with Product with Serializable
23.  final case class EExpectedSerializableType(context: Context, requirement: SerializabilityRequirement, typ: Type, reason: UnserializabilityReason) extends ValidationError with Product with Serializable
24.  final case class EExpectedStructType(context: Context, typ: Type) extends ValidationError with Product with Serializable
25.  final case class EExpectedTemplatableType(context: Context, conName: TypeConName) extends ValidationError with Product with Serializable
26.  final case class EExpectedUniversalType(context: Context, typ: Type) extends ValidationError with Product with Serializable
27.  final case class EExpectedUpdateType(context: Context, typ: Type) extends ValidationError with Product with Serializable
28.  final case class EExpectedVariantType(context: Context, conName: TypeConName) extends ValidationError with Product with Serializable
29.  final case class EFieldMismatch(context: Context, conApp: TypeConApp, fields: ImmArray[(FieldName, Expr)]) extends ValidationError with Product with Serializable
30.  final case class EForbiddenPartyLiterals(context: Context, ref: PartyLiteralRef) extends ValidationError with Product with Serializable
31.  final case class EIllegalEnumArgument(context: Context, typ: Type) extends ValidationError with Product with Serializable
32.  final case class EIllegalHigherEnumType(context: Context, defn: TypeConName) extends ValidationError with Product with Serializable
33.  final case class EIllegalHigherInterfaceType(context: Context, defn: TypeConName) extends ValidationError with Product with Serializable
34.  final case class EIllegalKeyExpression(context: Context, expr: Expr) extends ValidationError with Product with Serializable
35.  final case class EIllegalShadowingExprVar(context: Context, varName: ExprVarName) extends ValidationError with Product with Serializable
36.  final case class EImportCycle(context: Context, modName: List[ModuleName]) extends ValidationError with Product with Serializable
37.  final case class EImpredicativePolymorphism(context: Context, typ: Type) extends ValidationError with Product with Serializable
38.  final case class EKeyOperationForTemplateWithNoKey(context: Context, template: TypeConName) extends ValidationError with Product with Serializable
39.  final case class EKindMismatch(context: Context, foundKind: Kind, expectedKind: Kind) extends ValidationError with Product with Serializable
40.  final case class EMissingInterfaceMethod(context: Context, template: TypeConName, iface: TypeConName, method: MethodName) extends ValidationError with Product with Serializable
41.  final case class EMissingRequiredInterface(context: Context, template: TypeConName, requiringIface: TypeConName, missingRequiredIface: TypeConName) extends ValidationError with Product with Serializable
42.  final case class EModuleVersionDependencies(pkgId: PackageId, pkgLangVersion: LanguageVersion, depPkgId: PackageId, dependencyLangVersion: LanguageVersion) extends ValidationError with Product with Serializable
43.  final case class ENatKindRightOfArrow(context: Context, kind: Kind) extends ValidationError with Product with Serializable
44.  final case class ENonExhaustivePatterns(context: Context, missingPatterns: List[CasePat], scrutineeType: Type) extends ValidationError with Product with Serializable
45.  final case class ENotClosedInterfaceRequires(context: Context, iface: TypeConName, requiredIface: TypeConName, missingRequiredIface: TypeConName) extends ValidationError with Product with Serializable
46.  final case class EPatternTypeMismatch(context: Context, pattern: CasePat, scrutineeType: Type) extends ValidationError with Product with Serializable
47.  final case class ETemplateDoesNotImplementInterface(context: Context, template: TypeConName, iface: TypeConName) extends ValidationError with Product with Serializable
48.  final case class ETypeConAppWrongArity(context: Context, expectedArity: Int, conApp: TypeConApp) extends ValidationError with Product with Serializable
49.  final case class ETypeConMismatch(context: Context, foundConName: TypeConName, expectedConName: TypeConName) extends ValidationError with Product with Serializable
50.  final case class ETypeMismatch(context: Context, foundType: Type, expectedType: Type, expr: Option[Expr]) extends ValidationError with Product with Serializable
51.  final case class ETypeSynAppWrongArity(context: Context, expectedArity: Int, syn: TypeSynName, args: ImmArray[Type]) extends ValidationError with Product with Serializable
52.  final case class ETypeSynCycle(context: Context, names: List[TypeSynName]) extends ValidationError with Product with Serializable
53.  final case class EUnknownDefinition(context: Context, lookupError: LookupError) extends ValidationError with Product with Serializable
54.  final case class EUnknownEnumCon(context: Context, conName: EnumConName) extends ValidationError with Product with Serializable
55.  final case class EUnknownExprVar(context: Context, varName: ExprVarName) extends ValidationError with Product with Serializable
56.  final case class EUnknownField(context: Context, fieldName: FieldName) extends ValidationError with Product with Serializable
57.  final case class EUnknownInterfaceMethod(context: Context, template: TypeConName, iface: TypeConName, method: MethodName) extends ValidationError with Product with Serializable
58.  final case class EUnknownTypeVar(context: Context, varName: TypeVarName) extends ValidationError with Product with Serializable
59.  final case class EUnknownVariantCon(context: Context, conName: VariantConName) extends ValidationError with Product with Serializable
60.  final case class EWrongInterfaceRequirement(context: Context, requiringIface: TypeConName, wrongRequiredIface: TypeConName) extends ValidationError with Product with Serializable
61.  sealed trait NamedEntity extends Product with Serializable
62.  final case class PartyLiteral(party: Party) extends PartyLiteralRef with Product with Serializable
63.  sealed abstract class PartyLiteralRef extends Product with Serializable
64.  sealed abstract class SerializabilityRequirement extends Product with Serializable
65.  final case class TPChoice(template: TemplateChoice) extends TemplatePart with Product with Serializable
66.  sealed abstract class TemplatePart extends Product with Serializable
67.  final case class URDataType(conName: TypeConName) extends UnserializabilityReason with Product with Serializable
68.  final case class URFreeVar(varName: TypeVarName) extends UnserializabilityReason with Product with Serializable
69.  final case class URHigherKinded(varName: TypeVarName, kind: Kind) extends UnserializabilityReason with Product with Serializable
70.  final case class URTypeSyn(synName: TypeSynName) extends UnserializabilityReason with Product with Serializable
71.  sealed abstract class UnserializabilityReason extends Product with Serializable
72.  final case class ValRefWithPartyLiterals(valueRef: ValueRef) extends PartyLiteralRef with Product with Serializable
73.  abstract class ValidationError extends RuntimeException with Product with Serializable