pub use super::*;
impl<Ok: IStable, Err: IStable> IDeterminantProviderInner for (Ok, Err, UTerm)
where
DeterminantProviderWithUnit<
<Ok::ForbiddenValues as IForbiddenValues>::SelectOne,
Ok::UnusedBits,
>: IDeterminantProviderInner,
{
same_as!(DeterminantProviderWithUnit<
<Ok::ForbiddenValues as IForbiddenValues>::SelectOne,
Ok::UnusedBits,
>);
}
pub struct DeterminantProviderWithUnit<ForbiddenValues, UnusedBits: IBitMask>(
core::marker::PhantomData<(ForbiddenValues, UnusedBits)>,
);
impl<
Offset: Unsigned,
V: Unsigned,
Tail: IForbiddenValues + IntoValueIsErr,
UnusedBits: IBitMask,
> IDeterminantProviderInner
for DeterminantProviderWithUnit<Array<Offset, V, Tail>, UnusedBits>
{
type ErrShift = U0;
type Determinant = <Array<Offset, V, Tail> as IntoValueIsErr>::ValueIsErr;
type NicheExporter = NicheExporter<End, UnusedBits, Saturator>;
}
impl<Offset: Unsigned, V: NonZero, Rest: IBitMask> IDeterminantProviderInner
for DeterminantProviderWithUnit<End, Array<Offset, V, Rest>>
{
type ErrShift = U0;
type Determinant = BitIsErr<
<Array<Offset, V, Rest> as IBitMask>::ExtractedBitByteOffset,
<Array<Offset, V, Rest> as IBitMask>::ExtractedBitMask,
>;
type NicheExporter =
NicheExporter<End, <Array<Offset, V, Rest> as IBitMask>::ExtractBit, Saturator>;
}
impl IDeterminantProviderInner for DeterminantProviderWithUnit<End, End> {
type Determinant = BitDeterminant;
type ErrShift = U0;
type NicheExporter = ();
}