Trait Typed

pub trait Typed {
    type Type: HyperType + Eq + Copy + Send + Sync;

    // Required method
    fn get_type(&self) -> Self::Type;

    // Provided method
    fn try_get_type(&self) -> Option<Self::Type> { ... }
}

Required Associated Types

type Type: HyperType + Eq + Copy + Send + Sync

Required Methods

fn get_type(&self) -> Self::Type

Provided Methods

fn try_get_type(&self) -> Option<Self::Type>

Implementors

impl Typed for Tree

type Type = u8

impl<'a, Id: 'static + TypedNodeId<IdN = NodeIdentifier>> Typed for hyperast::store::nodes::boxed_components::HashedNodeRef<'a, Id>

where Id::Ty: Copy + Hash + Eq,

type Type = <Id as TypedNodeId>::Ty

impl<'a, Id: 'static + TypedNodeId<IdN = NodeIdentifier>> Typed for hyperast::store::nodes::hecs::HashedNodeRef<'a, Id>

where Id::Ty: Copy + Hash + Eq + ComponentRef<'a>,

type Type = <Id as TypedNodeId>::Ty

impl<'a, Id: 'static + TypedNodeId<IdN = NodeIdentifier>> Typed for &hyperast::store::nodes::legion::HashedNodeRef<'a, Id>

type Type = AnyType

impl<'a, Id: 'static + TypedNodeId<IdN = NodeIdentifier>> Typed for hyperast::store::nodes::legion::HashedNodeRef<'a, Id>

type Type = <Id as TypedNodeId>::Ty

impl<'a, T: TypedNodeId> Typed for hyperast::store::nodes::fetched::HashedNodeRef<'a, T>

where T::Ty: TypeTrait,

type Type = <T as TypedNodeId>::Ty

impl<H: Hash + PrimInt, U: NodeHashs<Hash = H>, N, L, T: HyperType + Copy + Hash + Eq + Sync + Send> Typed for HashedCompressedNode<U, N, L, T>

type Type = T

impl<N, L, T: HyperType + Copy + Hash + Eq + Send + Sync> Typed for CompressedNode<N, L, T>

type Type = T

impl<T: Typed> Typed for TreeRef<'_, T>

type Type = <T as Typed>::Type