Trait HyperASTLean

pub trait HyperASTLean: HyperASTShared {
    type T: Tree<Label = Self::Label, TreeId = Self::IdN, ChildIdx = Self::Idx>;
    type NS;
    type LS: LabelStore<str, I = Self::Label>;
    type TS: TypeStore;

    // Required methods
    fn node_store(&self) -> &Self::NS
       where for<'a> &'a Self::NS: NodeStoreLean<Self::IdN, R = Self::T>;
    fn label_store(&self) -> &Self::LS;

    // Provided method
    fn resolve_type(&self, id: &Self::IdN) -> <Self::TS as TypeStore>::Ty
       where for<'a> &'a Self::NS: NodeStoreLean<Self::IdN, R = Self::T> { ... }
}

Required Associated Types

type T: Tree<Label = Self::Label, TreeId = Self::IdN, ChildIdx = Self::Idx>

type NS

type LS: LabelStore<str, I = Self::Label>

type TS: TypeStore

Required Methods

fn node_store(&self) -> &Self::NS

where for<'a> &'a Self::NS: NodeStoreLean<Self::IdN, R = Self::T>,

fn label_store(&self) -> &Self::LS

Provided Methods

fn resolve_type(&self, id: &Self::IdN) -> <Self::TS as TypeStore>::Ty

where for<'a> &'a Self::NS: NodeStoreLean<Self::IdN, R = Self::T>,

Implementations on Foreign Types

impl<T> HyperASTLean for &T

where T: HyperASTLean,

type T = <T as HyperASTLean>::T

type NS = <T as HyperASTLean>::NS

type LS = <T as HyperASTLean>::LS

type TS = <T as HyperASTLean>::TS

fn node_store(&self) -> &T::NS

where for<'a> &'a Self::NS: NodeStoreLean<Self::IdN, R = Self::T>,

fn label_store(&self) -> &Self::LS

fn resolve_type(&self, id: &Self::IdN) -> <Self::TS as TypeStore>::Ty

where for<'a> &'a Self::NS: NodeStoreLean<Self::IdN, R = Self::T>,

Implementors

impl<'store, TS> HyperASTLean for &'store SimpleStores<TS, DefaultNodeStore>

where TS: TypeStore,

type T = HashedNodeRef<'store, <&'store SimpleStores<TS> as HyperASTShared>::IdN>

type NS = NodeStore

type LS = LabelStore

type TS = TS