Struct Judge 

pub struct Judge { /* private fields */ }

Judges JSON against a shape, spelling names as the surface spells them.

Implementations

impl Judge

pub fn new(spelling: Spelling) -> Self

Judges values whose names are spelled this way.

Trait Implementations

impl Clone for Judge

fn clone(&self) -> Judge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Judge

impl Debug for Judge

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

Formats the value using the given formatter.

impl FieldAlg for Judge

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

A member under the name it is written with.

fn merge(&self, shape: Judgement) -> Vec<Member>

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

impl ShapeAlg for Judge

fn truth(&self) -> Judgement

A boolean.

fn unit(&self) -> Judgement

The empty value: null, or an absent member.

fn text(&self) -> Judgement

Text.

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

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

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

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

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

An integer of a stated width and signedness.

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

A floating-point number of a stated width.

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

Opaque bytes, of a stated length when fixed.

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

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

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

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

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

Written as base64 text.

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

A value that may be absent.

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

An ordered sequence of one shape.

fn map(&self, _key: Judgement, value: Judgement) -> Judgement

An association from one shape to another.

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

A product of members.

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

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

fn named(&self, _words: Words<'_>, body: Judgement) -> Judgement

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

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

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

impl Sorts for Judge

type Ty = Judgement

A shape.

type Field = Vec<Member>

One member of a product.