Trait Schema 

pub trait Schema: Sized {
    // Required methods
    fn shape() -> Shape;
    fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>;
    fn write(&self) -> Value;

    // Provided methods
    fn absent() -> Option<Self> { ... }
    fn skip(&self) -> bool { ... }
    fn encode(&self, w: &mut Writer) { ... }
    fn decode(d: &mut Decoder<'_>) -> Option<Self> { ... }
    fn pack(&self, p: &mut Packer) { ... }
    fn unpack(u: &mut Unpacker<'_>) -> Option<Self> { ... }
    fn pack_list(items: &[Self], p: &mut Packer) { ... }
    fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>> { ... }
    fn encode_list(items: &[Self], w: &mut Writer) { ... }
    fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>> { ... }
}

A Yog Data format.

Required Methods

fn shape() -> Shape

What the format looks like.

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

Reads v. Problems go to cx at its current path; None when the value couldn’t be read (the problem is in cx).

fn write(&self) -> Value

The value, as the format writes it.

Provided Methods

fn absent() -> Option<Self>

The value of a field that isn’t there — None: the field is required.

fn skip(&self) -> bool

Whether a struct leaves this field out when writing it.

fn encode(&self, w: &mut Writer)

Writes itself in the binary form, straight — Schema::write’s value encoded, unless the type knows better (derived ones do).

fn decode(d: &mut Decoder<'_>) -> Option<Self>

Reads itself from the binary form, straight; None when it isn’t what Schema::encode writes — then read_bytes reads the slow way, which says what’s wrong. Through a value unless the type knows better (derived ones do).

fn pack(&self, p: &mut Packer)

Packs itself into a frame (crate::frame): its binary form as bytes, unless the type packs itself (derived ones and plain types do).

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

Reads itself out of a frame; None if the bytes aren’t what Schema::pack writes.

fn pack_list(items: &[Self], p: &mut Packer)

A list of these packed: a count, then each one (floats raw).

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

A list of these out of a frame.

fn encode_list(items: &[Self], w: &mut Writer)

A list of these written straight (numbers pack theirs).

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

A list of these read straight.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl Schema for ()

Nothing: what a call answers when it only says it’s done.

fn shape() -> Shape

fn read(_v: &ValueRef<'_>, _cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

impl Schema for Arc<str>

A string shared without copying.

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl Schema for Box<str>

A string that won’t change: a pointer and a length, no spare capacity (String’s third word) — what big tables of names keep.

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl Schema for Cow<'static, str>

Text that may be a constant: borrowed where it’s written, owned once read.

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl Schema for PathBuf

A file’s path, as text (a path that isn’t Unicode loses what isn’t).

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl Schema for String

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl Schema for bool

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl Schema for f32

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

impl Schema for f64

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

impl Schema for i8

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for i16

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for i32

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for i64

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for u8

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for u16

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for u32

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for u64

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl Schema for usize

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn pack_list(items: &[Self], p: &mut Packer)

fn unpack_list(u: &mut Unpacker<'_>) -> Option<Vec<Self>>

fn encode_list(items: &[Self], w: &mut Writer)

fn decode_list(d: &mut Decoder<'_>) -> Option<Vec<Self>>

impl<A: Schema, B: Schema, C: Schema, D: Schema> Schema for (A, B, C, D)

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

impl<A: Schema, B: Schema, C: Schema> Schema for (A, B, C)

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

impl<A: Schema, B: Schema> Schema for (A, B)

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

impl<T: Schema + Ord + Clone> Schema for BTreeSet<T>

A set: a list, in order, each once.

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

impl<T: Schema, E: Schema> Schema for Result<T, E>

What may fail: { "ok": T } or { "err": E }.

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

impl<T: Schema, const N: usize> Schema for [T; N]

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl<T: Schema> Schema for BTreeMap<String, T>

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

impl<T: Schema> Schema for Box<T>

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn absent() -> Option<Self>

fn skip(&self) -> bool

impl<T: Schema> Schema for Box<[T]>

A list that won’t change: no spare capacity.

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

impl<T: Schema> Schema for HashMap<String, T>

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

impl<T: Schema> Schema for Option<T>

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

fn absent() -> Option<Self>

fn skip(&self) -> bool

impl<T: Schema> Schema for Vec<T>

fn shape() -> Shape

fn read(v: &ValueRef<'_>, cx: &mut Reader<'_>) -> Option<Self>

fn write(&self) -> Value

fn encode(&self, w: &mut Writer)

fn decode(d: &mut Decoder<'_>) -> Option<Self>

fn pack(&self, p: &mut Packer)

fn unpack(u: &mut Unpacker<'_>) -> Option<Self>

Implementors

impl Schema for AnyRefOrTag

impl Schema for Atom

Text everywhere but in a frame, which carries its number.

impl Schema for Color

impl Schema for Diagnostic

impl Schema for Image

impl Schema for Path

A path as its steps.

impl Schema for Ref

impl Schema for Res

impl Schema for Seg

impl Schema for Severity

impl Schema for Text

impl Schema for Value

impl<K: Kind> Schema for Id<K>

impl<K: Kind> Schema for OneOrTag<K>

impl<K: Kind> Schema for TagId<K>

impl<T: Schema> Schema for OneOrList<T>

impl<T: Schema> Schema for Ordered<T>

impl<T: Schema> Schema for Stream<T>