[][src]Enum std::ops::ControlFlow

pub enum ControlFlow<B, C = ()> {
    Continue(C),
    Break(B),
}
🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

Used to make try_fold closures more like normal loops

Variants

Continue(C)
🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

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

Break(B)
🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

Exit the loop, yielding the given value

Implementations

impl<B, C> ControlFlow<B, C>[src]

pub fn is_break(&self) -> bool[src]

🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

Returns true if this is a Break variant.

pub fn is_continue(&self) -> bool[src]

🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

Returns true if this is a Continue variant.

pub fn break_value(self) -> Option<B>[src]

🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

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

impl<R> ControlFlow<R, <R as Try>::Ok> where
    R: Try
[src]

pub fn from_try(r: R) -> ControlFlow<R, <R as Try>::Ok>[src]

🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

Create a ControlFlow from any type implementing Try.

pub fn into_try(self) -> R[src]

🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

Convert a ControlFlow into any type implementing Try;

impl<B> ControlFlow<B, ()>[src]

pub const CONTINUE: ControlFlow<B, ()>[src]

🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

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.

Examples

#![feature(control_flow_enum)]
use std::ops::ControlFlow;

let mut partial_sum = 0;
let last_used = (1..10).chain(20..25).try_for_each(|x| {
    partial_sum += x;
    if partial_sum > 100 { ControlFlow::Break(x) }
    else { ControlFlow::CONTINUE }
});
assert_eq!(last_used.break_value(), Some(22));
Run

impl<C> ControlFlow<(), C>[src]

pub const BREAK: ControlFlow<(), C>[src]

🔬 This is a nightly-only experimental API. (control_flow_enum #75744)

new API

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

Examples

#![feature(control_flow_enum)]
use std::ops::ControlFlow;

let mut partial_sum = 0;
(1..10).chain(20..25).try_for_each(|x| {
    if partial_sum > 100 { ControlFlow::BREAK }
    else { partial_sum += x; ControlFlow::CONTINUE }
});
assert_eq!(partial_sum, 108);
Run

Trait Implementations

impl<B, C> Clone for ControlFlow<B, C> where
    B: Clone,
    C: Clone
[src]

impl<B, C> Copy for ControlFlow<B, C> where
    B: Copy,
    C: Copy
[src]

impl<B, C> Debug for ControlFlow<B, C> where
    B: Debug,
    C: Debug
[src]

impl<B, C> PartialEq<ControlFlow<B, C>> for ControlFlow<B, C> where
    B: PartialEq<B>,
    C: PartialEq<C>, 
[src]

impl<B, C> StructuralPartialEq for ControlFlow<B, C>[src]

impl<B, C> Try for ControlFlow<B, C>[src]

type Ok = C

🔬 This is a nightly-only experimental API. (try_trait #42327)

The type of this value when viewed as successful.

type Error = B

🔬 This is a nightly-only experimental API. (try_trait #42327)

The type of this value when viewed as failed.

Auto Trait Implementations

impl<B, C> RefUnwindSafe for ControlFlow<B, C> where
    B: RefUnwindSafe,
    C: RefUnwindSafe

impl<B, C> Send for ControlFlow<B, C> where
    B: Send,
    C: Send

impl<B, C> Sync for ControlFlow<B, C> where
    B: Sync,
    C: Sync

impl<B, C> Unpin for ControlFlow<B, C> where
    B: Unpin,
    C: Unpin

impl<B, C> UnwindSafe for ControlFlow<B, C> where
    B: UnwindSafe,
    C: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.