Enum fraction::dynaint::DynaInt[−][src]

pub enum DynaInt<T, G> where
    T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
    G: Clone + GenericInteger,  {
    S(T),
    __H(G),
}

Expand description

The wrapper implementation

Keeps data within S (small) whenever possible, performing checked arithmetic and moving onto __H (huge) when overflows happen. Every math operation on __H performs a read of the resulting number with TryToConvertFrom::try_to_convert_from. Every math operation on S is checked for overflows.

Variants

S

Represents the small type, implementing Copy and allocated on stack. The wrapper tries to reduce contained values to this type whenever possible

Tuple Fields of S

0: T

__H

Represents the huge type, implementing Clone. To be used when values overflow T

Tuple Fields of __H

0: G

Enum fraction::dynaint::DynaInt[−][src]

Variants

Tuple Fields of S

Tuple Fields of __H

Implementations

impl<T, G> DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>, G: Clone + GenericInteger,

pub fn unpack(self) -> Result<T, G>

Examples

Trait Implementations

impl<'a, T, G> Add<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Add<Output = T> + CheckedAdd, G: Clone + GenericInteger + Add<Output = G> + CheckedAdd, &'a G: Add<G, Output = G> + Add<Output = G>,

type Output = DynaInt<T, G>

fn add(self, other: Self) -> Self::Output

impl<'a, T, G> Add<&'a DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>, G: Clone + GenericInteger,

type Output = DynaInt<T, G>

fn add(self, other: &'a Self) -> Self::Output

impl<T, G> Add<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Add<Output = T> + CheckedAdd, G: Clone + GenericInteger + Add<Output = G> + CheckedAdd,

type Output = Self

fn add(self, other: Self) -> Self::Output

impl<'a, T, G> AddAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + AddAssign + CheckedAdd, G: Clone + GenericInteger + AddAssign + CheckedAdd,

fn add_assign(&mut self, other: &'a Self)

impl<T, G> AddAssign<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + AddAssign + CheckedAdd, G: Clone + GenericInteger + AddAssign + CheckedAdd,

fn add_assign(&mut self, other: Self)

impl<'a, T, G> BitAnd<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAnd<Output = T>, G: Clone + GenericInteger + BitAnd<Output = G> + BitAnd<&'a G, Output = G>, &'a G: BitAnd<G, Output = G> + BitAnd<Output = G>,

type Output = DynaInt<T, G>

fn bitand(self, other: Self) -> Self::Output

impl<T, G> BitAnd<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAnd<Output = T>, G: Clone + GenericInteger + BitAnd<Output = G>,

type Output = Self

fn bitand(self, other: Self) -> Self::Output

impl<'a, T, G> BitAndAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAndAssign<&'a T>, G: Clone + GenericInteger + BitAndAssign<&'a G> + BitAndAssign<G>,

fn bitand_assign(&mut self, other: &'a Self)

impl<T, G> BitAndAssign<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAndAssign, G: Clone + GenericInteger + BitAndAssign,

fn bitand_assign(&mut self, other: Self)

impl<'a, T, G> BitOr<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOr<Output = T>, G: Clone + GenericInteger + BitOr<Output = G> + BitOr<&'a G, Output = G>, &'a G: BitOr<G, Output = G> + BitOr<Output = G>,

type Output = DynaInt<T, G>

fn bitor(self, other: Self) -> Self::Output

impl<T, G> BitOr<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOr<Output = T>, G: Clone + GenericInteger + BitOr<Output = G>,

type Output = Self

fn bitor(self, other: Self) -> Self::Output

impl<'a, T, G> BitOrAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOrAssign<&'a T>, G: Clone + GenericInteger + BitOrAssign<&'a G> + BitOrAssign<G>,

fn bitor_assign(&mut self, other: &'a Self)

impl<T, G> BitOrAssign<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOrAssign, G: Clone + GenericInteger + BitOrAssign,

fn bitor_assign(&mut self, other: Self)

impl<'a, T, G> BitXor<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXor<Output = T>, G: Clone + GenericInteger + BitXor<Output = G> + BitXor<&'a G, Output = G>, &'a G: BitXor<G, Output = G> + BitXor<Output = G>,

type Output = DynaInt<T, G>

fn bitxor(self, other: Self) -> Self::Output

impl<T, G> BitXor<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXor<Output = T>, G: Clone + GenericInteger + BitXor<Output = G>,

type Output = Self

fn bitxor(self, other: Self) -> Self::Output

impl<'a, T, G> BitXorAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXorAssign<&'a T>, G: Clone + GenericInteger + BitXorAssign<&'a G> + BitXorAssign<G>,

fn bitxor_assign(&mut self, other: &'a Self)

impl<T, G> BitXorAssign<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXorAssign, G: Clone + GenericInteger + BitXorAssign,

fn bitxor_assign(&mut self, other: Self)

impl<T, G> Bounded for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Bounded, G: Clone + GenericInteger + Bounded,

fn min_value() -> Self

fn max_value() -> Self

impl<T, G> CheckedAdd for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedAdd, G: Clone + GenericInteger + CheckedAdd,

fn checked_add(&self, other: &Self) -> Option<Self>

impl<T, G> CheckedDiv for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedDiv, G: Clone + GenericInteger + CheckedDiv,

fn checked_div(&self, other: &Self) -> Option<Self>

impl<T, G> CheckedMul for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedMul, G: Clone + GenericInteger + CheckedMul,

fn checked_mul(&self, other: &Self) -> Option<Self>

impl<T, G> CheckedSub for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedSub, G: Clone + GenericInteger + CheckedSub,

fn checked_sub(&self, other: &Self) -> Option<Self>

impl<T: Clone, G: Clone> Clone for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>, G: Clone + GenericInteger,

fn clone(&self) -> DynaInt<T, G>

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

impl<T: Debug, G: Debug> Debug for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>, G: Clone + GenericInteger,

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

impl<T, G> Display for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Display, G: Clone + GenericInteger + Display,

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

impl<'a, T, G> Div<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Div<Output = T> + CheckedDiv, G: Clone + GenericInteger + Div<Output = G> + CheckedDiv, &'a G: Div<G, Output = G> + Div<Output = G>,

type Output = DynaInt<T, G>

fn div(self, other: Self) -> Self::Output

impl<'a, T, G> Div<&'a DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>, G: Clone + GenericInteger,

type Output = DynaInt<T, G>

fn div(self, other: &'a Self) -> Self::Output

impl<T, G> Div<DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Div<Output = T> + CheckedDiv, G: Clone + GenericInteger + Div<Output = G> + CheckedDiv,

type Output = Self

fn div(self, other: Self) -> Self::Output

impl<'a, T, G> DivAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + DivAssign + CheckedDiv, G: Clone + GenericInteger + DivAssign + CheckedDiv,

impl<T, G> DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<'a, T, G> Add<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Add<Output = T> + CheckedAdd,
G: Clone + GenericInteger + Add<Output = G> + CheckedAdd,
&'a G: Add<G, Output = G> + Add<Output = G>,

impl<'a, T, G> Add<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> Add<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Add<Output = T> + CheckedAdd,
G: Clone + GenericInteger + Add<Output = G> + CheckedAdd,

impl<'a, T, G> AddAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + AddAssign + CheckedAdd,
G: Clone + GenericInteger + AddAssign + CheckedAdd,

impl<T, G> AddAssign<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + AddAssign + CheckedAdd,
G: Clone + GenericInteger + AddAssign + CheckedAdd,

impl<'a, T, G> BitAnd<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAnd<Output = T>,
G: Clone + GenericInteger + BitAnd<Output = G> + BitAnd<&'a G, Output = G>,
&'a G: BitAnd<G, Output = G> + BitAnd<Output = G>,

impl<T, G> BitAnd<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAnd<Output = T>,
G: Clone + GenericInteger + BitAnd<Output = G>,

impl<'a, T, G> BitAndAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAndAssign<&'a T>,
G: Clone + GenericInteger + BitAndAssign<&'a G> + BitAndAssign<G>,

impl<T, G> BitAndAssign<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitAndAssign,
G: Clone + GenericInteger + BitAndAssign,

impl<'a, T, G> BitOr<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOr<Output = T>,
G: Clone + GenericInteger + BitOr<Output = G> + BitOr<&'a G, Output = G>,
&'a G: BitOr<G, Output = G> + BitOr<Output = G>,

impl<T, G> BitOr<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOr<Output = T>,
G: Clone + GenericInteger + BitOr<Output = G>,

impl<'a, T, G> BitOrAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOrAssign<&'a T>,
G: Clone + GenericInteger + BitOrAssign<&'a G> + BitOrAssign<G>,

impl<T, G> BitOrAssign<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitOrAssign,
G: Clone + GenericInteger + BitOrAssign,

impl<'a, T, G> BitXor<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXor<Output = T>,
G: Clone + GenericInteger + BitXor<Output = G> + BitXor<&'a G, Output = G>,
&'a G: BitXor<G, Output = G> + BitXor<Output = G>,

impl<T, G> BitXor<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXor<Output = T>,
G: Clone + GenericInteger + BitXor<Output = G>,

impl<'a, T, G> BitXorAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXorAssign<&'a T>,
G: Clone + GenericInteger + BitXorAssign<&'a G> + BitXorAssign<G>,

impl<T, G> BitXorAssign<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + BitXorAssign,
G: Clone + GenericInteger + BitXorAssign,

impl<T, G> Bounded for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Bounded,
G: Clone + GenericInteger + Bounded,

impl<T, G> CheckedAdd for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedAdd,
G: Clone + GenericInteger + CheckedAdd,

impl<T, G> CheckedDiv for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedDiv,
G: Clone + GenericInteger + CheckedDiv,

impl<T, G> CheckedMul for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedMul,
G: Clone + GenericInteger + CheckedMul,

impl<T, G> CheckedSub for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + CheckedSub,
G: Clone + GenericInteger + CheckedSub,

impl<T: Clone, G: Clone> Clone for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T: Debug, G: Debug> Debug for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> Display for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Display,
G: Clone + GenericInteger + Display,

impl<'a, T, G> Div<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Div<Output = T> + CheckedDiv,
G: Clone + GenericInteger + Div<Output = G> + CheckedDiv,
&'a G: Div<G, Output = G> + Div<Output = G>,

impl<'a, T, G> Div<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> Div<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Div<Output = T> + CheckedDiv,
G: Clone + GenericInteger + Div<Output = G> + CheckedDiv,

impl<'a, T, G> DivAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + DivAssign + CheckedDiv,
G: Clone + GenericInteger + DivAssign + CheckedDiv,

impl<T, G> DivAssign<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + DivAssign + CheckedDiv,
G: Clone + GenericInteger + DivAssign + CheckedDiv,

impl<T, G> From<BigUint> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger + From<BigUint>,

impl<T, G> From<DynaInt<T, G>> for BigUint where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger + Into<BigUint>,

impl<T, G> From<u128> for DynaInt<T, G> where
u128: GenericInteger + PartialOrd + Into<G>,
T: GenericInteger + Copy + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> From<u16> for DynaInt<T, G> where
u16: GenericInteger + PartialOrd + Into<G>,
T: GenericInteger + Copy + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> From<u32> for DynaInt<T, G> where
u32: GenericInteger + PartialOrd + Into<G>,
T: GenericInteger + Copy + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> From<u64> for DynaInt<T, G> where
u64: GenericInteger + PartialOrd + Into<G>,
T: GenericInteger + Copy + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> From<u8> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> From<usize> for DynaInt<T, G> where
usize: GenericInteger + PartialOrd + Into<G>,
T: GenericInteger + Copy + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> GenericInteger for DynaInt<T, G> where
T: GenericInteger + Copy + Integer + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger + 'static,

impl<T, G> Integer for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

fn extended_gcd(&self, other: &Self) -> ExtendedGcd<Self> where
Self: Clone,

fn extended_gcd_lcm(&self, other: &Self) -> (ExtendedGcd<Self>, Self) where
Self: Clone + Signed,

fn next_multiple_of(&self, other: &Self) -> Self where
Self: Clone,

fn prev_multiple_of(&self, other: &Self) -> Self where
Self: Clone,

impl<'a, T, G> Mul<&'a DynaInt<T, G>> for &'a DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Mul<Output = T> + CheckedMul,
G: Clone + GenericInteger + Mul<Output = G> + CheckedMul,
&'a G: Mul<G, Output = G> + Mul<Output = G>,

impl<'a, T, G> Mul<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8>,
G: Clone + GenericInteger,

impl<T, G> Mul<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Mul<Output = T> + CheckedMul,
G: Clone + GenericInteger + Mul<Output = G> + CheckedMul,

impl<'a, T, G> MulAssign<&'a DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + MulAssign + CheckedMul,
G: Clone + GenericInteger + MulAssign + CheckedMul,

impl<T, G> MulAssign<DynaInt<T, G>> for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + MulAssign + CheckedMul,
G: Clone + GenericInteger + MulAssign + CheckedMul,

impl<T, G> Neg for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Neg<Output = T>,
G: Clone + GenericInteger + Neg<Output = G>,

impl<T, G> Not for DynaInt<T, G> where
T: Copy + GenericInteger + Into<G> + TryToConvertFrom<G> + From<u8> + Not<Output = T>,
G: Clone + GenericInteger + Not<Output = G>,