caffeine_lang/frontend/validator

Types

Errors that can occur during validation.

pub type ValidatorError {
  DuplicateExtendable(name: String)
  UndefinedExtendable(name: String, referenced_by: String)
  DuplicateExtendsReference(name: String, referenced_by: String)
  InvalidExtendableKind(
    name: String,
    expected: String,
    got: String,
  )
  UndefinedTypeAlias(name: String, referenced_by: String)
  DuplicateTypeAlias(name: String)
  CircularTypeAlias(name: String, cycle: List(String))
  InvalidDictKeyTypeAlias(
    alias_name: String,
    resolved_to: String,
    referenced_by: String,
  )
}

Constructors

  • DuplicateExtendable(name: String)
  • UndefinedExtendable(name: String, referenced_by: String)
  • DuplicateExtendsReference(name: String, referenced_by: String)
  • InvalidExtendableKind(
      name: String,
      expected: String,
      got: String,
    )
  • UndefinedTypeAlias(name: String, referenced_by: String)
  • DuplicateTypeAlias(name: String)
  • CircularTypeAlias(name: String, cycle: List(String))
  • InvalidDictKeyTypeAlias(
      alias_name: String,
      resolved_to: String,
      referenced_by: String,
    )
Search Document