Struct leo_asg::reducer::MonoidalDirector

pub struct MonoidalDirector<'a, T: Monoid, R: MonoidalReducerExpression<'a, T>> { /* fields omitted */ }

Implementations

impl<'a, T: Monoid, R: MonoidalReducerExpression<'a, T>> MonoidalDirector<'a, T, R>

pub fn new(reducer: R) -> Self

pub fn reducer(self) -> R

pub fn reduce_expression(&mut self, input: &'a Expression<'a>) -> T

pub fn reduce_array_access(&mut self, input: &ArrayAccessExpression<'a>) -> T

pub fn reduce_array_init(&mut self, input: &ArrayInitExpression<'a>) -> T

pub fn reduce_array_inline(&mut self, input: &ArrayInlineExpression<'a>) -> T

pub fn reduce_array_range_access(
    &mut self,
    input: &ArrayRangeAccessExpression<'a>
) -> T

pub fn reduce_binary(&mut self, input: &BinaryExpression<'a>) -> T

pub fn reduce_call(&mut self, input: &CallExpression<'a>) -> T

pub fn reduce_circuit_access(
    &mut self,
    input: &CircuitAccessExpression<'a>
) -> T

pub fn reduce_circuit_init(&mut self, input: &CircuitInitExpression<'a>) -> T

pub fn reduce_ternary_expression(&mut self, input: &TernaryExpression<'a>) -> T

pub fn reduce_cast_expression(&mut self, input: &CastExpression<'a>) -> T

pub fn reduce_constant(&mut self, input: &Constant<'a>) -> T

pub fn reduce_tuple_access(&mut self, input: &TupleAccessExpression<'a>) -> T

pub fn reduce_tuple_init(&mut self, input: &TupleInitExpression<'a>) -> T

pub fn reduce_unary(&mut self, input: &UnaryExpression<'a>) -> T

pub fn reduce_variable_ref(&mut self, input: &VariableRef<'a>) -> T

impl<'a, T: Monoid, R: MonoidalReducerStatement<'a, T>> MonoidalDirector<'a, T, R>

pub fn reduce_statement(&mut self, input: &'a Statement<'a>) -> T

pub fn reduce_assign_access(&mut self, input: &AssignAccess<'a>) -> T

pub fn reduce_assign(&mut self, input: &AssignStatement<'a>) -> T

pub fn reduce_block(&mut self, input: &BlockStatement<'a>) -> T

pub fn reduce_conditional_statement(
    &mut self,
    input: &ConditionalStatement<'a>
) -> T

pub fn reduce_formatted_string(&mut self, input: &FormatString<'a>) -> T

pub fn reduce_console(&mut self, input: &ConsoleStatement<'a>) -> T

pub fn reduce_definition(&mut self, input: &DefinitionStatement<'a>) -> T

pub fn reduce_expression_statement(
    &mut self,
    input: &ExpressionStatement<'a>
) -> T

pub fn reduce_iteration(&mut self, input: &IterationStatement<'a>) -> T

pub fn reduce_return(&mut self, input: &ReturnStatement<'a>) -> T

impl<'a, T: Monoid, R: MonoidalReducerProgram<'a, T>> MonoidalDirector<'a, T, R>

pub fn reduce_function(&mut self, input: &'a Function<'a>) -> T

pub fn reduce_circuit_member(&mut self, input: &CircuitMember<'a>) -> T

pub fn reduce_circuit(&mut self, input: &'a Circuit<'a>) -> T

pub fn reduce_program(&mut self, input: &Program<'a>) -> T