chorus_lib::core

Trait LocationSetFolder

Source 
pub trait LocationSetFolder<B> {
    type L: LocationSet;
    type QS: LocationSet;

    // Required method
    fn f<Q, QSSubsetL, QMemberL, QMemberQS>(&self, acc: B, curr: Q) -> B
       where Self::QS: Subset<Self::L, QSSubsetL>,
             Q: Member<Self::L, QMemberL> + Member<Self::QS, QMemberQS> + ChoreographyLocation;
}
Expand description

xx

Required Associated Types§

Source

type L: LocationSet

x

Source

type QS: LocationSet

looping over

Required Methods§

Source

fn f<Q, QSSubsetL, QMemberL, QMemberQS>(&self, acc: B, curr: Q) -> B
where Self::QS: Subset<Self::L, QSSubsetL>, Q: Member<Self::L, QMemberL> + Member<Self::QS, QMemberQS> + ChoreographyLocation,

x

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§