Trait leo_asg::reducer::ReconstructingReducerExpression [−][src]
Provided methods
fn reduce_expression(
&mut self,
input: &'a Expression<'a>,
value: Expression<'a>
) -> Expression<'a>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&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>
[src]
&mut self,
input: CastExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a>
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]
&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>
[src]
&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>
[src]
&mut self,
input: UnaryExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a>