Enum golem_wasm_ast::analysis::AnalysedType

pub enum AnalysedType {
    Bool,
    S8,
    U8,
    S16,
    U16,
    S32,
    U32,
    S64,
    U64,
    F32,
    F64,
    Chr,
    Str,
    List(Box<AnalysedType>),
    Tuple(Vec<AnalysedType>),
    Record(Vec<(String, AnalysedType)>),
    Flags(Vec<String>),
    Enum(Vec<String>),
    Option(Box<AnalysedType>),
    Result {
        ok: Option<Box<AnalysedType>>,
        error: Option<Box<AnalysedType>>,
    },
    Variant(Vec<(String, Option<AnalysedType>)>),
    Resource {
        id: AnalysedResourceId,
        resource_mode: AnalysedResourceMode,
    },
}

Variants

Bool

S8

U8

S16

U16

S32

U32

S64

U64

F32

F64

Chr

Str

List(Box<AnalysedType>)

Tuple(Vec<AnalysedType>)

Record(Vec<(String, AnalysedType)>)

Flags(Vec<String>)

Enum(Vec<String>)

Option(Box<AnalysedType>)

Result

Fields

ok: Option<Box<AnalysedType>>

error: Option<Box<AnalysedType>>

Variant(Vec<(String, Option<AnalysedType>)>)

Resource

Fields

id: AnalysedResourceId

resource_mode: AnalysedResourceMode

Trait Implementations

impl Clone for AnalysedType

fn clone(&self) -> AnalysedType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysedType

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

Formats the value using the given formatter.

impl From<&PrimitiveValueType> for AnalysedType

fn from(value: &PrimitiveValueType) -> Self

Converts to this type from the input type.

impl PartialEq for AnalysedType

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl WasmType for AnalysedType

fn kind(&self) -> WasmTypeKind

Returns the WasmTypeKind of this type.

fn list_element_type(&self) -> Option<Self>

Returns the list element type or None if self is not a list type.

fn record_fields(&self) -> Box<dyn Iterator<Item = (Cow<'_, str>, Self)> + '_>

Returns an iterator of the record’s field names and Types. The iterator will be empty iff self is not a record type.

fn tuple_element_types(&self) -> Box<dyn Iterator<Item = Self> + '_>

Returns an iterator of the tuple’s field Types. The iterator will be empty iff self is not a tuple type.

fn variant_cases( &self, ) -> Box<dyn Iterator<Item = (Cow<'_, str>, Option<Self>)> + '_>

Returns an iterator of the variant’s case names and optional payload Types. The iterator will be empty iff self is not a tuple type.

fn enum_cases(&self) -> Box<dyn Iterator<Item = Cow<'_, str>> + '_>

Returns an iterator of the enum’s case names. The iterator will be empty iff self is not an enum type.

fn option_some_type(&self) -> Option<Self>

Returns the option’s “some” type or None if self is not an option type.

fn result_types(&self) -> Option<(Option<Self>, Option<Self>)>

Returns the result’s optional “ok” and “err” Types or None if self is not a result type.

fn flags_names(&self) -> Box<dyn Iterator<Item = Cow<'_, str>> + '_>

Returns an iterator of the flags’ names. The iterator will be empty iff self is not a flags type.

impl Eq for AnalysedType

impl StructuralPartialEq for AnalysedType