Trait UnderlierType 

pub trait UnderlierType:
    Debug
    + Default
    + Eq
    + Ord
    + Copy
    + Random
    + NoUninit
    + Zeroable
    + Sized
    + Send
    + Sync
    + 'static
    + BitAnd<Self, Output = Self>
    + BitAndAssign<Self>
    + BitOr<Self, Output = Self>
    + BitOrAssign<Self>
    + BitXor<Self, Output = Self>
    + BitXorAssign<Self>
    + Not<Output = Self>
    + Divisible<SmallU<1>> {
    const LOG_BITS: usize;
    const ZERO: Self;
    const ONE: Self;
    const ONES: Self;
    const BITS: usize = _;

    // Required method
    fn interleave(self, other: Self, log_block_len: usize) -> (Self, Self);

    // Provided methods
    fn fill_with_bit(val: u8) -> Self { ... }
    fn transpose(self, other: Self, log_block_len: usize) -> (Self, Self) { ... }
    fn from_fn<T>(f: impl FnMut(usize) -> T) -> Self
       where T: UnderlierType,
             Self: Divisible<T> { ... }
    fn broadcast_subvalue<T>(value: T) -> Self
       where T: UnderlierType,
             Self: Divisible<T> { ... }
}

Primitive integer underlying a binary field or packed binary field implementation. Note that this type is not guaranteed to be POD, U1, U2 and U4 have some unused bits.

Required Associated Constants

const LOG_BITS: usize

Number of bits in value

const ZERO: Self

const ONE: Self

const ONES: Self

Provided Associated Constants

const BITS: usize = _

Number of bits used to represent a value. This may not be equal to the number of bits in a type instance.

Required Methods

fn interleave(self, other: Self, log_block_len: usize) -> (Self, Self)

Interleave with the given bit size

Provided Methods

fn fill_with_bit(val: u8) -> Self

Fill value with the given bit val must be 0 or 1.

fn transpose(self, other: Self, log_block_len: usize) -> (Self, Self)

Transpose with the given bit size

fn from_fn<T>(f: impl FnMut(usize) -> T) -> Self

where T: UnderlierType, Self: Divisible<T>,

fn broadcast_subvalue<T>(value: T) -> Self

where T: UnderlierType, Self: Divisible<T>,

Broadcast subvalue to fill Self. Self::BITS/T::BITS is supposed to be a power of 2.

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

impl UnderlierType for u8

const LOG_BITS: usize

const ZERO: Self = 0

const ONE: Self = 1

const ONES: Self = Self::MAX

fn interleave(self, other: Self, log_block_len: usize) -> (Self, Self)

impl UnderlierType for u16

const LOG_BITS: usize

const ZERO: Self = 0

const ONE: Self = 1

const ONES: Self = Self::MAX

fn interleave(self, other: Self, log_block_len: usize) -> (Self, Self)

impl UnderlierType for u32

const LOG_BITS: usize

const ZERO: Self = 0

const ONE: Self = 1

const ONES: Self = Self::MAX

fn interleave(self, other: Self, log_block_len: usize) -> (Self, Self)

impl UnderlierType for u64

const LOG_BITS: usize

const ZERO: Self = 0

const ONE: Self = 1

const ONES: Self = Self::MAX

fn interleave(self, other: Self, log_block_len: usize) -> (Self, Self)

impl UnderlierType for u128

const LOG_BITS: usize

const ZERO: Self = 0

const ONE: Self = 1

const ONES: Self = Self::MAX

fn interleave(self, other: Self, log_block_len: usize) -> (Self, Self)

Implementors

impl UnderlierType for binius_field::arch::portable::m128::M128

const LOG_BITS: usize = 7

const ZERO: Self

const ONE: Self

const ONES: Self

impl UnderlierType for binius_field::arch::M128

const LOG_BITS: usize = 7

const ZERO: Self

const ONE: Self

const ONES: Self