Struct FeatureCheckedProgram

pub struct FeatureCheckedProgram<'a, Target> { /* private fields */ }

A wrapper around Program that enforces having been checked for feature support on a particular backend.

Implementations

impl<'a, T: Target> FeatureCheckedProgram<'a, T>

pub fn check(program: &'a Program) -> Result<Self, UnsupportedFeature>

Methods from Deref<Target = &'a Program>

pub fn fmt_sexpr(&self) -> String

For debugging purposes. This writes out the parse tree of a program as an S-expression.

pub fn terms(&self) -> &Arena<Term>

pub fn is_single(&self) -> bool

Methods from Deref<Target = Tree<Term>>

pub fn walk(&self) -> TreeWalker<'_, T>

Create a tree walker to arbitrarily traverse the tree.

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

impl<'a, Target> Deref for FeatureCheckedProgram<'a, Target>

type Target = &'a Program

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.