Enum mz_transform::typecheck::ColumnTypeDifference

pub enum ColumnTypeDifference {
    NotSubtype {
        sub: ScalarType,
        sup: ScalarType,
    },
    Nullability {
        sub: ColumnType,
        sup: ColumnType,
    },
    ElementType {
        ctor: String,
        element_type: Box<ColumnTypeDifference>,
    },
    RecordMissingFields {
        missing: Vec<ColumnName>,
    },
    RecordFields {
        fields: Vec<(ColumnName, ColumnTypeDifference)>,
    },
}

Characterizes differences between individual column types

Each constructor indicates a reason why some type sub was not a subtype of another type sup There may be multiple reasons, e.g., sub may be missing fields and have fields of different types

Variants

NotSubtype

The ScalarBaseType of sub doesn’t match that of sup

Fields

sub: ScalarType

Would-be subtype

sup: ScalarType

Would-be supertype

Nullability

sub was nullable but sup was not

Fields

sub: ColumnType

Would-be subtype

sup: ColumnType

Would-be supertype

ElementType

Both sub and sup are a list, map, array, or range, but sub’s element type differed from sups

Fields

ctor: String

The type constructor (list, array, etc.)

element_type: Box<ColumnTypeDifference>

The difference in the element type

RecordMissingFields

sub and sup are both records, but sub is missing fields present in sup

Fields

missing: Vec<ColumnName>

The missing fields

RecordFields

sub and sup are both records, but some fields in sub are not subtypes of fields in sup

Fields

fields: Vec<(ColumnName, ColumnTypeDifference)>

The differences, by field

Implementations

impl ColumnTypeDifference

pub fn ignore_nullability(self) -> Option<Self>

Returns the same type difference, but ignoring nullability

Returns None when all of the differences are due to nullability

impl ColumnTypeDifference

pub fn humanize<H>(&self, indent: usize, h: &H, f: &mut Formatter<'_>) -> Result

where H: ExprHumanizer,

Pretty prints a type difference at a given indentation level

Trait Implementations

impl Clone for ColumnTypeDifference

fn clone(&self) -> ColumnTypeDifference

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ColumnTypeDifference

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

Formats the value using the given formatter.

impl Hash for ColumnTypeDifference

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.