Enum TypeAnnotatedValue

pub enum TypeAnnotatedValue {
    Bool(bool),
    S8(i32),
    U8(u32),
    S16(i32),
    U16(u32),
    S32(i32),
    U32(u32),
    S64(i64),
    U64(u64),
    F32(f32),
    F64(f64),
    Char(i32),
    Str(String),
    List(TypedList),
    Tuple(TypedTuple),
    Record(TypedRecord),
    Flags(TypedFlags),
    Variant(Box<TypedVariant>),
    Enum(TypedEnum),
    Option(Box<TypedOption>),
    Result(Box<TypedResult>),
    Handle(TypedHandle),
}

Variants

Bool(bool)

S8(i32)

U8(u32)

S16(i32)

U16(u32)

S32(i32)

U32(u32)

S64(i64)

U64(u64)

F32(f32)

F64(f64)

Char(i32)

Str(String)

List(TypedList)

Tuple(TypedTuple)

Record(TypedRecord)

Flags(TypedFlags)

Variant(Box<TypedVariant>)

Enum(TypedEnum)

Option(Box<TypedOption>)

Result(Box<TypedResult>)

Handle(TypedHandle)

Implementations

impl TypeAnnotatedValue

pub fn encode(&self, buf: &mut impl BufMut)

Encodes the message to a buffer.

pub fn merge( field: &mut Option<TypeAnnotatedValue>, tag: u32, wire_type: WireType, buf: &mut impl Buf, ctx: DecodeContext, ) -> Result<(), DecodeError>

Decodes an instance of the message from a buffer, and merges it into self.

pub fn encoded_len(&self) -> usize

Returns the encoded length of the message without a length delimiter.

Trait Implementations

impl<'__de> BorrowDecode<'__de> for TypeAnnotatedValue

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

Attempt to decode this type with the given BorrowDecode.

impl Clone for TypeAnnotatedValue

fn clone(&self) -> TypeAnnotatedValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAnnotatedValue

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

Formats the value using the given formatter.

impl Decode for TypeAnnotatedValue

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

Attempt to decode this type with the given Decode.

impl<'de> Deserialize<'de> for TypeAnnotatedValue

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Encode for TypeAnnotatedValue

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

Encode a given type.

impl ParseFromJSON for TypeAnnotatedValue

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 TypeAnnotatedValue

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

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 TypeAnnotatedValue

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<&TypeAnnotatedValue> for AnalysedType

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<&TypeAnnotatedValue> for Type

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<&ValueAndType> for TypeAnnotatedValue

type Error = Vec<String>

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<TypeAnnotatedValue> for OptionallyTypeAnnotatedValueJson

type Error = String

The type returned in the event of a conversion error.

fn try_from(tav: TypeAnnotatedValue) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<TypeAnnotatedValue> for Value

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<TypeAnnotatedValue> for ValueAndType

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<TypeAnnotatedValue> for WitValue

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<ValueAndType> for TypeAnnotatedValue

type Error = Vec<String>

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Type for TypeAnnotatedValue

const IS_REQUIRED: bool = true

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

type RawValueType = TypeAnnotatedValue

The raw type used for validator.

type RawElementValueType = TypeAnnotatedValue

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 TypeAnnotatedValueConstructors for TypeAnnotatedValue

fn create<T: Into<Type>>( value: &Value, typ: T, ) -> Result<TypeAnnotatedValue, Vec<String>>

impl TypeAnnotatedValueJsonExtensions for TypeAnnotatedValue

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) -> JsonValue

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

impl IsObjectType for TypeAnnotatedValue

impl StructuralPartialEq for TypeAnnotatedValue