Enum wac_types::DefinedType

pub enum DefinedType {
    Tuple(Vec<ValueType>),
    List(ValueType),
    Option(ValueType),
    Result {
        ok: Option<ValueType>,
        err: Option<ValueType>,
    },
    Variant(Variant),
    Record(Record),
    Flags(Flags),
    Enum(Enum),
    Alias(ValueType),
}

Represents a defined value type.

Variants

Tuple(Vec<ValueType>)

A tuple type.

List(ValueType)

A list type.

Option(ValueType)

An option type.

Result

A result type.

Fields

ok: Option<ValueType>

The result’s ok type.

err: Option<ValueType>

The result’s err type.

Variant(Variant)

The type is a variant type.

Record(Record)

The type is a record type.

Flags(Flags)

The type is a flags type.

Enum(Enum)

The type is an enum.

Alias(ValueType)

The type is an alias to another value type.

Implementations

impl DefinedType

pub fn contains_borrow(&self, types: &Types) -> bool

Determines if the defined type recursively contains a borrow.

pub fn desc(&self, types: &Types) -> &'static str

Gets a description of the defined type.

Trait Implementations

impl Clone for DefinedType

fn clone(&self) -> DefinedType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DefinedType

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

Formats the value using the given formatter.