Enum CompoundType

pub enum CompoundType {
    Array(Arc<ArrayType>),
    Pair(Arc<PairType>),
    Map(Arc<MapType>),
    Struct(Arc<StructType>),
}

Represents a compound type definition.

Variants

Array(Arc<ArrayType>)

The type is an Array.

Pair(Arc<PairType>)

The type is a Pair.

Map(Arc<MapType>)

The type is a Map.

Struct(Arc<StructType>)

The type is a struct (e.g. Foo).

Implementations

impl CompoundType

pub fn as_array(&self) -> Option<&ArrayType>

Converts the compound type to an array type.

Returns None if the compound type is not an array type.

pub fn as_pair(&self) -> Option<&PairType>

Converts the compound type to a pair type.

Returns None if the compound type is not a pair type.

pub fn as_map(&self) -> Option<&MapType>

Converts the compound type to a map type.

Returns None if the compound type is not a map type.

pub fn as_struct(&self) -> Option<&StructType>

Converts the compound type to a struct type.

Returns None if the compound type is not a struct type.

Trait Implementations

impl Clone for CompoundType

fn clone(&self) -> CompoundType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Coercible for CompoundType

fn is_coercible_to(&self, target: &Self) -> bool

Determines if the type is coercible to the target type.

impl Debug for CompoundType

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

Formats the value using the given formatter.

impl Display for CompoundType

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

Formats the value using the given formatter.

impl From<ArrayType> for CompoundType

fn from(value: ArrayType) -> Self

Converts to this type from the input type.

impl From<CompoundType> for Type

fn from(value: CompoundType) -> Self

Converts to this type from the input type.

impl From<MapType> for CompoundType

fn from(value: MapType) -> Self

Converts to this type from the input type.

impl From<PairType> for CompoundType

fn from(value: PairType) -> Self

Converts to this type from the input type.

impl From<StructType> for CompoundType

fn from(value: StructType) -> Self

Converts to this type from the input type.

impl PartialEq for CompoundType

fn eq(&self, other: &CompoundType) -> 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 Eq for CompoundType

impl StructuralPartialEq for CompoundType