Struct ConcreteType 

pub struct ConcreteType {
    pub kind: ConcreteTypeKind,
    pub nullable: bool,
}

Available on crate feature parse only.

A concrete, fully-resolved type instance with nullability.

Fields

kind: ConcreteTypeKind

The resolved type shape

nullable: bool

Whether this type is nullable

Implementations

impl ConcreteType

pub fn builtin(builtin_type: BasicBuiltinType, nullable: bool) -> ConcreteType

Create a new builtin scalar type

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

Create a new extension type reference (without parameters)

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

Create a new parameterized extension type

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

Create a new list type

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

Create a new struct type (ordered fields without names)

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

Create a new map type

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

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

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

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

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 ConcreteType

fn clone(&self) -> ConcreteType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConcreteType

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

Formats the value using the given formatter.

impl Display for ConcreteType

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

Formats the value using the given formatter.

impl From<ConcreteType> for Type

fn from(val: ConcreteType) -> Self

Converts to this type from the input type.

impl PartialEq for ConcreteType

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

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.

impl StructuralPartialEq for ConcreteType