binius_field::as_packed_field

Trait PackScalar

Source 
pub trait PackScalar<F: Field>: UnderlierType {
    type Packed: PackedField<Scalar = F> + WithUnderlier<Underlier = Self>;
}
Expand description

This trait represents correspondence (UnderlierType, Field) -> PackedField. For example (u64, BinaryField16b) -> PackedBinaryField4x16b.

Required Associated Types§

Source

type Packed: PackedField<Scalar = F> + WithUnderlier<Underlier = Self>

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl<F> PackScalar<F> for u8
where F: BinaryField, PackedPrimitiveType<u8, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = u8>,

Source§

type Packed = PackedPrimitiveType<u8, F>

Source§

impl<F> PackScalar<F> for u16
where F: BinaryField, PackedPrimitiveType<u16, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = u16>,

Source§

type Packed = PackedPrimitiveType<u16, F>

Source§

impl<F> PackScalar<F> for u32
where F: BinaryField, PackedPrimitiveType<u32, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = u32>,

Source§

type Packed = PackedPrimitiveType<u32, F>

Source§

impl<F> PackScalar<F> for u64
where F: BinaryField, PackedPrimitiveType<u64, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = u64>,

Source§

type Packed = PackedPrimitiveType<u64, F>

Source§

impl<F> PackScalar<F> for u128
where F: BinaryField, PackedPrimitiveType<u128, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = u128>,

Source§

type Packed = PackedPrimitiveType<u128, F>

Implementors§

Source§

impl PackScalar<AESTowerField8b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel1 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x8b

Source§

impl PackScalar<AESTowerField8b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x16x8b

Source§

impl PackScalar<AESTowerField8b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel1 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES32x8b

Source§

impl PackScalar<AESTowerField8b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x32x8b

Source§

impl PackScalar<AESTowerField8b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel1 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES64x8b

Source§

impl PackScalar<AESTowerField8b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x64x8b

Source§

impl PackScalar<AESTowerField16b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel2 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x16b

Source§

impl PackScalar<AESTowerField16b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES8x16x16b

Source§

impl PackScalar<AESTowerField16b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel2 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES32x16b

Source§

impl PackScalar<AESTowerField16b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES8x32x16b

Source§

impl PackScalar<AESTowerField16b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel2 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES64x16b

Source§

impl PackScalar<AESTowerField16b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES8x64x16b

Source§

impl PackScalar<AESTowerField32b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel4 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x32b

Source§

impl PackScalar<AESTowerField32b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES4x16x32b

Source§

impl PackScalar<AESTowerField32b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel4 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES32x32b

Source§

impl PackScalar<AESTowerField32b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES4x32x32b

Source§

impl PackScalar<AESTowerField32b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel4 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES64x32b

Source§

impl PackScalar<AESTowerField32b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES4x64x32b

Source§

impl PackScalar<AESTowerField64b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel8 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x64b

Source§

impl PackScalar<AESTowerField64b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES2x16x64b

Source§

impl PackScalar<AESTowerField64b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel8 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES32x64b

Source§

impl PackScalar<AESTowerField64b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES2x32x64b

Source§

impl PackScalar<AESTowerField64b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel8 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES64x64b

Source§

impl PackScalar<AESTowerField64b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES2x64x64b

Source§

impl PackScalar<AESTowerField128b> for ByteSlicedUnderlier<<PackedAESBinaryField16x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES16x128b

Source§

impl PackScalar<AESTowerField128b> for ByteSlicedUnderlier<<PackedAESBinaryField32x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES32x128b

Source§

impl PackScalar<AESTowerField128b> for ByteSlicedUnderlier<<PackedAESBinaryField64x8b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSlicedAES64x128b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField128x1b as WithUnderlier>::Underlier, { <TowerLevel1 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced1x128x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField128x1b as WithUnderlier>::Underlier, { <TowerLevel2 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced2x128x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField128x1b as WithUnderlier>::Underlier, { <TowerLevel4 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced4x128x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField128x1b as WithUnderlier>::Underlier, { <TowerLevel8 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced8x128x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField128x1b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced16x128x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField256x1b as WithUnderlier>::Underlier, { <TowerLevel1 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced1x256x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField256x1b as WithUnderlier>::Underlier, { <TowerLevel2 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced2x256x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField256x1b as WithUnderlier>::Underlier, { <TowerLevel4 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced4x256x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField256x1b as WithUnderlier>::Underlier, { <TowerLevel8 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced8x256x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField256x1b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced16x256x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField512x1b as WithUnderlier>::Underlier, { <TowerLevel1 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced1x512x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField512x1b as WithUnderlier>::Underlier, { <TowerLevel2 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced2x512x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField512x1b as WithUnderlier>::Underlier, { <TowerLevel4 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced4x512x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField512x1b as WithUnderlier>::Underlier, { <TowerLevel8 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced8x512x1b

Source§

impl PackScalar<BinaryField1b> for ByteSlicedUnderlier<<PackedBinaryField512x1b as WithUnderlier>::Underlier, { <TowerLevel16 as TowerLevel>::WIDTH }>

Source§

type Packed = ByteSliced16x512x1b

Source§

impl<F> PackScalar<F> for U1
where F: BinaryField, PackedPrimitiveType<U1, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = U1>,

Source§

type Packed = PackedPrimitiveType<SmallU<1>, F>

Source§

impl<F> PackScalar<F> for U2
where F: BinaryField, PackedPrimitiveType<U2, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = U2>,

Source§

type Packed = PackedPrimitiveType<SmallU<2>, F>

Source§

impl<F> PackScalar<F> for U4
where F: BinaryField, PackedPrimitiveType<U4, F>: PackedField<Scalar = F> + WithUnderlier<Underlier = U4>,

Source§

type Packed = PackedPrimitiveType<SmallU<4>, F>

Source§

impl<U, F, const N: usize> PackScalar<F> for ScaledUnderlier<U, N>
where U: PackScalar<F> + UnderlierType + Pod, F: Field, ScaledPackedField<U::Packed, N>: PackedField<Scalar = F> + WithUnderlier<Underlier = Self>,

Source§

type Packed = ScaledPackedField<<U as PackScalar<F>>::Packed, N>