Trait binius_field::as_packed_field::AsSinglePacked
source · pub trait AsSinglePacked: Field {
type Packed: PackedField<Scalar = Self> + WithUnderlier<Underlier: From<Self::Underlier> + Into<Self::Underlier>>;
// Provided methods
fn to_single_packed(self) -> Self::Packed { ... }
fn from_single_packed(value: Self::Packed) -> Self { ... }
}Expand description
Trait that establishes correspondence between the scalar field
and a packed field of the same bit size with a single element.
E.g. BinaryField64b -> PackedBinaryField1x64b.
Note that the underlier of the packed field may be different.
E.g. BinaryField128b has u128 as underlier, while for x64 PackedBinaryField1x128b’s underlier
may be M128.
Required Associated Types§
type Packed: PackedField<Scalar = Self> + WithUnderlier<Underlier: From<Self::Underlier> + Into<Self::Underlier>>
Provided Methods§
fn to_single_packed(self) -> Self::Packed
fn from_single_packed(value: Self::Packed) -> Self
Object Safety§
This trait is not object safe.