Trait leo_asg::reducer::MonoidalReducerStatement

pub trait MonoidalReducerStatement<T: Monoid>: MonoidalReducerExpression<T> {
    fn reduce_statement(&mut self, input: &Arc<Statement>, value: T) -> T { ... }
    fn reduce_assign_access(
        &mut self, 
        input: &AssignAccess, 
        left: Option<T>, 
        right: Option<T>
    ) -> T { ... }
    fn reduce_assign(
        &mut self, 
        input: &AssignStatement, 
        accesses: Vec<T>, 
        value: T
    ) -> T { ... }
    fn reduce_block(&mut self, input: &BlockStatement, statements: Vec<T>) -> T { ... }
    fn reduce_conditional_statement(
        &mut self, 
        input: &ConditionalStatement, 
        condition: T, 
        if_true: T, 
        if_false: Option<T>
    ) -> T { ... }
    fn reduce_formatted_string(
        &mut self, 
        input: &FormattedString, 
        parameters: Vec<T>
    ) -> T { ... }
    fn reduce_console(&mut self, input: &ConsoleStatement, argument: T) -> T { ... }
    fn reduce_definition(&mut self, input: &DefinitionStatement, value: T) -> T { ... }
    fn reduce_expression_statement(
        &mut self, 
        input: &ExpressionStatement, 
        expression: T
    ) -> T { ... }
    fn reduce_iteration(
        &mut self, 
        input: &IterationStatement, 
        start: T, 
        stop: T, 
        body: T
    ) -> T { ... }
    fn reduce_return(&mut self, input: &ReturnStatement, value: T) -> T { ... }
}

Provided methods

fn reduce_statement(&mut self, input: &Arc<Statement>, value: T) -> T

fn reduce_assign_access(
    &mut self,
    input: &AssignAccess,
    left: Option<T>,
    right: Option<T>
) -> T

fn reduce_assign(
    &mut self,
    input: &AssignStatement,
    accesses: Vec<T>,
    value: T
) -> T

fn reduce_block(&mut self, input: &BlockStatement, statements: Vec<T>) -> T

fn reduce_conditional_statement(
    &mut self,
    input: &ConditionalStatement,
    condition: T,
    if_true: T,
    if_false: Option<T>
) -> T

fn reduce_formatted_string(
    &mut self,
    input: &FormattedString,
    parameters: Vec<T>
) -> T

fn reduce_console(&mut self, input: &ConsoleStatement, argument: T) -> T

fn reduce_definition(&mut self, input: &DefinitionStatement, value: T) -> T

fn reduce_expression_statement(
    &mut self,
    input: &ExpressionStatement,
    expression: T
) -> T

fn reduce_iteration(
    &mut self,
    input: &IterationStatement,
    start: T,
    stop: T,
    body: T
) -> T

fn reduce_return(&mut self, input: &ReturnStatement, value: T) -> T

Loading content...

Implementors

impl MonoidalReducerStatement<BoolAnd> for ReturnPathReducer

fn reduce_assign_access(
    &mut self,
    input: &AssignAccess,
    left: Option<BoolAnd>,
    right: Option<BoolAnd>
) -> BoolAnd

fn reduce_assign(
    &mut self,
    input: &AssignStatement,
    accesses: Vec<BoolAnd>,
    value: BoolAnd
) -> BoolAnd

fn reduce_block(
    &mut self,
    input: &BlockStatement,
    statements: Vec<BoolAnd>
) -> BoolAnd

fn reduce_conditional_statement(
    &mut self,
    input: &ConditionalStatement,
    condition: BoolAnd,
    if_true: BoolAnd,
    if_false: Option<BoolAnd>
) -> BoolAnd

fn reduce_formatted_string(
    &mut self,
    input: &FormattedString,
    parameters: Vec<BoolAnd>
) -> BoolAnd

fn reduce_console(
    &mut self,
    input: &ConsoleStatement,
    argument: BoolAnd
) -> BoolAnd

fn reduce_definition(
    &mut self,
    input: &DefinitionStatement,
    value: BoolAnd
) -> BoolAnd

fn reduce_expression_statement(
    &mut self,
    input: &ExpressionStatement,
    expression: BoolAnd
) -> BoolAnd

fn reduce_iteration(
    &mut self,
    input: &IterationStatement,
    start: BoolAnd,
    stop: BoolAnd,
    body: BoolAnd
) -> BoolAnd

fn reduce_return(&mut self, input: &ReturnStatement, value: BoolAnd) -> BoolAnd

Loading content...