Enum chalk_ir::visit::ControlFlow

pub enum ControlFlow<B, C = ()> {
    Continue(C),
    Break(B),
}

An copy of the unstable std::ops::ControlFlow for use in Chalk visitors.

Variants

Continue(C)

Continue in the loop, using the given value for the next iteration

Tuple Fields of Continue

0: C

Break(B)

Exit the loop, yielding the given value

Tuple Fields of Break

0: B

Implementations

impl<B, C> ControlFlow<B, C>

pub fn is_break(&self) -> bool

Returns true if this is a Break variant.

pub fn is_continue(&self) -> bool

Returns true if this is a Continue variant.

pub fn break_value(self) -> Option<B>

Converts the ControlFlow into an Option which is Some if the ControlFlow was Break and None otherwise.

impl<B> ControlFlow<B, ()>

pub const CONTINUE: Self

It’s frequently the case that there’s no value needed with Continue, so this provides a way to avoid typing (()), if you prefer it.

impl<C> ControlFlow<(), C>

pub const BREAK: Self

APIs like try_for_each don’t need values with Break, so this provides a way to avoid typing (()), if you prefer it.