Trait leo_asg::reducer::MonoidalReducerProgram[−][src]

pub trait MonoidalReducerProgram<T: Monoid>: MonoidalReducerStatement<T> {
    fn reduce_function(&mut self, input: &Arc<FunctionBody>, body: T) -> T { ... }

    fn reduce_circuit_member(
        &mut self, 
        input: &CircuitMemberBody, 
        function: Option<T>
    ) -> T { ... }

    fn reduce_circuit(&mut self, input: &Arc<CircuitBody>, members: Vec<T>) -> T { ... }

    fn reduce_program(
        &mut self, 
        input: &InternalProgram, 
        imported_modules: Vec<T>, 
        test_functions: Vec<T>, 
        functions: Vec<T>, 
        circuits: Vec<T>
    ) -> T { ... }
}

Provided methods

fn reduce_function(&mut self, input: &Arc<FunctionBody>, body: T) -> T[src]

fn reduce_circuit_member(
    &mut self,
    input: &CircuitMemberBody,
    function: Option<T>
) -> T[src]

fn reduce_circuit(&mut self, input: &Arc<CircuitBody>, members: Vec<T>) -> T[src]

fn reduce_program(
    &mut self,
    input: &InternalProgram,
    imported_modules: Vec<T>,
    test_functions: Vec<T>,
    functions: Vec<T>,
    circuits: Vec<T>
) -> T[src]

Loading content...

Implementors

Loading content...