hyperast::position::position_accessors

Function assert_invariants_post

Source 
pub fn assert_invariants_post<'store, IdN, P, HAST>(p: &P, store: &'store HAST)
where
    IdN: Eq + Hash + Debug + Clone + NodeId,
    P: WithPostOrderPath<IdN> + SolvedPosition<IdN>,
    HAST: HyperAST<'store, IdN = IdN::IdN, Idx = P::Idx>,
    <IdN as NodeId>::IdN: PartialEq<<<IdN as NodeId>::IdN as NodeId>::IdN> + Debug,
    <<IdN as NodeId>::IdN as NodeId>::IdN: Debug,
Expand description
  • p should only return each node once
  • resolved children should correspond