Struct ValueAndType 

pub struct ValueAndType {
    pub value: Value,
    pub typ: AnalysedType,
}

Fields

value: Value

typ: AnalysedType

Implementations

impl ValueAndType

pub fn new(value: Value, typ: AnalysedType) -> Self

pub fn into_list_items(self) -> Option<Vec<ValueAndType>>

Trait Implementations

impl<'__de, __Context> BorrowDecode<'__de, __Context> for ValueAndType

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 ValueAndType

fn clone(&self) -> ValueAndType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueAndType

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

Formats the value using the given formatter.

impl<__Context> Decode<__Context> for ValueAndType

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 ValueAndType

fn deserialize<D>(deserializer: D) -> Result<ValueAndType, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ValueAndType

Available on crate feature host only.

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

Formats the value using the given formatter.

impl Encode for ValueAndType

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

Encode a given type.

impl From<ValueAndType> for AnalysedType

fn from(value_and_type: ValueAndType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for Value

fn from(value_and_type: ValueAndType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for ValueAndType

fn from(value: ValueAndType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for ValueAndType

fn from(value: ValueAndType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for ValueAndType

fn from(value: ValueAndType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for WitType

Available on crate feature host only.

fn from(value_and_type: ValueAndType) -> Self

Converts to this type from the input type.

impl From<ValueAndType> for WitValue

Available on crate feature host only.

fn from(value_and_type: ValueAndType) -> Self

Converts to this type from the input type.

impl IntoValue for ValueAndType

Available on crate feature host only.

fn into_value(self) -> Value

fn get_type() -> AnalysedType

impl ParseFromJSON for ValueAndType

fn parse_from_json(value: Option<Value>) -> ParseResult<Self>

Parse from serde_json::Value.

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

Parse from JSON string.

impl PartialEq for ValueAndType

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

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 ValueAndType

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<ValueAndType> for OptionallyValueAndTypeJson

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<ValueAndType> for ValueAndType

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 ValueAndType

const IS_REQUIRED: bool = true

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

type RawValueType = ValueAndType

The raw type used for validator.

type RawElementValueType = ValueAndType

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 ValueAndTypeJsonExtensions for ValueAndType

fn parse_with_type( json_val: &JsonValue, typ: &AnalysedType, ) -> Result<Self, Vec<String>>

Parses a JSON value representation (with no type information) into a typed value based on the given type information.

fn to_json_value(&self) -> Result<JsonValue, String>

Converts a type annotated value to a JSON value representation with no type information.

impl WasmValue for ValueAndType

type Type = AnalysedType

A type representing types of these values.

fn kind(&self) -> WasmTypeKind

The kind of type of this value.

fn make_bool(val: bool) -> Self

Returns a new WasmValue of the given type.

fn make_s8(val: i8) -> Self

Returns a new WasmValue of the given type.

fn make_s16(val: i16) -> Self

Returns a new WasmValue of the given type.

fn make_s32(val: i32) -> Self

Returns a new WasmValue of the given type.

fn make_s64(val: i64) -> Self

Returns a new WasmValue of the given type.

fn make_u8(val: u8) -> Self

Returns a new WasmValue of the given type.

fn make_u16(val: u16) -> Self

Returns a new WasmValue of the given type.

fn make_u32(val: u32) -> Self

Returns a new WasmValue of the given type.

fn make_u64(val: u64) -> Self

Returns a new WasmValue of the given type.

fn make_f32(val: f32) -> Self

Returns a new WasmValue of the given type.

fn make_f64(val: f64) -> Self

Returns a new WasmValue of the given type.

fn make_char(val: char) -> Self

Returns a new WasmValue of the given type.

fn make_string(val: Cow<'_, str>) -> Self

Returns a new WasmValue of the given type.

fn make_list( ty: &Self::Type, vals: impl IntoIterator<Item = Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_record<'a>( ty: &Self::Type, fields: impl IntoIterator<Item = (&'a str, Self)>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_tuple( ty: &Self::Type, vals: impl IntoIterator<Item = Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_variant( ty: &Self::Type, case: &str, val: Option<Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_enum(ty: &Self::Type, case: &str) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_option( ty: &Self::Type, val: Option<Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_result( ty: &Self::Type, val: Result<Option<Self>, Option<Self>>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_flags<'a>( ty: &Self::Type, names: impl IntoIterator<Item = &'a str>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn unwrap_bool(&self) -> bool

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_s8(&self) -> i8

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_s16(&self) -> i16

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_s32(&self) -> i32

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_s64(&self) -> i64

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_u8(&self) -> u8

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_u16(&self) -> u16

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_u32(&self) -> u32

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_u64(&self) -> u64

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_f32(&self) -> f32

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_f64(&self) -> f64

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_char(&self) -> char

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_string(&self) -> Cow<'_, str>

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

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

Returns an iterator of the element Vals of the list.

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

Returns an iterator of the field names and Vals of the record.

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

Returns an iterator of the field Vals of the tuple.

fn unwrap_variant(&self) -> (Cow<'_, str>, Option<Cow<'_, Self>>)

Returns the variant case name and optional payload WasmValue of the variant.

fn unwrap_enum(&self) -> Cow<'_, str>

Returns the case name of the enum.

fn unwrap_option(&self) -> Option<Cow<'_, Self>>

Returns the optional WasmValue.

fn unwrap_result(&self) -> Result<Option<Cow<'_, Self>>, Option<Cow<'_, Self>>>

Returns Ok() or Err() with the optional payload WasmValue.

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

Returns an iterator of the names of the flags WasmValue.

impl IsObjectType for ValueAndType

impl StructuralPartialEq for ValueAndType