Trait leo_asg::reducer::MonoidalReducerProgram [−][src]
Provided methods
fn reduce_function(&mut self, input: &'a Function<'a>, body: T) -> T
[src]
fn reduce_circuit_member(
&mut self,
input: &CircuitMember<'a>,
function: Option<T>
) -> T
[src]
&mut self,
input: &CircuitMember<'a>,
function: Option<T>
) -> T
fn reduce_circuit(&mut self, input: &'a Circuit<'a>, members: Vec<T>) -> T
[src]
fn reduce_program(
&mut self,
input: &Program<'_>,
imported_modules: Vec<T>,
functions: Vec<T>,
circuits: Vec<T>
) -> T
[src]
&mut self,
input: &Program<'_>,
imported_modules: Vec<T>,
functions: Vec<T>,
circuits: Vec<T>
) -> T