Struct mice::backend_support::FeatureCheckedProgram
source · [−]pub struct FeatureCheckedProgram<'a, Target> { /* private fields */ }Expand description
A wrapper around Program that enforces having
been checked for feature support on a particular backend.
Implementations
sourceimpl<'a, T: Target> FeatureCheckedProgram<'a, T>
impl<'a, T: Target> FeatureCheckedProgram<'a, T>
pub fn check(program: &'a Program) -> Result<Self, UnsupportedFeature>
Methods from Deref<Target = &'a Program>
Methods from Deref<Target = Tree<Term>>
sourcepub fn walk(&self) -> TreeWalker<'_, T>
pub fn walk(&self) -> TreeWalker<'_, T>
Create a tree walker to arbitrarily traverse the tree.
sourcepub fn postorder(&self) -> PostorderIter<'_, T> where
T: IndexNode,
pub fn postorder(&self) -> PostorderIter<'_, T> where
T: IndexNode,
Perform a postorder depth first traversal of the tree.
Currently has substantially more iteration overhead than postorder,
but running time appears to stay inside an order of magnitude on large trees.
Trait Implementations
Auto Trait Implementations
impl<'a, Target> RefUnwindSafe for FeatureCheckedProgram<'a, Target> where
Target: RefUnwindSafe,
impl<'a, Target> Send for FeatureCheckedProgram<'a, Target> where
Target: Send,
impl<'a, Target> Sync for FeatureCheckedProgram<'a, Target> where
Target: Sync,
impl<'a, Target> Unpin for FeatureCheckedProgram<'a, Target> where
Target: Unpin,
impl<'a, Target> UnwindSafe for FeatureCheckedProgram<'a, Target> where
Target: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more