Skip to main content

MaybeHasNiche

object_rainbow

Trait MaybeHasNiche 

Source 
pub trait MaybeHasNiche {
    type MnArray;
}
Expand description

This might contain a valid Niche.

Required Associated Types§

Source

type MnArray

Should implement [MnArray]. Not constraint explicitly, because that breaks things.

Implementations on Foreign Types§

Source§

impl MaybeHasNiche for Infallible

Source§

type MnArray = SomeNiche<ZeroNiche<UTerm>>

Source§

impl MaybeHasNiche for bool

Source§

type MnArray = SomeNiche<IncrByteNiche<UInt<UInt<UTerm, B1>, B0>>>

Source§

impl MaybeHasNiche for f32

Source§

type MnArray = NoNiche<ZeroNoNiche<<f32 as Size>::Size>>

Source§

impl MaybeHasNiche for f64

Source§

type MnArray = NoNiche<ZeroNoNiche<<f64 as Size>::Size>>

Source§

impl MaybeHasNiche for i8

Source§

type MnArray = NoNiche<ZeroNoNiche<<i8 as Size>::Size>>

Source§

impl MaybeHasNiche for i16

Source§

type MnArray = NoNiche<ZeroNoNiche<<i16 as Size>::Size>>

Source§

impl MaybeHasNiche for i32

Source§

type MnArray = NoNiche<ZeroNoNiche<<i32 as Size>::Size>>

Source§

impl MaybeHasNiche for i64

Source§

type MnArray = NoNiche<ZeroNoNiche<<i64 as Size>::Size>>

Source§

impl MaybeHasNiche for i128

Source§

type MnArray = NoNiche<ZeroNoNiche<<i128 as Size>::Size>>

Source§

impl MaybeHasNiche for str

Source§

type MnArray = NoNiche<NicheForUnsized>

Source§

impl MaybeHasNiche for u8

Source§

type MnArray = NoNiche<ZeroNoNiche<<u8 as Size>::Size>>

Source§

impl MaybeHasNiche for u16

Source§

type MnArray = NoNiche<ZeroNoNiche<<u16 as Size>::Size>>

Source§

impl MaybeHasNiche for u32

Source§

type MnArray = NoNiche<ZeroNoNiche<<u32 as Size>::Size>>

Source§

impl MaybeHasNiche for u64

Source§

type MnArray = NoNiche<ZeroNoNiche<<u64 as Size>::Size>>

Source§

impl MaybeHasNiche for u128

Source§

type MnArray = NoNiche<ZeroNoNiche<<u128 as Size>::Size>>

Source§

impl MaybeHasNiche for ()

Source§

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

Source§

impl MaybeHasNiche for CString

Source§

type MnArray = NoNiche<NicheForUnsized>

Source§

impl MaybeHasNiche for String

Source§

type MnArray = NoNiche<NicheForUnsized>

Source§

impl MaybeHasNiche for NonZero<u8>

Source§

type MnArray = SomeNiche<ZeroNiche<<NonZero<u8> as Size>::Size>>

Source§

impl MaybeHasNiche for NonZero<u16>

Source§

type MnArray = SomeNiche<ZeroNiche<<NonZero<u16> as Size>::Size>>

Source§

impl MaybeHasNiche for NonZero<u32>

Source§

type MnArray = SomeNiche<ZeroNiche<<NonZero<u32> as Size>::Size>>

Source§

impl MaybeHasNiche for NonZero<u64>

Source§

type MnArray = SomeNiche<ZeroNiche<<NonZero<u64> as Size>::Size>>

Source§

impl MaybeHasNiche for NonZero<u128>

Source§

type MnArray = SomeNiche<ZeroNiche<<NonZero<u128> as Size>::Size>>

Source§

impl MaybeHasNiche for Bytes

Available on crate feature bytes only.
Source§

type MnArray = NoNiche<NicheForUnsized>

Source§

impl MaybeHasNiche for BytesMut

Available on crate feature bytes only.
Source§

type MnArray = NoNiche<NicheForUnsized>

Source§

impl MaybeHasNiche for Ulid

Available on crate feature ulid only.
Source§

type MnArray = NoNiche<ZeroNoNiche<<Ulid as Size>::Size>>

Source§

impl<'a, B: 'a + ToOwned + MaybeHasNiche + ?Sized> MaybeHasNiche for Cow<'a, B>

Source§

type MnArray = <B as MaybeHasNiche>::MnArray

Source§

impl<A, O: BitOrder> MaybeHasNiche for BitArray<A, O>
where PhantomData<O>: MaybeHasNiche<MnArray: MnArray<MaybeNiche: MaybeNiche>>, A: MaybeHasNiche<MnArray: MnArray<MaybeNiche: MaybeNiche>> + BitViewSized,

Available on crate feature bitvec only.
Source§

type MnArray = TArr<<<PhantomData<O> as MaybeHasNiche>::MnArray as MnArray>::MaybeNiche, TArr<<<A as MaybeHasNiche>::MnArray as MnArray>::MaybeNiche, ATerm>>

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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>>>>>

Source§

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

Source§

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>>>>>>

Source§

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

Source§

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>>>>>>>

Source§

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)

Source§

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>>>>>>>>

Source§

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)

Source§

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>>>>>>>>>

Source§

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)

Source§

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>>>>>>>>>>

Source§

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)

Source§

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>>>>>>>>>>>

Source§

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)

Source§

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>>>>>>>>>>>>

Source§

impl<T> MaybeHasNiche for dyn Send + Sync + ExtraFor<T>

Source§

type MnArray = NoNiche<ZeroNoNiche<<dyn ExtraFor<T> + Sync + Send as Size>::Size>>

Source§

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

Source§

type MnArray = <T as MaybeHasNiche>::MnArray

Source§

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

Source§

type MnArray = <B as OptionNicheWrapper>::Wrap<Mn>

Source§

impl<T: ?Sized + MaybeHasNiche> MaybeHasNiche for Box<T>

Source§

type MnArray = <T as MaybeHasNiche>::MnArray

Source§

impl<T: ?Sized + MaybeHasNiche> MaybeHasNiche for Arc<T>

Source§

type MnArray = <T as MaybeHasNiche>::MnArray

Source§

impl<T: ?Sized> MaybeHasNiche for PhantomData<T>

Source§

type MnArray = NoNiche<ZeroNoNiche<<PhantomData<T> as Size>::Size>>

Source§

impl<const N: usize> MaybeHasNiche for [u8; N]
where Const<N>: ToUInt<Output: ArrayLength>,

Source§

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

Implementors§

Source§

impl MaybeHasNiche for Be<f32>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<f32> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<f64>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<f64> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<i8>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<i8> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<i16>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<i16> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<i32>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<i32> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<i64>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<i64> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<i128>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<i128> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<u8>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<u8> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<u16>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<u16> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<u32>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<u32> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<u64>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<u64> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<u128>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Be<u128> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<i8>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<i8>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<i16>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<i16>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<i32>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<i32>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<i64>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<i64>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<i128>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<i128>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<u8>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<u8>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<u16>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<u16>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<u32>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<u32>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<u64>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<u64>> as Size>::Size>>

Source§

impl MaybeHasNiche for Be<NonZero<u128>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Be<NonZero<u128>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<f32>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<f32> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<f64>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<f64> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<i8>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<i8> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<i16>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<i16> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<i32>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<i32> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<i64>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<i64> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<i128>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<i128> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<u8>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<u8> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<u16>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<u16> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<u32>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<u32> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<u64>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<u64> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<u128>

Source§

type MnArray = NoNiche<ZeroNoNiche<<Le<u128> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<i8>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<i8>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<i16>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<i16>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<i32>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<i32>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<i64>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<i64>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<i128>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<i128>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<u8>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<u8>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<u16>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<u16>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<u32>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<u32>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<u64>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<u64>> as Size>::Size>>

Source§

impl MaybeHasNiche for Le<NonZero<u128>>

Source§

type MnArray = SomeNiche<ZeroNiche<<Le<NonZero<u128>> as Size>::Size>>

Source§

impl MaybeHasNiche for Hash

Source§

type MnArray = SomeNiche<HashNiche<UTerm>>

Source§

impl MaybeHasNiche for OptionalHash

Source§

type MnArray = SomeNiche<HashNiche<UInt<UTerm, B1>>>

Source§

impl<K> MaybeHasNiche for PartialByteTag<K>

Source§

type MnArray = SomeNiche<IncrByteNiche<K>>

Source§

impl<T, M> MaybeHasNiche for MappedExtra<T, M>
where M: MaybeHasNiche<MnArray: MnArray<MaybeNiche: MaybeNiche>>, T: MaybeHasNiche<MnArray: MnArray<MaybeNiche: MaybeNiche>>,

Source§

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

Source§

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

Source§

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