Struct Type 

pub struct Type {
    pub kind: TypeKind,
    pub nullable: bool,
}

Available on crate feature parse only.

A type expression with nullability.

Fields

kind: TypeKind

The type expression

nullable: bool

Whether this type is nullable

Implementations

impl Type

pub fn new(kind: TypeKind, nullable: bool) -> Type

Create a type expression with the given nullability.

pub fn extension(name: String, nullable: bool) -> Type

Create a new extension type reference (without parameters)

pub fn extension_with_params( name: String, parameters: Vec<TypeParameter>, nullable: bool, ) -> Type

Create a new parameterized extension type

pub fn list(element_type: Type, nullable: bool) -> Type

Create a new list type

pub fn struct(field_types: Vec<Type>, nullable: bool) -> Type

Create a new struct type (ordered fields without names)

pub fn map(key_type: Type, value_type: Type, nullable: bool) -> Type

Create a new map type

pub fn named_struct(fields: IndexMap<String, Type>, nullable: bool) -> Type

Create a new named struct type (nstruct - ordered fields with names)

pub fn is_concrete(&self) -> bool

Returns whether this type contains no unresolved variables.

pub fn is_compatible_with(&self, other: &Type) -> bool

Check if this type (as a function argument) is compatible with another type (as an input).

Does not bind type variables or symbolic parameters. Mainly checks nullability:

• i64? is compatible with i64 and i64? - both can be passed as arguments
• i64 is compatible with i64 but NOT i64? - you can’t pass a nullable type to a function that only accepts non-nullable arguments

Trait Implementations

impl Clone for Type

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 Type

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

Formats the value using the given formatter.

impl Display for Type

Formats full extension-YAML spellings, not function-signature short names.

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

Formats the value using the given formatter.

impl From<Type> for Type

fn from(val: Type) -> Self

Converts to this type from the input type.

impl PartialEq for Type

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Type

impl<'a> TryFrom<TypeExpr<'a>> for Type

type Error = ExtensionTypeError

The type returned in the event of a conversion error.

fn try_from(parsed_type: TypeExpr<'a>) -> Result<Self, Self::Error>

Performs the conversion.