Struct Patch 

pub struct Patch<A>(pub A);

A shape whose members may all be absent, under a name of its own.

What a caller sends to change part of a value: the same shape, with nothing required. The name moves with it, so the patch and the whole can be told apart wherever both are declared.

Tuple Fields

0: A

Trait Implementations

impl<A: Clone> Clone for Patch<A>

fn clone(&self) -> Patch<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Copy> Copy for Patch<A>

impl<A: Debug> Debug for Patch<A>

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

Formats the value using the given formatter.

impl<A: Default> Default for Patch<A>

fn default() -> Patch<A>

Returns the “default value” for a type.

impl<A> FieldAlg for Patch<A>

where A: ShapeAlg + FieldAlg,

fn field(&self, words: Words<'_>, shape: A::Ty) -> A::Field

A member under the name it is written with.

fn merge(&self, shape: A::Ty) -> A::Field

Another product’s members, observed as this product’s own.

impl<A> ShapeAlg for Patch<A>

where A: ShapeAlg,

fn truth(&self) -> A::Ty

A boolean.

fn unit(&self) -> A::Ty

The empty value: null, or an absent member.

fn text(&self) -> A::Ty

Text.

fn literal(&self, text: &str) -> A::Ty

One fixed piece of text, as a value: content that happens to be constant.

fn name_word(&self, words: Words<'_>) -> A::Ty

A value whose content is a name, spelled however the interpretation spells names.

fn int(&self, signed: bool, bits: u16) -> A::Ty

An integer of a stated width and signedness.

fn float(&self, bits: u16) -> A::Ty

A floating-point number of a stated width.

fn bytes(&self, len: Option<usize>) -> A::Ty

Opaque bytes, of a stated length when fixed.

fn hex(&self, item: A::Ty) -> A::Ty

Written as 0x-prefixed hexadecimal, rather than however the item would appear alone.

fn decimal(&self, item: A::Ty) -> A::Ty

Written as decimal digits in text, which is what a width beyond a JSON number requires.

fn base64(&self, item: A::Ty) -> A::Ty

Written as base64 text.

fn opt(&self, item: A::Ty) -> A::Ty

A value that may be absent.

fn seq(&self, item: A::Ty) -> A::Ty

An ordered sequence of one shape.

fn map(&self, key: A::Ty, value: A::Ty) -> A::Ty

An association from one shape to another.

fn product(&self, fields: Vec<A::Field>) -> A::Ty

A product of members.

fn choice(&self, alternatives: Vec<A::Ty>) -> A::Ty

A choice between alternatives, carrying no discriminant of its own.

fn named(&self, words: Words<'_>, body: A::Ty) -> A::Ty

Introduces a name for a shape, so an interpretation can state it once.

fn reference(&self, words: Words<'_>) -> A::Ty

Uses a name introduced elsewhere, which is what makes recursion expressible.

impl<A> Sorts for Patch<A>

where A: Sorts,

type Ty = <A as Sorts>::Ty

A shape.

type Field = <A as Sorts>::Field

One member of a product.