Struct hacspec_lib::prelude::U16Word

pub struct U16Word(pub [U8; 2]);

Fixed length byte array.

Tuple Fields

0: [U8; 2]

Implementations

impl U16Word

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; 2]) -> 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 U16Word

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 U16Word

pub fn from_vec(x: Vec<U8>) -> U16Word

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) -> U16Word

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 U16Word

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

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 U16Word

Warning: declassifies secret integer types.

pub fn declassify_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

impl U16Word

pub fn to_be_bytes(&self) -> Seq<U8>

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

pub fn to_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 U16Word

pub fn from_public_slice(v: &[u8]) -> U16Word

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

pub fn to_public_array(&self) -> [u8; 2]

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

pub fn from_public_array(v: [u8; 2]) -> U16Word

Function that is not part of the language but is offered as a helper for tests, etc. Create an array from a regular Rust array.

Examples

use hacspec_lib::prelude::*;

bytes!(Block, 5);
let b = Block::from_public_array([1, 2, 3, 4, 5]);

impl U16Word

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<U16Word> for U16Word

Warning: wraps on overflow.

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

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 = U16Word

The resulting type after applying the + operator.

impl BitAnd<U16Word> for U16Word

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 = U16Word

The resulting type after applying the & operator.

impl BitOr<U16Word> for U16Word

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 = U16Word

The resulting type after applying the | operator.

impl BitXor<U16Word> for U16Word

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 = U16Word

The resulting type after applying the ^ operator.

impl Clone for U16Word

fn clone(&self) -> U16Word

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for U16Word

Warning: declassifies secret integer types.

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 U16Word

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 Index<RangeFull> for U16Word

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 U16Word

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 U16Word

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 U16Word

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 U16Word

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 U16Word

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 U16Word

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 U16Word

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 U16Word

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 U16Word

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.

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

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

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

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

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)

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

self % n that always returns a positive integer

impl Mul<U16Word> for U16Word

Warning: wraps on overflow.

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

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 = U16Word

The resulting type after applying the * operator.

impl Not for U16Word

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 = U16Word

The resulting type after applying the ! operator.

impl Numeric for U16Word

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.

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.

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.

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.

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.

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.

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. self ^ exp where exp is a Self.

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. Division.

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. Invert self modulo n.

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 Rem<U16Word> for U16Word

Warning: panics on division by 0.

fn rem(self, _rhs: U16Word) -> U16Word

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 = U16Word

The resulting type after applying the % operator.

impl SeqTrait<U8> for U16Word

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 U16Word

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 = U16Word

The resulting type after applying the << operator.

impl Shr<usize> for U16Word

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 = U16Word

The resulting type after applying the >> operator.

impl Sub<U16Word> for U16Word

Warning: wraps on underflow.

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

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 = U16Word

The resulting type after applying the - operator.

impl Copy for U16Word

impl NumericCopy for U16Word