binius_field::packed_extension

Trait RepackedExtension

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

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§

source§

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