Trait TaggedPackedTransformationFactory

pub trait TaggedPackedTransformationFactory<Strategy, 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>;
}

Linear transformation factory that is parameterized with some strategy.

Required Associated Types

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

Required Methods

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

impl<IP, OP> TaggedPackedTransformationFactory<PackedStrategy, OP> for IP

where IP: PackedBinaryField + WithUnderlier<Underlier: UnderlierWithBitOps>, OP: PackedBinaryField + WithUnderlier<Underlier = IP::Underlier>,

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

impl<IP, OP> TaggedPackedTransformationFactory<PairwiseStrategy, OP> for IP

where IP: PackedBinaryField, OP: PackedBinaryField,

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = PairwiseTransformation<FieldLinearTransformation<<OP as PackedField>::Scalar, Data>>

impl<IP, OP> TaggedPackedTransformationFactory<SimdStrategy, OP> for IP

where IP: PackedBinaryField + WithUnderlier<Underlier: UnderlierWithBitOps>, OP: PackedBinaryField + WithUnderlier<Underlier = IP::Underlier>, IP::Underlier: TowerSimdType,

type PackedTransformation<Data: Deref<Target = [OP::Scalar]>> = SimdTransformation<OP>