Trait MaybeHasNiche

pub trait MaybeHasNiche {
    type MnArray;
}

Required Associated Types

type MnArray

Implementations on Foreign Types

impl MaybeHasNiche for bool

type MnArray = SomeNiche<BoolNiche>

impl MaybeHasNiche for ()

type MnArray = NoNiche<ZeroNoNiche<<() as Size>::Size>>

impl<A: MaybeHasNiche, B: MaybeHasNiche> MaybeHasNiche for (A, B)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, ATerm>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, ATerm>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche> MaybeHasNiche for (A, B, C)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, ATerm>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, ATerm>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche> MaybeHasNiche for (A, B, C, D)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, ATerm>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, ATerm>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, ATerm>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, ATerm>>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche, F: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E, F)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, TArr<F::MnArray, ATerm>>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, TArr<<F as MaybeHasNiche>::MnArray, ATerm>>>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche, F: MaybeHasNiche, G: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E, F, G)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, TArr<F::MnArray, TArr<G::MnArray, ATerm>>>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, TArr<<F as MaybeHasNiche>::MnArray, TArr<<G as MaybeHasNiche>::MnArray, ATerm>>>>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche, F: MaybeHasNiche, G: MaybeHasNiche, H: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E, F, G, H)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, TArr<F::MnArray, TArr<G::MnArray, TArr<H::MnArray, ATerm>>>>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, TArr<<F as MaybeHasNiche>::MnArray, TArr<<G as MaybeHasNiche>::MnArray, TArr<<H as MaybeHasNiche>::MnArray, ATerm>>>>>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche, F: MaybeHasNiche, G: MaybeHasNiche, H: MaybeHasNiche, I: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E, F, G, H, I)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, TArr<F::MnArray, TArr<G::MnArray, TArr<H::MnArray, TArr<I::MnArray, ATerm>>>>>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, TArr<<F as MaybeHasNiche>::MnArray, TArr<<G as MaybeHasNiche>::MnArray, TArr<<H as MaybeHasNiche>::MnArray, TArr<<I as MaybeHasNiche>::MnArray, ATerm>>>>>>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche, F: MaybeHasNiche, G: MaybeHasNiche, H: MaybeHasNiche, I: MaybeHasNiche, J: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E, F, G, H, I, J)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, TArr<F::MnArray, TArr<G::MnArray, TArr<H::MnArray, TArr<I::MnArray, TArr<J::MnArray, ATerm>>>>>>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, TArr<<F as MaybeHasNiche>::MnArray, TArr<<G as MaybeHasNiche>::MnArray, TArr<<H as MaybeHasNiche>::MnArray, TArr<<I as MaybeHasNiche>::MnArray, TArr<<J as MaybeHasNiche>::MnArray, ATerm>>>>>>>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche, F: MaybeHasNiche, G: MaybeHasNiche, H: MaybeHasNiche, I: MaybeHasNiche, J: MaybeHasNiche, K: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E, F, G, H, I, J, K)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, TArr<F::MnArray, TArr<G::MnArray, TArr<H::MnArray, TArr<I::MnArray, TArr<J::MnArray, TArr<K::MnArray, ATerm>>>>>>>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, TArr<<F as MaybeHasNiche>::MnArray, TArr<<G as MaybeHasNiche>::MnArray, TArr<<H as MaybeHasNiche>::MnArray, TArr<<I as MaybeHasNiche>::MnArray, TArr<<J as MaybeHasNiche>::MnArray, TArr<<K as MaybeHasNiche>::MnArray, ATerm>>>>>>>>>>>

impl<A: MaybeHasNiche, B: MaybeHasNiche, C: MaybeHasNiche, D: MaybeHasNiche, E: MaybeHasNiche, F: MaybeHasNiche, G: MaybeHasNiche, H: MaybeHasNiche, I: MaybeHasNiche, J: MaybeHasNiche, K: MaybeHasNiche, L: MaybeHasNiche> MaybeHasNiche for (A, B, C, D, E, F, G, H, I, J, K, L)

where Self: Size, TArr<A::MnArray, TArr<B::MnArray, TArr<C::MnArray, TArr<D::MnArray, TArr<E::MnArray, TArr<F::MnArray, TArr<G::MnArray, TArr<H::MnArray, TArr<I::MnArray, TArr<J::MnArray, TArr<K::MnArray, TArr<L::MnArray, ATerm>>>>>>>>>>>>: MnArray,

type MnArray = TArr<<A as MaybeHasNiche>::MnArray, TArr<<B as MaybeHasNiche>::MnArray, TArr<<C as MaybeHasNiche>::MnArray, TArr<<D as MaybeHasNiche>::MnArray, TArr<<E as MaybeHasNiche>::MnArray, TArr<<F as MaybeHasNiche>::MnArray, TArr<<G as MaybeHasNiche>::MnArray, TArr<<H as MaybeHasNiche>::MnArray, TArr<<I as MaybeHasNiche>::MnArray, TArr<<J as MaybeHasNiche>::MnArray, TArr<<K as MaybeHasNiche>::MnArray, TArr<<L as MaybeHasNiche>::MnArray, ATerm>>>>>>>>>>>>

impl<T: MaybeHasNiche> MaybeHasNiche for (T,)

type MnArray = <T as MaybeHasNiche>::MnArray

impl<T: MaybeHasNiche> MaybeHasNiche for Box<T>

type MnArray = <T as MaybeHasNiche>::MnArray

impl<T: MaybeHasNiche> MaybeHasNiche for Arc<T>

type MnArray = <T as MaybeHasNiche>::MnArray

impl<T: MaybeHasNiche<MnArray: MnArray<MaybeNiche: Niche<NeedsTag = B, N: Add<B, Output: ArrayLength>>>>, B: OptionNicheWrapper> MaybeHasNiche for Option<T>

type MnArray = <B as OptionNicheWrapper>::Wrap<<Option<T> as Size>::Size>

impl<const N: usize> MaybeHasNiche for [u8; N]

where Const<N>: ToUInt<Output: ArrayLength>,

type MnArray = NoNiche<ZeroNoNiche<<Const<N> as ToUInt>::Output>>

Implementors

impl<T> MaybeHasNiche for Point<T>

type MnArray = SomeNiche<ZeroNiche<<Point<T> as Size>::Size>>

impl<T, const MAX: usize> MaybeHasNiche for EnumTag<T, MAX>

where T: MaybeHasNiche<MnArray: MnArray<MaybeNiche: MaybeNiche>>,

type MnArray = TArr<<<T as MaybeHasNiche>::MnArray as MnArray>::MaybeNiche, ATerm>

impl<T: Size> MaybeHasNiche for Lp<T>

where U8: Add<T::Size, Output: ArrayLength>,

type MnArray = TArr<SomeNiche<ZeroNiche<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>>>, TArr<NoNiche<ZeroNoNiche<<T as Size>::Size>>, ATerm>>