Struct hacspec_lib::prelude::I32

pub struct I32(pub i32);

Tuple Fields

0: i32

Implementations

impl I32

pub fn classify<T>(x: T) -> I32 where
    T: Into<i32>, 

pub fn declassify(self) -> i32

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

pub fn zero() -> I32

pub fn one() -> I32

pub fn ones() -> I32

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

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

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

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

pub fn max_value() -> I32

impl I32

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

Warning: panics when overflow.

impl I32

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

Warning: panics when overflow.

impl I32

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

Warning: panics when overflow.

impl I32

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

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

impl I32

Constant-time comparison operators

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

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

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

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

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

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

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

Warning: has wrapping semantics.

type Output = I32

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<I32> for I32

Warning: has wrapping semantics.

fn add_assign(&mut self, rhs: I32)

Performs the += operation.

impl BitAnd<I32> for I32

type Output = I32

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAndAssign<I32> for I32

fn bitand_assign(&mut self, rhs: I32)

Performs the &= operation.

impl BitOr<I32> for I32

type Output = I32

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOrAssign<I32> for I32

fn bitor_assign(&mut self, rhs: I32)

Performs the |= operation.

impl BitXor<I32> for I32

type Output = I32

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXorAssign<I32> for I32

fn bitxor_assign(&mut self, rhs: I32)

Performs the ^= operation.

impl Clone for I32

fn clone(&self) -> I32

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for I32

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

Formats the value using the given formatter.

impl Default for I32

fn default() -> I32

Returns the “default value” for a type.

impl Display for I32

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

Formats the value using the given formatter.

impl From<I128> for I32

Warning: wrapping semantics.

fn from(x: I128) -> I32

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

Warning: wrapping semantics.

fn from(x: I32) -> I16

Converts to this type from the input type.

impl From<I32> for U32

fn from(x: I32) -> U32

Converts to this type from the input type.

impl From<I32> for I64

fn from(x: I32) -> I64

Converts to this type from the input type.

impl From<I32> for I128

fn from(x: I32) -> I128

Converts to this type from the input type.

impl From<I32> for I8

Warning: wrapping semantics.

fn from(x: I32) -> I8

Converts to this type from the input type.

impl From<I64> for I32

Warning: wrapping semantics.

fn from(x: I64) -> I32

Converts to this type from the input type.

impl From<I8> for I32

fn from(x: I8) -> I32

Converts to this type from the input type.

impl From<U32> for I32

Warning: wrapping semantics.

fn from(x: U32) -> I32

Converts to this type from the input type.

impl From<i32> for I32

fn from(x: i32) -> I32

Converts to this type from the input type.

impl Integer for I32

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 = 32usize

impl LowerHex for I32

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

Formats the value using the given formatter.

impl ModNumeric for I32

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

Warning: has wrapping semantics.

type Output = I32

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<I32> for I32

Warning: has wrapping semantics.

fn mul_assign(&mut self, rhs: I32)

Performs the *= operation.

impl Neg for I32

type Output = I32

The resulting type after applying the - operator.

fn neg(self) -> I32

Performs the unary - operation.

impl Not for I32

type Output = I32

The resulting type after applying the ! operator.

fn not(self) -> I32

Performs the unary ! operation.

impl Numeric for I32

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 I32

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

impl SecretIntegerCopy for I32

type PublicVersionCopy = i32

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

impl Shl<usize> for I32

type Output = I32

The resulting type after applying the << operator.

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

Performs the << operation.

impl ShlAssign<usize> for I32

fn shl_assign(&mut self, rhs: usize)

Performs the <<= operation.

impl Shr<usize> for I32

type Output = I32

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl ShrAssign<usize> for I32

fn shr_assign(&mut self, rhs: usize)

Performs the >>= operation.

impl Sub<I32> for I32

Warning: has wrapping semantics.

type Output = I32

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<I32> for I32

Warning: has wrapping semantics.

fn sub_assign(&mut self, rhs: I32)

Performs the -= operation.

impl Copy for I32

impl NumericCopy for I32

impl SignedInteger for I32

impl SignedIntegerCopy for I32