Struct crypto_bigint::Checked

source · [−]

pub struct Checked<T>(pub CtOption<T>);

Expand description

Provides intentionally-checked arithmetic on T.

Internally this leverages the CtOption type from the subtle crate in order to handle overflows in constant time.

Tuple Fields

0: CtOption<T>

Implementations

source

impl<T> Checked<T>

source

pub fn new(val: T) -> Self

Create a new checked arithmetic wrapper for the given value.

Methods from Deref<Target = CtOption<T>>

source

pub fn is_some(&self) -> Choice

Returns a true Choice if this value is Some.

source

pub fn is_none(&self) -> Choice

Returns a true Choice if this value is None.

Trait Implementations

source

impl<const LIMBS: usize> Add<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the + operator.

source

fn add(self, rhs: Self) -> Checked<UInt<LIMBS>>

Performs the + operation. Read more

source

impl<const LIMBS: usize> AddAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

source

fn add_assign(&mut self, other: Self)

Performs the += operation. Read more

source

impl<T: Clone> Clone for Checked<T>

source

fn clone(&self) -> Checked<T>

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl<T: ConditionallySelectable> ConditionallySelectable for Checked<T>

source

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice. Read more

source

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice. Read more

source

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves. Read more

source

impl<T: ConstantTimeEq> ConstantTimeEq for Checked<T>

source

fn ct_eq(&self, rhs: &Self) -> Choice

Determine if two items are equal. Read more

source

impl<T: Debug> Debug for Checked<T>

source

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

Formats the value using the given formatter. Read more

source

impl<T> Default for Checked<T> where
T: Default,

source

fn default() -> Self

Returns the “default value” for a type. Read more

source

impl<T> Deref for Checked<T>

type Target = CtOption<T>

The resulting type after dereferencing.

source

fn deref(&self) -> &CtOption<T>

Dereferences the value.

source

impl<const LIMBS: usize> Mul<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the * operator.

source

fn mul(self, rhs: Self) -> Checked<UInt<LIMBS>>

Performs the * operation. Read more

source

impl<const LIMBS: usize> MulAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

source

fn mul_assign(&mut self, other: Self)

Performs the *= operation. Read more

source

impl<const LIMBS: usize> Sub<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the - operator.

source

fn sub(self, rhs: Self) -> Checked<UInt<LIMBS>>

Performs the - operation. Read more

source

impl<const LIMBS: usize> SubAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

source

fn sub_assign(&mut self, other: Self)

Performs the -= operation. Read more

source

impl<T: Copy> Copy for Checked<T>

Auto Trait Implementations

impl<T> RefUnwindSafe for Checked<T> where
T: RefUnwindSafe,

impl<T> Send for Checked<T> where
T: Send,

impl<T> Sync for Checked<T> where
T: Sync,

impl<T> Unpin for Checked<T> where
T: Unpin,

impl<T> UnwindSafe for Checked<T> where
T: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct crypto_bigint::Checked

Tuple Fields

Implementations

impl<T> Checked<T>

pub fn new(val: T) -> Self

Methods from Deref<Target = CtOption<T>>

pub fn is_some(&self) -> Choice

pub fn is_none(&self) -> Choice

Trait Implementations

impl<const LIMBS: usize> Add<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

fn add(self, rhs: Self) -> Checked<UInt<LIMBS>>

impl<const LIMBS: usize> AddAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn add_assign(&mut self, other: Self)

impl<T: Clone> Clone for Checked<T>

fn clone(&self) -> Checked<T>

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

impl<T: ConditionallySelectable> ConditionallySelectable for Checked<T>

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

fn conditional_assign(&mut self, other: &Self, choice: Choice)

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

impl<T: ConstantTimeEq> ConstantTimeEq for Checked<T>

fn ct_eq(&self, rhs: &Self) -> Choice

impl<T: Debug> Debug for Checked<T>

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

impl<T> Default for Checked<T> where T: Default,

fn default() -> Self

impl<T> Deref for Checked<T>

type Target = CtOption<T>

fn deref(&self) -> &CtOption<T>

impl<const LIMBS: usize> Mul<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

fn mul(self, rhs: Self) -> Checked<UInt<LIMBS>>

impl<const LIMBS: usize> MulAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn mul_assign(&mut self, other: Self)

impl<const LIMBS: usize> Sub<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

fn sub(self, rhs: Self) -> Checked<UInt<LIMBS>>

impl<const LIMBS: usize> SubAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn sub_assign(&mut self, other: Self)

impl<T: Copy> Copy for Checked<T>

Auto Trait Implementations

impl<T> RefUnwindSafe for Checked<T> where T: RefUnwindSafe,

impl<T> Send for Checked<T> where T: Send,

impl<T> Sync for Checked<T> where T: Sync,

impl<T> Unpin for Checked<T> where T: Unpin,

impl<T> UnwindSafe for Checked<T> where T: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> Same<T> for T

type Output = T

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> Default for Checked<T> where
T: Default,

impl<T> RefUnwindSafe for Checked<T> where
T: RefUnwindSafe,

impl<T> Send for Checked<T> where
T: Send,

impl<T> Sync for Checked<T> where
T: Sync,

impl<T> Unpin for Checked<T> where
T: Unpin,

impl<T> UnwindSafe for Checked<T> where
T: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,