Trait hyper_ast::position::TreePath

pub trait TreePath<IdN = NodeIdentifier, Idx = u16> {
    // Required methods
    fn node(&self) -> Option<&IdN>;
    fn offset(&self) -> Option<&Idx>;
    fn check<'store, HAST>(&self, stores: &'store HAST) -> Result<(), ()>
       where HAST: HyperAST<'store, IdN = IdN::IdN>,
             HAST::T: WithChildren<ChildIdx = Idx>,
             HAST::IdN: Eq,
             IdN: NodeId,
             IdN::IdN: NodeId<IdN = IdN::IdN>;
}

Required Methods

fn node(&self) -> Option<&IdN>

fn offset(&self) -> Option<&Idx>

fn check<'store, HAST>(&self, stores: &'store HAST) -> Result<(), ()>where HAST: HyperAST<'store, IdN = IdN::IdN>, HAST::T: WithChildren<ChildIdx = Idx>, HAST::IdN: Eq, IdN: NodeId, IdN::IdN: NodeId<IdN = IdN::IdN>,

Implementors

impl<IdN: Eq + Copy, Idx: PrimInt> TreePath<IdN, Idx> for Scout<IdN, Idx>

impl<IdN: Copy, Idx: PrimInt> TreePath<IdN, Idx> for StructuralPosition<IdN, Idx>

impl<TIdN: TypedNodeId, Idx: PrimInt> TreePath<<TIdN as NodeId>::IdN, Idx> for TypedScout<TIdN, Idx>where TIdN::IdN: Copy,