enum UnresolvedChildren {
Unresolved,
ResolvedEmpty,
WithChildren(WeakNode<NodeData>),
}Expand description
Keeps track of which Pattern provided a non-empty set of children during pattern resolution
Variants§
Unresolved
Points back to the original Pattern if it had no usable children
ResolvedEmpty
Points back to the original Pattern, as no pattern in the chain of fallbacks had usable children. This only gets returned by resolve_from_defaults().
WithChildren(WeakNode<NodeData>)
Points back to the Pattern that had usable children.
Implementations§
Source§impl UnresolvedChildren
impl UnresolvedChildren
fn from_node(node: &Node<NodeData>) -> UnresolvedChildren
fn is_resolved(&self) -> bool
fn resolve_from_fallback( &self, fallback: &UnresolvedChildren, ) -> UnresolvedChildren
fn resolve_from_defaults(&self) -> UnresolvedChildren
fn to_resolved(&self) -> Children
Trait Implementations§
Source§impl Clone for UnresolvedChildren
impl Clone for UnresolvedChildren
Source§fn clone(&self) -> UnresolvedChildren
fn clone(&self) -> UnresolvedChildren
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for UnresolvedChildren
impl !RefUnwindSafe for UnresolvedChildren
impl !Send for UnresolvedChildren
impl !Sync for UnresolvedChildren
impl Unpin for UnresolvedChildren
impl !UnwindSafe for UnresolvedChildren
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.