Trait Value 

pub trait Value: 'static {
    type Native;

    const NAME: &'static str;
    const KIND: Kind<Definition>;
    const CARDINALITY: Cardinality = Cardinality::Required;

    // Required methods
    fn postcard_write(value: &Self::Native, bytes: &mut Vec<u8>);
    fn postcard_size(value: &Self::Native) -> usize;
    fn postcard_memory(input: &mut Reader<'_>) -> Result<usize, MessageError>;
    fn postcard_read(
        input: &mut Reader<'_>,
    ) -> Result<Self::Native, MessageError>;
}

Required Associated Constants

const NAME: &'static str

const KIND: Kind<Definition>

Provided Associated Constants

const CARDINALITY: Cardinality = Cardinality::Required

Required Associated Types

type Native

Required Methods

fn postcard_write(value: &Self::Native, bytes: &mut Vec<u8>)

fn postcard_size(value: &Self::Native) -> usize

fn postcard_memory(input: &mut Reader<'_>) -> Result<usize, MessageError>

fn postcard_read(input: &mut Reader<'_>) -> Result<Self::Native, MessageError>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Value for Bytes

const NAME: &'static str = "harmos_domain::model::storage::codec::Bytes"

const KIND: Kind<Definition> = Kind::Bytes

type Native = Vec<u8>

impl Value for Digest

const NAME: &'static str = "harmos_domain::model::storage::files::codec::Digest"

const KIND: Kind<Definition> = Kind::Bytes

type Native = [u8; 32]

impl Value for Flag

const NAME: &'static str = "harmos_domain::model::storage::codec::Flag"

const KIND: Kind<Definition> = Kind::Bool

type Native = bool

impl Value for Float

const NAME: &'static str = "harmos_domain::model::storage::codec::Float"

const KIND: Kind<Definition> = Kind::F64

type Native = f64

impl Value for Id

const NAME: &'static str = "harmos_domain::model::storage::codec::Id"

const KIND: Kind<Definition> = Kind::String

type Native = Identifier

impl Value for Index

const NAME: &'static str = "harmos_domain::model::storage::codec::Index"

const KIND: Kind<Definition> = Kind::U64

type Native = usize

impl Value for Key

const NAME: &'static str = "harmos_domain::model::storage::objects::codec::Key"

const KIND: Kind<Definition> = crate::schema::declaration::Kind::String

type Native = ObjectKey

impl Value for LocalPath

const NAME: &'static str = "harmos_domain::model::storage::files::codec::LocalPath"

const KIND: Kind<Definition> = Kind::Bytes

type Native = PathBuf

impl Value for Percent

const NAME: &'static str = "harmos_domain::model::storage::codec::Percent"

const KIND: Kind<Definition> = Kind::U32

type Native = u8

impl Value for Signed

const NAME: &'static str = "harmos_domain::model::storage::codec::Signed"

const KIND: Kind<Definition> = Kind::I64

type Native = i64

impl Value for Text

const NAME: &'static str = "harmos_domain::model::storage::codec::Text"

const KIND: Kind<Definition> = Kind::String

type Native = String

impl Value for Time

const NAME: &'static str = "harmos_domain::model::storage::codec::timestamp::Time"

const KIND: Kind<Definition>

type Native = SystemTime

impl Value for Unsigned

const NAME: &'static str = "harmos_domain::model::storage::codec::Unsigned"

const KIND: Kind<Definition> = Kind::U64

type Native = u64

impl Value for Version

const NAME: &'static str = "harmos_domain::model::storage::codec::Version"

const KIND: Kind<Definition> = Kind::U32

type Native = NonZero<u32>

impl Value for Wide

const NAME: &'static str = "harmos_domain::model::storage::codec::Wide"

const KIND: Kind<Definition>

type Native = u128

impl Value for WideNonZero

const NAME: &'static str = "harmos_domain::model::storage::codec::WideNonZero"

const KIND: Kind<Definition>

type Native = NonZero<u128>

impl Value for WideSigned

const NAME: &'static str = "harmos_domain::model::storage::codec::WideSigned"

const KIND: Kind<Definition>

type Native = i128

impl<A> Value for Many<A>

where A: Value,

const NAME: &'static str

const KIND: Kind<Definition> = Wrap<A>::KIND

const CARDINALITY: Cardinality = Cardinality::Repeated

type Native = Vec<<A as Value>::Native>

impl<A> Value for Wrap<A>

where A: Value,

const NAME: &'static str

const KIND: Kind<Definition>

type Native = <A as Value>::Native

impl<E> Value for Code<E>

where E: Coded,

const NAME: &'static str

const KIND: Kind<Definition> = Kind::U32

type Native = E

impl<T> Value for Nested<T>

where T: Native,

const NAME: &'static str

const KIND: Kind<Definition>

type Native = T

impl<T> Value for Optional<T>

where T: Value,

const NAME: &'static str

const KIND: Kind<Definition> = T::KIND

const CARDINALITY: Cardinality = Cardinality::Optional

type Native = Option<<T as Value>::Native>

impl<T> Value for Repeated<T>

where T: Native,

const NAME: &'static str

const KIND: Kind<Definition> = Nested<T>::KIND

const CARDINALITY: Cardinality = Cardinality::Repeated

type Native = Vec<T>

impl<T> Value for Shared<T>

where T: Native,

const NAME: &'static str = Nested<T>::NAME

const KIND: Kind<Definition> = Nested<T>::KIND

type Native = Arc<T>