Struct TsShape 

pub struct TsShape { /* private fields */ }

Interprets a shape as TypeScript, spelling member names as the surface spells them.

A type’s own name is always written in pascal case, which is TypeScript’s convention rather than this shape’s statement.

Implementations

impl TsShape

pub fn new(members: Spelling) -> Self

Emits declarations whose members are spelled this way.

Trait Implementations

impl Clone for TsShape

fn clone(&self) -> TsShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TsShape

impl Debug for TsShape

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

Formats the value using the given formatter.

impl FieldAlg for TsShape

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

A member under the name it is written with.

fn merge(&self, shape: TsType) -> TsMember

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

impl ShapeAlg for TsShape

fn truth(&self) -> TsType

A boolean.

fn unit(&self) -> TsType

The empty value: null, or an absent member.

fn text(&self) -> TsType

Text.

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

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

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

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

fn int(&self, _signed: bool, _bits: u16) -> TsType

An integer of a stated width and signedness.

fn float(&self, _bits: u16) -> TsType

A floating-point number of a stated width.

fn bytes(&self, _len: Option<usize>) -> TsType

Opaque bytes, of a stated length when fixed.

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

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

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

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

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

Written as base64 text.

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

A value that may be absent.

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

An ordered sequence of one shape.

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

An association from one shape to another.

fn product(&self, fields: Vec<TsMember>) -> TsType

A product of members.

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

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

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

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

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

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

impl Sorts for TsShape

type Ty = TsType

A shape.

type Field = TsMember

One member of a product.