Trait EntityToDefinition

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

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

type Definition: FormerDefinition

The specific FormerDefinition associated with this entity.

type Types: FormerDefinitionTypes

The specific FormerDefinitionTypes associated with this entity.

Implementations on Foreign Types

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>

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>

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>

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>

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>

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>

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>

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