Trait binius_field::packed_extension::RepackedExtension

pub trait RepackedExtension<P: PackedField>: PackedExtension<P::Scalar, PackedSubfield = P>
where
    Self::Scalar: ExtensionField<P::Scalar>,
{ }

This trait is a shorthand for the case PackedExtension<P::Scalar, PackedSubfield = P> which is a quite common case in our codebase.

Object Safety

This trait is not object safe.

Implementors

impl<PT1, PT2> RepackedExtension<PT1> for PT2

where PT1: PackedField, PT2: PackedExtension<PT1::Scalar, PackedSubfield = PT1, Scalar: ExtensionField<PT1::Scalar>>,