Struct hacspec_lib::prelude::u128Word

pub struct u128Word(pub [u8; 16]);

Fixed length byte array.

Tuple Fields

0: [u8; 16]

Implementations

impl u128Word

pub fn new() -> Self

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn length() -> usize

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn from_array(v: [u8; 16]) -> Self

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn from_native_slice(v: &[u8]) -> Self

Function that is not part of the language but is offered as a helper for tests, etc.

impl u128Word

pub fn from_slice<A: SeqTrait<u8>>(input: &A, start: usize, len: usize) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn concat<A: SeqTrait<u8>>(&self, next: &A) -> Seq<u8>

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn from_slice_range<A: SeqTrait<u8>>(input: &A, r: Range<usize>) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn slice(&self, start_out: usize, len: usize) -> Seq<u8>

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn slice_range(&self, r: Range<usize>) -> Seq<u8>

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn num_chunks(&self, chunk_size: usize) -> usize

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn get_chunk_len(&self, chunk_size: usize, chunk_number: usize) -> usize

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn get_chunk(
    &self,
    chunk_size: usize,
    chunk_number: usize
) -> (usize, Seq<u8>)

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

pub fn set_chunk<A: SeqTrait<u8>>(
    self,
    chunk_size: usize,
    chunk_number: usize,
    input: &A
) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

impl u128Word

pub fn from_vec(x: Vec<u8>) -> u128Word

Function that is not part of the language but is offered as a helper for tests, etc.

pub fn from_seq<T: SeqTrait<u8>>(x: &T) -> u128Word

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

impl u128Word

pub fn from_hex(s: &str) -> u128Word

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Read hex string to Bytes.

impl u128Word

pub fn into_le_bytes(self) -> Seq<u8>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

impl u128Word

pub fn to_be_u32s(&self) -> Seq<u32>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn to_le_u32s(&self) -> Seq<u32>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn to_be_u64s(&self) -> Seq<u64>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn to_le_u64s(&self) -> Seq<u64>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn to_u128s_be(&self) -> Seq<u128>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn to_u128s_le(&self) -> Seq<u128>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

pub fn to_hex(&self) -> String

Function that is not part of the language but is offered as a helper for tests, etc.

Trait Implementations

impl Add<u128Word> for u128Word

Warning: wraps on overflow.

fn add(self, rhs: u128Word) -> u128Word

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the + operator.

impl BitAnd<u128Word> for u128Word

Bit-wise and operation on the coefficients.

fn bitand(self, rhs: Self) -> Self::Output

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the & operator.

impl BitOr<u128Word> for u128Word

Bit-wise or operation on the coefficients.

fn bitor(self, rhs: Self) -> Self::Output

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the | operator.

impl BitXor<u128Word> for u128Word

Bit-wise xor operation on the coefficients.

fn bitxor(self, rhs: Self) -> Self::Output

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the ^ operator.

impl Clone for u128Word

fn clone(&self) -> u128Word

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for u128Word

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Function that is not part of the language but is offered as a helper for tests, etc.

impl Default for u128Word

fn default() -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

impl Div<u128Word> for u128Word

Warning: panics on division by 0.

fn div(self, rhs: u128Word) -> u128Word

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the / operator.

impl Index<RangeFull> for u128Word

fn index(&self, r: RangeFull) -> &[u8]

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

type Output = [u8]

The returned type after indexing.

impl Index<i32> for u128Word

fn index(&self, i: i32) -> &u8

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

type Output = u8

The returned type after indexing.

impl Index<u32> for u128Word

fn index(&self, i: u32) -> &u8

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

type Output = u8

The returned type after indexing.

impl Index<u8> for u128Word

fn index(&self, i: u8) -> &u8

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

type Output = u8

The returned type after indexing.

impl Index<usize> for u128Word

fn index(&self, i: usize) -> &u8

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

type Output = u8

The returned type after indexing.

impl IndexMut<i32> for u128Word

fn index_mut(&mut self, i: i32) -> &mut u8

Function that is not part of the language but is offered as a helper for tests, etc.

impl IndexMut<u32> for u128Word

fn index_mut(&mut self, i: u32) -> &mut u8

Function that is not part of the language but is offered as a helper for tests, etc.

impl IndexMut<u8> for u128Word

fn index_mut(&mut self, i: u8) -> &mut u8

Function that is not part of the language but is offered as a helper for tests, etc.

impl IndexMut<usize> for u128Word

fn index_mut(&mut self, i: usize) -> &mut u8

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

impl ModNumeric for u128Word

fn sub_mod(self, rhs: Self, n: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. (self - rhs) % n (coefficient-wise)

fn add_mod(self, rhs: Self, n: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. (self + rhs) % n (coefficient-wise)

fn mul_mod(self, rhs: Self, n: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. (self * rhs) % n (coefficient-wise) Note that the multiplication is wrapping.

fn pow_mod(self, exp: Self, n: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. (self ^ exp) % n (coefficient-wise) Note that the exponentiation is wrapping.

fn modulo(self, n: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. self % n (coefficient-wise)

fn signed_modulo(self, n: Self) -> Self

self % n (coefficient-wise)

fn absolute(self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. |self| (coefficient-wise)

impl Mul<u128Word> for u128Word

Warning: wraps on overflow.

fn mul(self, rhs: u128Word) -> u128Word

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the * operator.

impl Not for u128Word

Bit-wise not operation on the coefficients.

fn not(self) -> Self::Output

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the ! operator.

impl Numeric for u128Word

fn max_val() -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. Return largest value that can be represented. Not Implemented

fn wrap_add(self, rhs: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. self + rhs (coefficient-wise and wrapping)

fn wrap_sub(self, rhs: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. self - rhs (coefficient-wise and wrapping)

fn wrap_mul(self, rhs: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. self * rhs (coefficient-wise and wrapping)

fn wrap_div(self, rhs: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. self + rhs (coefficient-wise and wrapping)

fn exp(self, exp: u32) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. self ^ exp where exp is a u32 (coefficient-wise and wrapping).

fn pow_self(self, _exp: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. Not implemented.

fn divide(self, rhs: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. self / rhs (coefficient-wise and wrapping).

fn inv(self, _n: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. Not implemented

fn equal(self, _other: Self) -> bool

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn greater_than(self, _other: Self) -> bool

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn greater_than_or_equal(self, _other: Self) -> bool

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn less_than(self, _other: Self) -> bool

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn less_than_or_equal(self, _other: Self) -> bool

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn not_equal_bm(self, _other: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn equal_bm(self, _other: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn greater_than_bm(self, _other: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn greater_than_or_equal_bm(self, _other: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn less_than_bm(self, _other: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn less_than_or_equal_bm(self, _other: Self) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

impl Ord for u128Word

fn cmp(&self, other: &Self) -> Ordering

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<u128Word> for u128Word

fn eq(&self, other: &Self) -> bool

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PartialOrd<u128Word> for u128Word

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl SeqTrait<u8> for u128Word

fn create(x: usize) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn len(&self) -> usize

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

fn iter(&self) -> Iter<'_, u8>

Function that is not part of the language but is offered as a helper for tests, etc.

fn update_slice<A: SeqTrait<u8>>(
    self,
    start_out: usize,
    v: &A,
    start_in: usize,
    len: usize
) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn update<A: SeqTrait<u8>>(self, start: usize, v: &A) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

fn update_start<A: SeqTrait<u8>>(self, v: &A) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

impl Shl<usize> for u128Word

Unimplemented

fn shl(self, _rhs: usize) -> Self::Output

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the << operator.

impl Shr<usize> for u128Word

Unimplemented

fn shr(self, _rhs: usize) -> Self::Output

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the >> operator.

impl Sub<u128Word> for u128Word

Warning: wraps on underflow.

fn sub(self, rhs: u128Word) -> u128Word

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

type Output = u128Word

The resulting type after applying the - operator.

impl Copy for u128Word

impl Eq for u128Word

impl NumericCopy for u128Word