Trait former::EntityToDefinition

source ·
pub trait EntityToDefinition<Context, Formed, End> {
    type Definition: FormerDefinition;
    type Types: FormerDefinitionTypes;
}
Expand description

Maps a type of entity to its corresponding former definition. This trait provides a linkage between the entity and its definition, allowing the formation logic to understand what definition to apply during the formation process.

Required Associated Types§

source

type Definition: FormerDefinition

The specific FormerDefinition associated with this entity.

source

type Types: FormerDefinitionTypes

The specific FormerDefinitionTypes associated with this entity.

Implementations on Foreign Types§

source§

impl<E, Context, Formed, End> EntityToDefinition<Context, Formed, End> for BinaryHeap<E>
where E: Ord, End: FormingEnd<BinaryHeapDefinitionTypes<E, Context, Formed>>,

§

type Definition = BinaryHeapDefinition<E, Context, Formed, End>

§

type Types = BinaryHeapDefinitionTypes<E, Context, Formed>

source§

impl<E, Context, Formed, End> EntityToDefinition<Context, Formed, End> for BTreeSet<E>
where End: FormingEnd<BTreeSetDefinitionTypes<E, Context, Formed>>,

§

type Definition = BTreeSetDefinition<E, Context, Formed, End>

§

type Types = BTreeSetDefinitionTypes<E, Context, Formed>

source§

impl<E, Context, Formed, End> EntityToDefinition<Context, Formed, End> for LinkedList<E>
where End: FormingEnd<LinkedListDefinitionTypes<E, Context, Formed>>,

§

type Definition = LinkedListDefinition<E, Context, Formed, End>

§

type Types = LinkedListDefinitionTypes<E, Context, Formed>

source§

impl<E, Context, Formed, End> EntityToDefinition<Context, Formed, End> for VecDeque<E>
where End: FormingEnd<VecDequeDefinitionTypes<E, Context, Formed>>,

§

type Definition = VecDequeDefinition<E, Context, Formed, End>

§

type Types = VecDequeDefinitionTypes<E, Context, Formed>

source§

impl<E, Context, Formed, End> EntityToDefinition<Context, Formed, End> for Vec<E>
where End: FormingEnd<VectorDefinitionTypes<E, Context, Formed>>,

§

type Definition = VectorDefinition<E, Context, Formed, End>

§

type Types = VectorDefinitionTypes<E, Context, Formed>

source§

impl<K, Context, Formed, End> EntityToDefinition<Context, Formed, End> for HashSet<K>
where K: Eq + Hash, End: FormingEnd<HashSetDefinitionTypes<K, Context, Formed>>,

§

type Definition = HashSetDefinition<K, Context, Formed, End>

§

type Types = HashSetDefinitionTypes<K, Context, Formed>

source§

impl<K, E, Context, Formed, End> EntityToDefinition<Context, Formed, End> for BTreeMap<K, E>
where K: Ord, End: FormingEnd<BTreeMapDefinitionTypes<K, E, Context, Formed>>,

§

type Definition = BTreeMapDefinition<K, E, Context, Formed, End>

§

type Types = BTreeMapDefinitionTypes<K, E, Context, Formed>

source§

impl<K, E, Context, Formed, End> EntityToDefinition<Context, Formed, End> for HashMap<K, E>
where K: Eq + Hash, End: FormingEnd<HashMapDefinitionTypes<K, E, Context, Formed>>,

§

type Definition = HashMapDefinition<K, E, Context, Formed, End>

§

type Types = HashMapDefinitionTypes<K, E, Context, Formed>

Implementors§