constraints

Renders atproto_lexicon/ast constraint records to their @attr(...) spellings, and renders a ref string or UnionConstraints to its bare type-position spelling. One function per constraint record, mirroring lower’s build_*_constraints inverses.

Values

blob_attrs

pub fn blob_attrs(c: ast.BlobConstraints) -> List(String)

boolean_attrs

pub fn boolean_attrs(c: ast.BooleanConstraints) -> List(String)

bytes_attrs

pub fn bytes_attrs(c: ast.BytesConstraints) -> List(String)

integer_attrs

pub fn integer_attrs(c: ast.IntegerConstraints) -> List(String)

ref_display

pub fn ref_display(ref: String) -> String

A ref string’s bare-local-name spelling: #localName prints as localName (the printer’s canonical local-ref spelling), anything else (a dotted cross-doc path) prints verbatim.

string_attrs

pub fn string_attrs(c: ast.StringConstraints) -> List(String)

string_type_name

pub fn string_type_name(
  format: option.Option(ast.StringFormat),
) -> String

The scalar spelling for a string’s format: one of the ten format sugar scalars (Cid, Did, …) when recognized, else plain String (an unrecognized FormatOther becomes a @format(...) attribute instead, via string_attrs).

union_display

pub fn union_display(c: ast.UnionConstraints) -> String

A | B, A | B! (closed) for 2+ refs; a single-ref (or empty) union must parenthesize ((A), (A!)), since a bare A is always a plain ref, never a union of one: without the parens, a real single-ref open union (e.g. catalog.edit’s fields, deliberately a union of one so more variants can be added later) would print indistinguishably from PropRef and reparse as one.