Trait leo_asg::reducer::ReconstructingReducerExpression [−][src]
pub trait ReconstructingReducerExpression<'a> {}Show methods
fn reduce_expression(
&mut self,
input: &'a Expression<'a>,
value: Expression<'a>
) -> Expression<'a> { ... } fn reduce_array_access(
&mut self,
input: ArrayAccessExpression<'a>,
array: &'a Expression<'a>,
index: &'a Expression<'a>
) -> Expression<'a> { ... } fn reduce_array_init(
&mut self,
input: ArrayInitExpression<'a>,
element: &'a Expression<'a>
) -> Expression<'a> { ... } fn reduce_array_inline(
&mut self,
input: ArrayInlineExpression<'a>,
elements: Vec<(&'a Expression<'a>, bool)>
) -> Expression<'a> { ... } fn reduce_array_range_access(
&mut self,
input: ArrayRangeAccessExpression<'a>,
array: &'a Expression<'a>,
left: Option<&'a Expression<'a>>,
right: Option<&'a Expression<'a>>
) -> Expression<'a> { ... } fn reduce_binary(
&mut self,
input: BinaryExpression<'a>,
left: &'a Expression<'a>,
right: &'a Expression<'a>
) -> Expression<'a> { ... } fn reduce_call(
&mut self,
input: CallExpression<'a>,
target: Option<&'a Expression<'a>>,
arguments: Vec<&'a Expression<'a>>
) -> Expression<'a> { ... } fn reduce_circuit_access(
&mut self,
input: CircuitAccessExpression<'a>,
target: Option<&'a Expression<'a>>
) -> Expression<'a> { ... } fn reduce_circuit_init(
&mut self,
input: CircuitInitExpression<'a>,
values: Vec<(Identifier, &'a Expression<'a>)>
) -> Expression<'a> { ... } fn reduce_ternary_expression(
&mut self,
input: TernaryExpression<'a>,
condition: &'a Expression<'a>,
if_true: &'a Expression<'a>,
if_false: &'a Expression<'a>
) -> Expression<'a> { ... } fn reduce_cast_expression(
&mut self,
input: CastExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a> { ... } fn reduce_constant(&mut self, input: Constant<'a>) -> Expression<'a> { ... } fn reduce_tuple_access(
&mut self,
input: TupleAccessExpression<'a>,
tuple_ref: &'a Expression<'a>
) -> Expression<'a> { ... } fn reduce_tuple_init(
&mut self,
input: TupleInitExpression<'a>,
values: Vec<&'a Expression<'a>>
) -> Expression<'a> { ... } fn reduce_unary(
&mut self,
input: UnaryExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a> { ... } fn reduce_variable_ref(&mut self, input: VariableRef<'a>) -> Expression<'a> { ... }
Provided methods
fn reduce_expression(
&mut self,
input: &'a Expression<'a>,
value: Expression<'a>
) -> Expression<'a>
[src]fn reduce_array_access(
&mut self,
input: ArrayAccessExpression<'a>,
array: &'a Expression<'a>,
index: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_array_init(
&mut self,
input: ArrayInitExpression<'a>,
element: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_array_inline(
&mut self,
input: ArrayInlineExpression<'a>,
elements: Vec<(&'a Expression<'a>, bool)>
) -> Expression<'a>
[src]fn reduce_array_range_access(
&mut self,
input: ArrayRangeAccessExpression<'a>,
array: &'a Expression<'a>,
left: Option<&'a Expression<'a>>,
right: Option<&'a Expression<'a>>
) -> Expression<'a>
[src]fn reduce_binary(
&mut self,
input: BinaryExpression<'a>,
left: &'a Expression<'a>,
right: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_call(
&mut self,
input: CallExpression<'a>,
target: Option<&'a Expression<'a>>,
arguments: Vec<&'a Expression<'a>>
) -> Expression<'a>
[src]fn reduce_circuit_access(
&mut self,
input: CircuitAccessExpression<'a>,
target: Option<&'a Expression<'a>>
) -> Expression<'a>
[src]fn reduce_circuit_init(
&mut self,
input: CircuitInitExpression<'a>,
values: Vec<(Identifier, &'a Expression<'a>)>
) -> Expression<'a>
[src]fn reduce_ternary_expression(
&mut self,
input: TernaryExpression<'a>,
condition: &'a Expression<'a>,
if_true: &'a Expression<'a>,
if_false: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_cast_expression(
&mut self,
input: CastExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_constant(&mut self, input: Constant<'a>) -> Expression<'a>
[src]fn reduce_tuple_access(
&mut self,
input: TupleAccessExpression<'a>,
tuple_ref: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_tuple_init(
&mut self,
input: TupleInitExpression<'a>,
values: Vec<&'a Expression<'a>>
) -> Expression<'a>
[src]fn reduce_unary(
&mut self,
input: UnaryExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_variable_ref(&mut self, input: VariableRef<'a>) -> Expression<'a>
[src]