Struct gmeta::Registry

pub struct Registry { /* private fields */ }

The registry for space-efficient storage of type identifiers and definitions.

The registry consists of a cache for type identifiers and definitions.

When adding a type to the registry, all of its sub-types are registered recursively as well. A type is considered a sub-type of another type if it is used by its identifier or structure.

Note

A type can be a sub-type of itself. In this case the registry has a builtin mechanism to stop recursion and avoid going into an infinite loop.

Implementations

impl Registry

pub fn new() -> Registry

Creates a new empty registry.

pub fn register_type(&mut self, ty: &MetaType) -> UntrackedSymbol<TypeId>

Registers the given type into the registry and returns its associated type ID symbol.

Note

Due to safety requirements the returns type ID symbol cannot be used later to resolve back to the associated type definition. However, since this facility is going to be used for serialization purposes this functionality isn’t needed anyway.

pub fn register_types<I>(&mut self, iter: I) -> Vec<UntrackedSymbol<TypeId>>

where I: IntoIterator<Item = MetaType>,

Calls register_type for each MetaType in the given iter.

pub fn map_into_portable<I, T>( &mut self, iter: I, ) -> Vec<<T as IntoPortable>::Output>

where I: IntoIterator<Item = T>, T: IntoPortable,

Converts an iterator into a Vec of the equivalent portable representations.

pub fn types( &self, ) -> impl Iterator<Item = (&UntrackedSymbol<TypeId>, &Type<PortableForm>)>

Returns an iterator over the types with their keys

Trait Implementations

impl Debug for Registry

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

Formats the value using the given formatter.

impl Default for Registry

fn default() -> Registry

Returns the “default value” for a type.

impl From<Registry> for PortableRegistry

fn from(registry: Registry) -> PortableRegistry

Converts to this type from the input type.

impl PartialEq for Registry

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Registry

impl StructuralPartialEq for Registry