Trait hyper_ast::types::Typed

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

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

Required Associated Types

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

Required Methods

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

Implementors

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

type Type = <Id as TypedNodeId>::Ty

impl<'a, T: TypedNodeId> Typed for hyper_ast::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