Struct TermShape 

pub struct TermShape;

Interprets a shape as the term it is.

Trait Implementations

impl Clone for TermShape

fn clone(&self) -> TermShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TermShape

impl Debug for TermShape

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

Formats the value using the given formatter.

impl Default for TermShape

fn default() -> TermShape

Returns the “default value” for a type.

impl FieldAlg for TermShape

fn field(&self, words: Words<'_>, shape: Term) -> Member

A member under the name it is written with.

fn merge(&self, shape: Term) -> Member

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

impl ShapeAlg for TermShape

fn truth(&self) -> Term

A boolean.

fn unit(&self) -> Term

The empty value: null, or an absent member.

fn text(&self) -> Term

Text.

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

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

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

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

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

An integer of a stated width and signedness.

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

A floating-point number of a stated width.

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

Opaque bytes, of a stated length when fixed.

fn hex(&self, item: Term) -> Term

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

fn decimal(&self, item: Term) -> Term

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

fn base64(&self, item: Term) -> Term

Written as base64 text.

fn opt(&self, item: Term) -> Term

A value that may be absent.

fn seq(&self, item: Term) -> Term

An ordered sequence of one shape.

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

An association from one shape to another.

fn product(&self, fields: Vec<Member>) -> Term

A product of members.

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

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

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

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

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

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

impl Sorts for TermShape

type Ty = Term

A shape.

type Field = Member

One member of a product.