Struct hacspec_lib::prelude::I16

pub struct I16(pub i16);

Tuple Fields

0: i16

Implementations

impl I16

pub fn classify<T>(x: T) -> I16 where
    T: Into<i16>, 

pub fn declassify(self) -> i16

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

pub fn zero() -> I16

pub fn one() -> I16

pub fn ones() -> I16

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

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

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

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

pub fn max_value() -> I16

impl I16

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

Warning: panics when overflow.

impl I16

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

Warning: panics when overflow.

impl I16

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

Warning: panics when overflow.

impl I16

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

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

impl I16

Constant-time comparison operators

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

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

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: I16) -> I16

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

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

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: I16) -> I16

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: I16) -> I16

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

Warning: has wrapping semantics.

type Output = I16

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<I16> for I16

Warning: has wrapping semantics.

fn add_assign(&mut self, rhs: I16)

Performs the += operation.

impl BitAnd<I16> for I16

type Output = I16

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAndAssign<I16> for I16

fn bitand_assign(&mut self, rhs: I16)

Performs the &= operation.

impl BitOr<I16> for I16

type Output = I16

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOrAssign<I16> for I16

fn bitor_assign(&mut self, rhs: I16)

Performs the |= operation.

impl BitXor<I16> for I16

type Output = I16

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXorAssign<I16> for I16

fn bitxor_assign(&mut self, rhs: I16)

Performs the ^= operation.

impl Clone for I16

fn clone(&self) -> I16

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for I16

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

Formats the value using the given formatter.

impl Default for I16

fn default() -> I16

Returns the “default value” for a type.

impl Display for I16

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

Formats the value using the given formatter.

impl From<I128> for I16

Warning: wrapping semantics.

fn from(x: I128) -> I16

Converts to this type from the input type.

impl From<I16> for I8

Warning: wrapping semantics.

fn from(x: I16) -> I8

Converts to this type from the input type.

impl From<I16> for I64

fn from(x: I16) -> I64

Converts to this type from the input type.

impl From<I16> for I32

fn from(x: I16) -> I32

Converts to this type from the input type.

impl From<I16> for U16

fn from(x: I16) -> U16

Converts to this type from the input type.

impl From<I16> for I128

fn from(x: I16) -> I128

Converts to this type from the input type.

impl From<I32> for I16

Warning: wrapping semantics.

fn from(x: I32) -> I16

Converts to this type from the input type.

impl From<I64> for I16

Warning: wrapping semantics.

fn from(x: I64) -> I16

Converts to this type from the input type.

impl From<I8> for I16

fn from(x: I8) -> I16

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<i16> for I16

fn from(x: i16) -> I16

Converts to this type from the input type.

impl Integer for I16

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 I16

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

Formats the value using the given formatter.

impl ModNumeric for I16

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 FIXME: not ct!

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| TODO: Check if abs is ct

impl Mul<I16> for I16

Warning: has wrapping semantics.

type Output = I16

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<I16> for I16

Warning: has wrapping semantics.

fn mul_assign(&mut self, rhs: I16)

Performs the *= operation.

impl Neg for I16

type Output = I16

The resulting type after applying the - operator.

fn neg(self) -> I16

Performs the unary - operation.

impl Not for I16

type Output = I16

The resulting type after applying the ! operator.

fn not(self) -> I16

Performs the unary ! operation.

impl Numeric for I16

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 I16

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

impl SecretIntegerCopy for I16

type PublicVersionCopy = i16

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

impl Shl<usize> for I16

type Output = I16

The resulting type after applying the << operator.

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

Performs the << operation.

impl ShlAssign<usize> for I16

fn shl_assign(&mut self, rhs: usize)

Performs the <<= operation.

impl Shr<usize> for I16

type Output = I16

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl ShrAssign<usize> for I16

fn shr_assign(&mut self, rhs: usize)

Performs the >>= operation.

impl Sub<I16> for I16

Warning: has wrapping semantics.

type Output = I16

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<I16> for I16

Warning: has wrapping semantics.

fn sub_assign(&mut self, rhs: I16)

Performs the -= operation.

impl Copy for I16

impl NumericCopy for I16

impl SignedInteger for I16

impl SignedIntegerCopy for I16