Struct leo_asg::checks::ReturnPathReducer [−][src]
Fields
errors: Vec<(Span, String)>
Implementations
impl ReturnPathReducer
[src]
pub fn new() -> ReturnPathReducer
[src]
Trait Implementations
impl Default for ReturnPathReducer
[src]
impl<'a> MonoidalReducerExpression<'a, BoolAnd> for ReturnPathReducer
[src]
fn reduce_expression(
&mut self,
input: &'a Expression<'a>,
value: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &'a Expression<'a>,
value: BoolAnd
) -> BoolAnd
fn reduce_array_access(
&mut self,
input: &ArrayAccessExpression<'a>,
array: T,
index: T
) -> T
[src]
&mut self,
input: &ArrayAccessExpression<'a>,
array: T,
index: T
) -> T
fn reduce_array_init(
&mut self,
input: &ArrayInitExpression<'a>,
element: T
) -> T
[src]
&mut self,
input: &ArrayInitExpression<'a>,
element: T
) -> T
fn reduce_array_inline(
&mut self,
input: &ArrayInlineExpression<'a>,
elements: Vec<T>
) -> T
[src]
&mut self,
input: &ArrayInlineExpression<'a>,
elements: Vec<T>
) -> T
fn reduce_array_range_access(
&mut self,
input: &ArrayRangeAccessExpression<'a>,
array: T,
left: Option<T>,
right: Option<T>
) -> T
[src]
&mut self,
input: &ArrayRangeAccessExpression<'a>,
array: T,
left: Option<T>,
right: Option<T>
) -> T
fn reduce_binary(
&mut self,
input: &BinaryExpression<'a>,
left: T,
right: T
) -> T
[src]
&mut self,
input: &BinaryExpression<'a>,
left: T,
right: T
) -> T
fn reduce_call(
&mut self,
input: &CallExpression<'a>,
target: Option<T>,
arguments: Vec<T>
) -> T
[src]
&mut self,
input: &CallExpression<'a>,
target: Option<T>,
arguments: Vec<T>
) -> T
fn reduce_circuit_access(
&mut self,
input: &CircuitAccessExpression<'a>,
target: Option<T>
) -> T
[src]
&mut self,
input: &CircuitAccessExpression<'a>,
target: Option<T>
) -> T
fn reduce_circuit_init(
&mut self,
input: &CircuitInitExpression<'a>,
values: Vec<T>
) -> T
[src]
&mut self,
input: &CircuitInitExpression<'a>,
values: Vec<T>
) -> T
fn reduce_ternary_expression(
&mut self,
input: &TernaryExpression<'a>,
condition: T,
if_true: T,
if_false: T
) -> T
[src]
&mut self,
input: &TernaryExpression<'a>,
condition: T,
if_true: T,
if_false: T
) -> T
fn reduce_cast_expression(&mut self, input: &CastExpression<'a>, inner: T) -> T
[src]
fn reduce_constant(&mut self, input: &Constant<'a>) -> T
[src]
fn reduce_tuple_access(
&mut self,
input: &TupleAccessExpression<'a>,
tuple_ref: T
) -> T
[src]
&mut self,
input: &TupleAccessExpression<'a>,
tuple_ref: T
) -> T
fn reduce_tuple_init(
&mut self,
input: &TupleInitExpression<'a>,
values: Vec<T>
) -> T
[src]
&mut self,
input: &TupleInitExpression<'a>,
values: Vec<T>
) -> T
fn reduce_unary(&mut self, input: &UnaryExpression<'a>, inner: T) -> T
[src]
fn reduce_variable_ref(&mut self, input: &VariableRef<'a>) -> T
[src]
impl<'a> MonoidalReducerStatement<'a, BoolAnd> for ReturnPathReducer
[src]
fn reduce_assign_access(
&mut self,
input: &AssignAccess<'_>,
left: Option<BoolAnd>,
right: Option<BoolAnd>
) -> BoolAnd
[src]
&mut self,
input: &AssignAccess<'_>,
left: Option<BoolAnd>,
right: Option<BoolAnd>
) -> BoolAnd
fn reduce_assign(
&mut self,
input: &AssignStatement<'_>,
accesses: Vec<BoolAnd>,
value: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &AssignStatement<'_>,
accesses: Vec<BoolAnd>,
value: BoolAnd
) -> BoolAnd
fn reduce_block(
&mut self,
input: &BlockStatement<'_>,
statements: Vec<BoolAnd>
) -> BoolAnd
[src]
&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
[src]
&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
[src]
&mut self,
input: &FormattedString<'_>,
parameters: Vec<BoolAnd>
) -> BoolAnd
fn reduce_console(
&mut self,
input: &ConsoleStatement<'_>,
argument: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &ConsoleStatement<'_>,
argument: BoolAnd
) -> BoolAnd
fn reduce_definition(
&mut self,
input: &DefinitionStatement<'_>,
value: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &DefinitionStatement<'_>,
value: BoolAnd
) -> BoolAnd
fn reduce_expression_statement(
&mut self,
input: &ExpressionStatement<'_>,
expression: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &ExpressionStatement<'_>,
expression: BoolAnd
) -> BoolAnd
fn reduce_iteration(
&mut self,
input: &IterationStatement<'_>,
start: BoolAnd,
stop: BoolAnd,
body: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &IterationStatement<'_>,
start: BoolAnd,
stop: BoolAnd,
body: BoolAnd
) -> BoolAnd
fn reduce_return(
&mut self,
input: &ReturnStatement<'_>,
value: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &ReturnStatement<'_>,
value: BoolAnd
) -> BoolAnd
fn reduce_statement(&mut self, input: &'a Statement<'a>, value: T) -> T
[src]
Auto Trait Implementations
impl !RefUnwindSafe for ReturnPathReducer
impl !Send for ReturnPathReducer
impl !Sync for ReturnPathReducer
impl Unpin for ReturnPathReducer
impl UnwindSafe for ReturnPathReducer
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T> Instrument for T
[src]
pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,