Skip to main content

AllMounted

Trait AllMounted 

Source
pub trait AllMounted<M, Idx> { }
Expand description

Asserts that ALL sub-APIs in FullAPI have been mounted.

Works like AllProvided for effects — recursively checks each element of the API tuple against the mounted list.

Implementations on Foreign Types§

Source§

impl<M> AllMounted<M, ()> for ()

Source§

impl<Mounted, A: ApiSpec, IA> AllMounted<Mounted, (IA,)> for (A,)
where Mounted: HasMount<A, IA>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB> AllMounted<Mounted, (IA, IB)> for (A, B)
where Mounted: HasMount<A, IA> + HasMount<B, IB>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC> AllMounted<Mounted, (IA, IB, IC)> for (A, B, C)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC, D: ApiSpec, ID> AllMounted<Mounted, (IA, IB, IC, ID)> for (A, B, C, D)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC> + HasMount<D, ID>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC, D: ApiSpec, ID, E: ApiSpec, IE> AllMounted<Mounted, (IA, IB, IC, ID, IE)> for (A, B, C, D, E)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC> + HasMount<D, ID> + HasMount<E, IE>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC, D: ApiSpec, ID, E: ApiSpec, IE, F: ApiSpec, IF> AllMounted<Mounted, (IA, IB, IC, ID, IE, IF)> for (A, B, C, D, E, F)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC> + HasMount<D, ID> + HasMount<E, IE> + HasMount<F, IF>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC, D: ApiSpec, ID, E: ApiSpec, IE, F: ApiSpec, IF, G: ApiSpec, IG> AllMounted<Mounted, (IA, IB, IC, ID, IE, IF, IG)> for (A, B, C, D, E, F, G)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC> + HasMount<D, ID> + HasMount<E, IE> + HasMount<F, IF> + HasMount<G, IG>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC, D: ApiSpec, ID, E: ApiSpec, IE, F: ApiSpec, IF, G: ApiSpec, IG, H: ApiSpec, IH> AllMounted<Mounted, (IA, IB, IC, ID, IE, IF, IG, IH)> for (A, B, C, D, E, F, G, H)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC> + HasMount<D, ID> + HasMount<E, IE> + HasMount<F, IF> + HasMount<G, IG> + HasMount<H, IH>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC, D: ApiSpec, ID, E: ApiSpec, IE, F: ApiSpec, IF, G: ApiSpec, IG, H: ApiSpec, IH, I: ApiSpec, II> AllMounted<Mounted, (IA, IB, IC, ID, IE, IF, IG, IH, II)> for (A, B, C, D, E, F, G, H, I)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC> + HasMount<D, ID> + HasMount<E, IE> + HasMount<F, IF> + HasMount<G, IG> + HasMount<H, IH> + HasMount<I, II>,

Source§

impl<Mounted, A: ApiSpec, IA, B: ApiSpec, IB, C: ApiSpec, IC, D: ApiSpec, ID, E: ApiSpec, IE, F: ApiSpec, IF, G: ApiSpec, IG, H: ApiSpec, IH, I: ApiSpec, II, J: ApiSpec, IJ> AllMounted<Mounted, (IA, IB, IC, ID, IE, IF, IG, IH, II, IJ)> for (A, B, C, D, E, F, G, H, I, J)
where Mounted: HasMount<A, IA> + HasMount<B, IB> + HasMount<C, IC> + HasMount<D, ID> + HasMount<E, IE> + HasMount<F, IF> + HasMount<G, IG> + HasMount<H, IH> + HasMount<I, II> + HasMount<J, IJ>,

Implementors§