Trait hyper_ast::types::TypedHyperAST

pub trait TypedHyperAST<'store, TIdN: TypedNodeId<IdN = Self::IdN>>: HyperAST<'store> {
    type T: Tree<Type = TIdN::Ty, TreeId = Self::IdN, Label = Self::Label>;
    type NS: 'store + TypedNodeStore<TIdN, R<'store> = <Self as TypedHyperAST<'store, TIdN>>::T>;

    // Required method
    fn typed_node_store(&self) -> &<Self as TypedHyperAST<'store, TIdN>>::NS;
}

Required Associated Types

type T: Tree<Type = TIdN::Ty, TreeId = Self::IdN, Label = Self::Label>

type NS: 'store + TypedNodeStore<TIdN, R<'store> = <Self as TypedHyperAST<'store, TIdN>>::T>

Required Methods

fn typed_node_store(&self) -> &<Self as TypedHyperAST<'store, TIdN>>::NS

Implementors

impl<'store, TIdN, TS> TypedHyperAST<'store, TIdN> for SimpleStores<TS, DefaultNodeStore>where TIdN: 'static + TypedNodeId<IdN = Self::IdN>, TS: TypeStore<HashedNodeRef<'store, DefaultNodeIdentifier>, Ty = AnyType>,

type T = HashedNodeRef<'store, TIdN>

type NS = NodeStore