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 MonoidalReducerExpression<BoolAnd> for ReturnPathReducer
[src]
fn reduce_expression(
&mut self,
input: &Arc<Expression>,
value: BoolAnd
) -> BoolAnd
[src]
&mut self,
input: &Arc<Expression>,
value: BoolAnd
) -> BoolAnd
fn reduce_array_access(
&mut self,
input: &ArrayAccessExpression,
array: T,
index: T
) -> T
[src]
&mut self,
input: &ArrayAccessExpression,
array: T,
index: T
) -> T
fn reduce_array_init(&mut self, input: &ArrayInitExpression, element: T) -> T
[src]
fn reduce_array_inline(
&mut self,
input: &ArrayInlineExpression,
elements: Vec<T>
) -> T
[src]
&mut self,
input: &ArrayInlineExpression,
elements: Vec<T>
) -> T
fn reduce_array_range_access(
&mut self,
input: &ArrayRangeAccessExpression,
array: T,
left: Option<T>,
right: Option<T>
) -> T
[src]
&mut self,
input: &ArrayRangeAccessExpression,
array: T,
left: Option<T>,
right: Option<T>
) -> T
fn reduce_binary(&mut self, input: &BinaryExpression, left: T, right: T) -> T
[src]
fn reduce_call(
&mut self,
input: &CallExpression,
target: Option<T>,
arguments: Vec<T>
) -> T
[src]
&mut self,
input: &CallExpression,
target: Option<T>,
arguments: Vec<T>
) -> T
fn reduce_circuit_access(
&mut self,
input: &CircuitAccessExpression,
target: Option<T>
) -> T
[src]
&mut self,
input: &CircuitAccessExpression,
target: Option<T>
) -> T
fn reduce_circuit_init(
&mut self,
input: &CircuitInitExpression,
values: Vec<T>
) -> T
[src]
&mut self,
input: &CircuitInitExpression,
values: Vec<T>
) -> T
fn reduce_ternary_expression(
&mut self,
input: &TernaryExpression,
condition: T,
if_true: T,
if_false: T
) -> T
[src]
&mut self,
input: &TernaryExpression,
condition: T,
if_true: T,
if_false: T
) -> T
fn reduce_constant(&mut self, input: &Constant) -> T
[src]
fn reduce_tuple_access(
&mut self,
input: &TupleAccessExpression,
tuple_ref: T
) -> T
[src]
&mut self,
input: &TupleAccessExpression,
tuple_ref: T
) -> T
fn reduce_tuple_init(
&mut self,
input: &TupleInitExpression,
values: Vec<T>
) -> T
[src]
&mut self,
input: &TupleInitExpression,
values: Vec<T>
) -> T
fn reduce_unary(&mut self, input: &UnaryExpression, inner: T) -> T
[src]
fn reduce_variable_ref(&mut self, input: &VariableRef) -> T
[src]
impl MonoidalReducerStatement<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]
fn reduce_statement(&mut self, input: &Arc<Statement>, value: T) -> T
[src]
Auto Trait Implementations
impl RefUnwindSafe for ReturnPathReducer
[src]
impl Send for ReturnPathReducer
[src]
impl Sync for ReturnPathReducer
[src]
impl Unpin for ReturnPathReducer
[src]
impl UnwindSafe for ReturnPathReducer
[src]
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>,