Enum ParentType 

pub enum ParentType {
    Primitive {
        primitive: PrimitiveKind,
    },
    Custom {
        name: String,
    },
    Qualified {
        spec_alias: String,
        inner: Box<ParentType>,
    },
    Ranged {
        inner: Box<ParentType>,
    },
    List {
        inner: Box<ParentType>,
    },
}

Parent type in a type definition: built-in primitive or custom type name.

name is the declared type name (the data name that introduces this type). For data temperature: measure, name = “temperature”, primitive = Measure.

ParentType::Custom is a bare type or Spec name. Pin and @repo live on uses, not on a list or type parent (uses tax_bracket 2024 then data brackets: tax_bracket list).

Variants

Primitive

Fields

primitive: PrimitiveKind

Custom

Fields

name: String

Qualified

Parent type defined in another spec: spec_alias.inner (e.g. data x: finance.money). inner must be ParentType::Primitive or ParentType::Custom, not nested ParentType::Qualified.

Fields

spec_alias: String

inner: Box<ParentType>

Ranged

Range over an element type: <inner> range (e.g. money range, date range).

Fields

inner: Box<ParentType>

List

List of an element type: <inner> list (e.g. money list, money range list).

Fields

inner: Box<ParentType>

Implementations

impl ParentType

pub fn custom(name: impl Into<String>) -> Self

Local custom type name.

Trait Implementations

impl Clone for ParentType

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ParentType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for ParentType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ParentType

impl Hash for ParentType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ParentType

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ParentType