Trait binius_field::linear_transformation::PackedTransformationFactory

source · 
pub trait PackedTransformationFactory<OP>: PackedBinaryField
where
    OP: PackedBinaryField,
{
    type PackedTransformation<Data: Deref<Target = [OP::Scalar]>>: Transformation<Self, OP>;

    // Required method
    fn make_packed_transformation<Data: Deref<Target = [OP::Scalar]>>(
        transformation: FieldLinearTransformation<OP::Scalar, Data>
    ) -> Self::PackedTransformation<Data>;
}
Expand description

This crates represents a type that creates a packed transformation from Self to a packed field based on the scalar field transformation.

Required Associated Types§

source

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>>: Transformation<Self, OP>

Required Methods§

source

fn make_packed_transformation<Data: Deref<Target = [OP::Scalar]>>( transformation: FieldLinearTransformation<OP::Scalar, Data> ) -> Self::PackedTransformation<Data>

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<SmallU<1>, BinaryField1b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x2b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x2b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<SmallU<2>, BinaryField2b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField2x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField2x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<SmallU<2>, BinaryField1b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x4b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x4b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<SmallU<4>, BinaryField4b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField2x2b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField2x2b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<SmallU<4>, BinaryField2b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField4x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField4x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<SmallU<4>, BinaryField1b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u8, BinaryField8b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField2x4b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField2x4b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u8, BinaryField4b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField4x2b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField4x2b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u8, BinaryField2b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField8x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField8x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u8, BinaryField1b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u16, BinaryField16b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField2x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField2x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u16, BinaryField8b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField4x4b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField4x4b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u16, BinaryField4b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField8x2b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField8x2b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u16, BinaryField2b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField16x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField16x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u16, BinaryField1b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x32b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x32b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, BinaryField32b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField2x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField2x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, BinaryField16b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField4x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField4x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, BinaryField8b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField8x4b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField8x4b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, BinaryField4b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField16x2b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField16x2b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, BinaryField2b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField32x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField32x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, BinaryField1b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x64b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x64b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, BinaryField64b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField2x32b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField2x32b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, BinaryField32b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField4x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField4x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, BinaryField16b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField8x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField8x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, BinaryField8b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField16x4b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField16x4b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, BinaryField4b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField32x2b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField32x2b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, BinaryField2b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField64x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField64x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, BinaryField1b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField1x128b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField1x128b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField128b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField2x64b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField2x64b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField64b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField4x32b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField4x32b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField32b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField8x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField8x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField16b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField16x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField16x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField8b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField32x4b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField32x4b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField4b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField64x2b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField64x2b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField2b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryField128x1b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryField128x1b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField1b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField1x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField1x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u8, AESTowerField8b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField1x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField1x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u16, AESTowerField16b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField2x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField2x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u16, AESTowerField8b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField1x32b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField1x32b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, AESTowerField32b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField2x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField2x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, AESTowerField16b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField4x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField4x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u32, AESTowerField8b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField1x64b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField1x64b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, AESTowerField64b> as TaggedPackedTransformationFactory<PairwiseStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField2x32b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField2x32b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, AESTowerField32b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField4x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField4x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, AESTowerField16b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField8x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField8x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<u64, AESTowerField8b> as TaggedPackedTransformationFactory<PackedStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField1x128b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField1x128b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, AESTowerField128b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField2x64b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField2x64b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, AESTowerField64b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField4x32b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField4x32b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, AESTowerField32b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField8x16b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField8x16b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, AESTowerField16b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedAESBinaryField16x8b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedAESBinaryField16x8b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, AESTowerField8b> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>

source§

impl<OP> PackedTransformationFactory<OP> for PackedBinaryPolyval1x128b
where OP: PackedBinaryField + WithUnderlier<Underlier = <PackedBinaryPolyval1x128b as WithUnderlier>::Underlier>,

§

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = <PackedPrimitiveType<M128, BinaryField128bPolyval> as TaggedPackedTransformationFactory<SimdStrategy, OP>>::PackedTransformation<Data>