Enum AnalysedType 

pub enum AnalysedType {
    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 AnalysedType

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<'__de, __Context> BorrowDecode<'__de, __Context> for AnalysedType

fn borrow_decode<__D: BorrowDecoder<'__de, Context = __Context>>( decoder: &mut __D, ) -> Result<Self, DecodeError>

Attempt to decode this type with the given BorrowDecode.

impl Clone for AnalysedType

fn clone(&self) -> AnalysedType

Returns a duplicate 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<__Context> Decode<__Context> for AnalysedType

fn decode<__D: Decoder<Context = __Context>>( decoder: &mut __D, ) -> Result<Self, DecodeError>

Attempt to decode this type with the given Decode.

impl<'de> Deserialize<'de> for AnalysedType

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Encode for AnalysedType

fn encode<__E: Encoder>(&self, encoder: &mut __E) -> Result<(), EncodeError>

Encode a given type.

impl From<&AnalysedType> for Type

fn from(value: &AnalysedType) -> Type

Converts to this type from the input type.

impl From<AnalysedType> for WitType

fn from(value: AnalysedType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for AnalysedType

fn from(value_and_type: ValueAndType) -> Self

Converts to this type from the input type.

impl From<WitType> for AnalysedType

fn from(value: WitType) -> Self

Converts to this type from the input type.

impl Hash for AnalysedType

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 IntoValue for AnalysedType

Available on crate feature host only.

fn into_value(self) -> Value

fn get_type() -> AnalysedType

impl ParseFromJSON for AnalysedType

fn parse_from_json(value: Option<Value>) -> Result<Self, ParseError<Self>>

Parse from serde_json::Value.

fn parse_from_json_string(s: &str) -> Result<Self, ParseError<Self>>

Parse from JSON string.

impl PartialEq for AnalysedType

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToJSON for AnalysedType

fn to_json(&self) -> Option<Value>

Convert this value to Value.

fn to_json_string(&self) -> String

Convert this value to JSON string.

impl TryFrom<&Type> for AnalysedType

type Error = String

The type returned in the event of a conversion error.

fn try_from(typ: &Type) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&ValueAndType> for AnalysedType

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Type for AnalysedType

const IS_REQUIRED: bool = true

If it is true, it means that this type is required.

type RawValueType = AnalysedType

The raw type used for validator.

type RawElementValueType = AnalysedType

The raw element type used for validator.

fn name() -> Cow<'static, str>

Returns the name of this type

fn schema_ref() -> MetaSchemaRef

Get schema reference of this type.

fn register(registry: &mut Registry)

Register this type to types registry.

fn as_raw_value(&self) -> Option<&Self::RawValueType>

Returns a reference to the raw value.

fn raw_element_iter<'a>( &'a self, ) -> Box<dyn Iterator<Item = &'a Self::RawElementValueType> + 'a>

Returns an iterator for traversing the elements.

fn is_empty(&self) -> bool

Returns true if this value is empty.

fn is_none(&self) -> bool

Returns true if this value is none.

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 IsObjectType for AnalysedType

impl StructuralPartialEq for AnalysedType