Skip to main content

Format

Enum Format 

Source
#[non_exhaustive]
pub enum Format {
Show 26 variants Variable(Variable<Self>), TypeName(QualifiedTypeName), Unit, Bool, I8, I16, I32, I64, I128, U8, U16, U32, U64, U128, F32, F64, Char, Str, Bytes, Uuid, Option(Box<Self>), Seq(Box<Self>), Set(Box<Self>), Map { key: Box<Self>, value: Box<Self>, }, Tuple(Vec<Self>), TupleArray { content: Box<Self>, size: usize, },
}
Expand description

The shape of a value type — an AST node describing how a field, variant payload, or nested value is serialized.

Primitives are leaf nodes; composites (Option, Seq, Map, Tuple) contain nested Format nodes; and TypeName is a reference to a ContainerFormat in the Registry.

Format and ContainerFormat are separate types, not variants of the same enum. A ContainerFormat is a type declaration (a struct or enum definition) that holds Format nodes as its children (field types, variant payloads). A Format is a type usage — and Format::TypeName closes the loop by referencing back to a ContainerFormat in the registry.

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
§

Variable(Variable<Self>)

A placeholder for a format not yet known at construction time. Format::unknown() creates one of these, and it is also the Default value for Format. Fields start as variables and are filled in as the RegistryBuilder processes each type, resolving to a concrete format (e.g. U32, Str, TypeName(...)). Not involved in code generation — all variables must be resolved before RegistryBuilder::build completes.

§

TypeName(QualifiedTypeName)

A reference to a named container type in the Registry.

§

Unit

§

Bool

§

I8

§

I16

§

I32

§

I64

§

I128

§

U8

§

U16

§

U32

§

U64

§

U128

§

F32

§

F64

§

Char

§

Str

§

Bytes

§

Uuid

A UUID. On the wire this is identical to Bytes (16 raw bytes, length-prefixed) for non-human-readable encoders (e.g. bincode), and a lowercase hyphenated string for human-readable encoders (e.g. JSON). Foreign-language emitters map this to the native UUID type for the target language (e.g. Foundation.UUID in Swift, java.util.UUID in Kotlin, System.Guid in C#, branded string in TypeScript).

§

Option(Box<Self>)

The format of Option<T>.

§

Seq(Box<Self>)

A sequence, e.g. the format of Vec<Foo>.

§

Set(Box<Self>)

A set, e.g. the format of HashSet<Foo>.

§

Map

A map, e.g. the format of BTreeMap<K, V>.

Fields

§key: Box<Self>
§value: Box<Self>
§

Tuple(Vec<Self>)

A tuple, e.g. the format of (Foo, Bar).

§

TupleArray

Alias for (Foo, ... Foo). E.g. the format of [Foo; N].

Fields

§content: Box<Self>
§size: usize

Implementations§

Source§

impl Format

Source

pub fn unknown() -> Self

Return a format made of a fresh variable with no known value.

Trait Implementations§

Source§

impl Clone for Format

Source§

fn clone(&self) -> Format

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Format

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for Format

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl<'de> Deserialize<'de> for Format

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Emitter<Kotlin> for Format

Source§

fn write<W: IndentWrite>(&self, w: &mut W, lang: &Kotlin) -> Result<()>

Write the code for this node to the provided IndentWrite. Read more
Source§

impl Emitter<Swift> for Format

Source§

fn write<W: IndentWrite>(&self, w: &mut W, lang: &Swift) -> Result<()>

Write the code for this node to the provided IndentWrite. Read more
Source§

impl Emitter<TypeScript> for Format

Source§

fn write<W: IndentWrite>(&self, w: &mut W, lang: &TypeScript) -> Result<()>

Write the code for this node to the provided IndentWrite. Read more
Source§

impl Eq for Format

Source§

impl FormatHolder for Format

Source§

fn visit<'a>( &'a self, f: &mut dyn FnMut(&'a Format) -> Result<()>, ) -> Result<()>

Visit all the formats in self in a depth-first way. Variables are not supported and will cause an error.
Source§

fn visit_mut( &mut self, f: &mut dyn FnMut(&mut Format) -> Result<()>, ) -> Result<()>

Mutably visit all the formats in self in a depth-first way. Read more
Source§

fn is_unknown(&self) -> bool

Whether this format is a variable with no known value yet.
Source§

fn normalize(&mut self) -> Result<()>

Finalize the formats within self by removing variables and making sure that all eligible tuples are compressed into a TupleArray. Return an error if any variable has an unknown value.
Source§

fn reduce(&mut self)

Attempt to remove known variables within self. Silently abort if some variables have unknown values.
Source§

impl PartialEq for Format

Source§

fn eq(&self, other: &Format) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Serialize for Format

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl StructuralPartialEq for Format

Auto Trait Implementations§

§

impl !RefUnwindSafe for Format

§

impl !Send for Format

§

impl !Sync for Format

§

impl !UnwindSafe for Format

§

impl Freeze for Format

§

impl Unpin for Format

§

impl UnsafeUnpin for Format

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.