Struct Prefixed 

pub struct Prefixed<A> { /* private fields */ }

A shape whose names all begin with one word.

What keeps two surfaces’ declarations apart where both are emitted into one place, without either surface stating anything about the other.

Implementations

impl<A> Prefixed<A>

pub fn new(inner: A, word: &'static str) -> Self

Puts word before every name this shape states.

Trait Implementations

impl<A: Clone> Clone for Prefixed<A>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Copy> Copy for Prefixed<A>

impl<A: Debug> Debug for Prefixed<A>

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

Formats the value using the given formatter.

impl<A> FieldAlg for Prefixed<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 Prefixed<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 Prefixed<A>

where A: Sorts,

type Ty = <A as Sorts>::Ty

A shape.

type Field = <A as Sorts>::Field

One member of a product.