Enum aery::for_each::JCF

source ·
pub enum JCF {
    Continue,
    FastForward(usize),
    Exit,
}
Expand description

Control flow enum for Join operations.

Variants§

§

Continue

Continue iterating permutations of matches.

§

FastForward(usize)

Skip permutations until the nth join is advanced to the next match. Useful for multiple joins to avoid unnecessary permutation iteration. Fast forwarding is an O(1) operation.

§FastForward Illustration:
use bevy::prelude::*;
use aery::prelude::*;

#[derive(Component)]
struct A;

#[derive(Component)]
struct B(usize);

#[derive(Component)]
struct C(usize);

#[derive(Component)]
struct D(usize);

#[derive(Relation)]
struct R0;

#[derive(Relation)]
struct R1;

#[derive(Relation)]
struct R2;

fn setup(world: &mut World) {
    let a = world.spawn(A).id();

    for n in 0..3 {
        world.spawn(B(n)).set::<R0>(a);
        world.spawn(C(n)).set::<R1>(a);
        world.spawn(D(n)).set::<R2>(a);
    }
}

fn fast_forward(
    a: Query<(&A, Relations<(R0, R1, R2)>)>,
    b: Query<&B>,
    c: Query<&C>,
    d: Query<&D>
) {
    for (_, edges) in a.iter() {
        edges
            .join::<R0>(&b)
            .join::<R1>(&c)
            .join::<R2>(&d)
            .for_each(|(b, c, d)| {
                if c.0 == 1 { return JCF::FastForward(1) }
                println!("({}, {}, {})", b.0, c.0, d.0);
                JCF::Continue
            });
    }
}

Output:

    (0, 0, 0)
    (0, 0, 1)
    (0, 0, 2)
//  Skipped:
//  (0, 1, 0)
//  (0, 1, 1)
//  (0, 1, 2)
    (0, 2, 0)
    (0, 2, 1)
    (0, 2, 2)
    (1, 0, 0)
    (1, 0, 1)
    (1, 0, 2)
//  Skipped:
//  (1, 1, 0)
//  (1, 1, 1)
//  (1, 1, 2)
    (1, 2, 0)
    (1, 2, 1)
    (1, 2, 2)
    (2, 0, 0)
    (2, 0, 1)
    (2, 0, 2)
//  Skipped:
//  (2, 1, 0)
//  (2, 1, 1)
//  (2, 1, 2)
    (2, 2, 0)
    (2, 2, 1)
    (2, 2, 2)
§

Exit

Terminate the loop.

Trait Implementations§

source§

impl From<()> for JCF

source§

fn from(_: ()) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

§

impl RefUnwindSafe for JCF

§

impl Send for JCF

§

impl Sync for JCF

§

impl Unpin for JCF

§

impl UnwindSafe for JCF

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

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

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
source§

impl<T> ZstOrPanic for T