pub type ValidatorError {
  DuplicateExtendable(name: String)
  UndefinedExtendable(
    name: String,
    referenced_by: String,
    candidates: List(String),
  )
  DuplicateExtendsReference(name: String, referenced_by: String)
  InvalidExtendableKind(
    name: String,
    expected: String,
    got: String,
  )
  UndefinedTypeAlias(
    name: String,
    referenced_by: String,
    candidates: List(String),
  )
  DuplicateTypeAlias(name: String)
  CircularTypeAlias(name: String, cycle: List(String))
  InvalidDictKeyTypeAlias(
    alias_name: String,
    resolved_to: String,
    referenced_by: String,
  )
  ExtendableOvershadowing(
    field_name: String,
    item_name: String,
    extendable_name: String,
  )
  ExtendableTypeAliasNameCollision(name: String)
  InvalidRefinementValue(
    value: String,
    expected_type: String,
    referenced_by: String,
  )
  InvalidPercentageBounds(value: String, referenced_by: String)
}

Constructors

• DuplicateExtendable(name: String)

• UndefinedExtendable(
    name: String,
    referenced_by: String,
    candidates: List(String),
  )

• DuplicateExtendsReference(name: String, referenced_by: String)

• InvalidExtendableKind(
    name: String,
    expected: String,
    got: String,
  )

• UndefinedTypeAlias(
    name: String,
    referenced_by: String,
    candidates: List(String),
  )

• DuplicateTypeAlias(name: String)

• CircularTypeAlias(name: String, cycle: List(String))

• InvalidDictKeyTypeAlias(
    alias_name: String,
    resolved_to: String,
    referenced_by: String,
  )

• ExtendableOvershadowing(
    field_name: String,
    item_name: String,
    extendable_name: String,
  )

• ExtendableTypeAliasNameCollision(name: String)

• InvalidRefinementValue(
    value: String,
    expected_type: String,
    referenced_by: String,
  )

• InvalidPercentageBounds(value: String, referenced_by: String)