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