Enum WitType 

pub enum WitType {
    Variant(TypeVariant),
    Result(TypeResult),
    Option(TypeOption),
    Enum(TypeEnum),
    Flags(TypeFlags),
    Record(TypeRecord),
    Tuple(TypeTuple),
    List(TypeList),
    Str(TypeStr),
    Chr(TypeChr),
    F64(TypeF64),
    F32(TypeF32),
    U64(TypeU64),
    S64(TypeS64),
    U32(TypeU32),
    S32(TypeS32),
    U16(TypeU16),
    S16(TypeS16),
    U8(TypeU8),
    S8(TypeS8),
    Bool(TypeBool),
    Handle(TypeHandle),
}

Variants

Variant(TypeVariant)

Result(TypeResult)

Option(TypeOption)

Enum(TypeEnum)

Flags(TypeFlags)

Record(TypeRecord)

Tuple(TypeTuple)

List(TypeList)

Str(TypeStr)

Chr(TypeChr)

F64(TypeF64)

F32(TypeF32)

U64(TypeU64)

S64(TypeS64)

U32(TypeU32)

S32(TypeS32)

U16(TypeU16)

S16(TypeS16)

U8(TypeU8)

S8(TypeS8)

Bool(TypeBool)

Handle(TypeHandle)

Implementations

impl WitType

pub fn name(&self) -> Option<&str>

pub fn with_optional_name(self, name: Option<String>) -> Self

pub fn named(self, name: impl AsRef<str>) -> Self

pub fn owner(&self) -> Option<&str>

pub fn with_optional_owner(self, owner: Option<String>) -> Self

pub fn owned(self, owner: impl AsRef<str>) -> Self

pub fn contains_handle(&self) -> bool

Trait Implementations

impl Clone for WitType

fn clone(&self) -> WitType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WitType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WitType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for WitType

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

Formats the value using the given formatter.

impl From<&WitType> for InferredType

fn from(analysed_type: &WitType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for WitType

fn from(value_and_type: ValueAndType) -> Self

Converts to this type from the input type.

impl GetTypeHint for WitType

fn get_type_hint(&self) -> TypeHint

impl Hash for WitType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for WitType

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<&InferredType> for WitType

type Error = String

The type returned in the event of a conversion error.

fn try_from(value: &InferredType) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<WitType> for TypeName

type Error = String

The type returned in the event of a conversion error.

fn try_from(analysed_type: WitType) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<WitTypeWithUnit> for WitType

type Error = String

The type returned in the event of a conversion error.

fn try_from(value: WitTypeWithUnit) -> Result<Self, Self::Error>

Performs the conversion.

impl WasmType for WitType

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 WitType

impl StructuralPartialEq for WitType