Struct hacspec_lib::prelude::U16

pub struct U16(pub u16);

Tuple Fields

0: u16

Implementations

impl U16

pub fn classify<T>(x: T) -> U16 where
    T: Into<u16>, 

pub fn declassify(self) -> u16

Warning: use with caution, breaks the constant-time guarantee.

pub fn zero() -> U16

pub fn one() -> U16

pub fn ones() -> U16

pub fn from_le_bytes(bytes: &[U8]) -> Vec<U16, Global>

pub fn to_le_bytes(ints: &[U16]) -> Vec<U8, Global>

pub fn from_be_bytes(bytes: &[U8]) -> Vec<U16, Global>

pub fn to_be_bytes(ints: &[U16]) -> Vec<U8, Global>

pub fn max_value() -> U16

impl U16

pub fn checked_add(self, rhs: U16) -> U16

Warning: panics when overflow.

impl U16

pub fn checked_sub(self, rhs: U16) -> U16

Warning: panics when overflow.

impl U16

pub fn checked_mul(self, rhs: U16) -> U16

Warning: panics when overflow.

impl U16

pub fn rotate_left(self, rotval: usize) -> U16

pub fn rotate_right(self, rotval: usize) -> U16

impl U16

Constant-time comparison operators

pub fn comp_eq(self, rhs: U16) -> U16

Produces a new integer which is all ones if the two arguments are equal and all zeroes otherwise. With inspiration from Wireguard.

pub fn comp_ne(self, rhs: U16) -> U16

Produces a new integer which is all ones if the first argument is different from the second argument, and all zeroes otherwise.

pub fn comp_gte(self, rhs: U16) -> U16

Produces a new integer which is all ones if the first argument is greater than or equal to the second argument, and all zeroes otherwise. With inspiration from WireGuard.

pub fn comp_gt(self, rhs: U16) -> U16

Produces a new integer which is all ones if the first argument is strictly greater than the second argument, and all zeroes otherwise.

pub fn comp_lte(self, rhs: U16) -> U16

Produces a new integer which is all ones if the first argument is less than or equal to the second argument, and all zeroes otherwise.

pub fn comp_lt(self, rhs: U16) -> U16

Produces a new integer which is all ones if the first argument is strictly less than the second argument, and all zeroes otherwise.

Trait Implementations

impl Add<U16> for U16

Warning: has wrapping semantics.

type Output = U16

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<U16> for U16

Warning: has wrapping semantics.

fn add_assign(&mut self, rhs: U16)

Performs the += operation.

impl BitAnd<U16> for U16

type Output = U16

The resulting type after applying the & operator.

fn bitand(self, rhs: U16) -> U16

Performs the & operation.

impl BitAndAssign<U16> for U16

fn bitand_assign(&mut self, rhs: U16)

Performs the &= operation.

impl BitOr<U16> for U16

type Output = U16

The resulting type after applying the | operator.

fn bitor(self, rhs: U16) -> U16

Performs the | operation.

impl BitOrAssign<U16> for U16

fn bitor_assign(&mut self, rhs: U16)

Performs the |= operation.

impl BitXor<U16> for U16

type Output = U16

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: U16) -> U16

Performs the ^ operation.

impl BitXorAssign<U16> for U16

fn bitxor_assign(&mut self, rhs: U16)

Performs the ^= operation.

impl Clone for U16

fn clone(&self) -> U16

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for U16

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

Formats the value using the given formatter.

impl Default for U16

fn default() -> U16

Returns the “default value” for a type.

impl Display for U16

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

Formats the value using the given formatter.

impl From<I16> for U16

fn from(x: I16) -> U16

Converts to this type from the input type.

impl From<U128> for U16

Warning: wrapping semantics.

fn from(x: U128) -> U16

Converts to this type from the input type.

impl From<U16> for U64

fn from(x: U16) -> U64

Converts to this type from the input type.

impl From<U16> for U8

Warning: wrapping semantics.

fn from(x: U16) -> U8

Converts to this type from the input type.

impl From<U16> for U128

fn from(x: U16) -> U128

Converts to this type from the input type.

impl From<U16> for I16

Warning: wrapping semantics.

fn from(x: U16) -> I16

Converts to this type from the input type.

impl From<U16> for U32

fn from(x: U16) -> U32

Converts to this type from the input type.

impl From<U32> for U16

Warning: wrapping semantics.

fn from(x: U32) -> U16

Converts to this type from the input type.

impl From<U64> for U16

Warning: wrapping semantics.

fn from(x: U64) -> U16

Converts to this type from the input type.

impl From<U8> for U16

fn from(x: U8) -> U16

Converts to this type from the input type.

impl From<u16> for U16

fn from(x: u16) -> U16

Converts to this type from the input type.

impl From<u8> for U16

fn from(x: u8) -> U16

Converts to this type from the input type.

impl Integer for U16

fn ZERO() -> 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 ONE() -> 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 TWO() -> 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 from_literal(val: u128) -> 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 from_hex_string(s: &String) -> Self

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

fn get_bit(self, i: 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. Get bit i of this integer.

fn set_bit(self, b: Self, i: 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. Set bit i of this integer to b and return the result. Bit b has to be 0 or 1.

fn set(self, pos: usize, y: Self, yi: 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. Set bit pos of this integer to bit yi of integer y.

fn rotate_left(self, n: 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 rotate_right(self, n: 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.

const NUM_BITS: usize = 16usize

impl LowerHex for U16

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

Formats the value using the given formatter.

impl ModNumeric for U16

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 TODO: implement

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 signed_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 that always returns a positive integer

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|

impl Mul<U16> for U16

Warning: has wrapping semantics.

type Output = U16

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<U16> for U16

Warning: has wrapping semantics.

fn mul_assign(&mut self, rhs: U16)

Performs the *= operation.

impl Neg for U16

type Output = U16

The resulting type after applying the - operator.

fn neg(self) -> U16

Performs the unary - operation.

impl Not for U16

type Output = U16

The resulting type after applying the ! operator.

fn not(self) -> U16

Performs the unary ! operation.

impl Numeric for U16

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. Note: the exponent exp MUST NOT be secret.

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. Here both, base and exponent, are secret. TODO: implement

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. FIXME: make ct

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

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

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

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

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

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 SecretInteger for U16

fn classify(x: Self::PublicVersion) -> 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.

type PublicVersion = u16

impl SecretIntegerCopy for U16

type PublicVersionCopy = u16

fn classify(x: Self::PublicVersionCopy) -> Self

impl Shl<usize> for U16

type Output = U16

The resulting type after applying the << operator.

fn shl(self, rhs: usize) -> U16

Performs the << operation.

impl ShlAssign<usize> for U16

fn shl_assign(&mut self, rhs: usize)

Performs the <<= operation.

impl Shr<usize> for U16

type Output = U16

The resulting type after applying the >> operator.

fn shr(self, rhs: usize) -> U16

Performs the >> operation.

impl ShrAssign<usize> for U16

fn shr_assign(&mut self, rhs: usize)

Performs the >>= operation.

impl Sub<U16> for U16

Warning: has wrapping semantics.

type Output = U16

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<U16> for U16

Warning: has wrapping semantics.

fn sub_assign(&mut self, rhs: U16)

Performs the -= operation.

impl U16Trait for U16

fn into_bytes(self) -> Bytes

impl UnsignedSecretInteger for U16

fn to_le_bytes(self) -> 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.

fn to_be_bytes(self) -> 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.

fn from_le_bytes(x: &Seq<U8>) -> 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 from_be_bytes(x: &Seq<U8>) -> 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 get_byte(self, i: 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. Get byte i of this integer.

impl Copy for U16

impl NumericCopy for U16

impl UnsignedInteger for U16

impl UnsignedIntegerCopy for U16

impl UnsignedSecretIntegerCopy for U16