Struct TypeAggregator 

pub struct TypeAggregator { /* private fields */ }

Used to aggregate types defined in different Types collections.

A type aggregator can be used to merge compatible definitions of the same type into a single supertype definition stored within the aggregator; this is useful for imports that are shared across different instantiation arguments.

It works by first recursively remapping a type from a foreign Types collection into its own Types collection; any further attempt to aggregate the type causes a merge of type definitions provided they are compatible.

Implementations

impl TypeAggregator

pub fn new() -> Self

Creates a new type aggregator.

pub fn types(&self) -> &Types

Gets the aggregator’s type collection.

pub fn imports(&self) -> impl Iterator<Item = (&str, ItemKind)>

Iterates the imported types in the aggregator.

pub fn aggregate( self, name: &str, types: &Types, kind: ItemKind, checker: &mut SubtypeChecker<'_>, ) -> Result<Self>

Aggregates a item kind from a specified type collection using the given import name.

Note that if the aggregate operation fails, the aggregator is consumed.

Trait Implementations

impl Debug for TypeAggregator

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

Formats the value using the given formatter.

impl Default for TypeAggregator

fn default() -> TypeAggregator

Returns the “default value” for a type.