Enum modtype::DefaultCartridge

pub enum DefaultCartridge<T: UnsignedPrimitive> {
    Infallible(Infallible, PhantomData<fn() -> T>),
}

The default implementation.

Variants

Infallible(Infallible, PhantomData<fn() -> T>)

Trait Implementations

impl<T: UnsignedPrimitive> Cartridge for DefaultCartridge<T>

type Target = T

type Features = DefaultFeatures

fn new(value: Self::Target, modulus: Self::Target) -> Self::Target

fn get(value: Self::Target, _modulus: Self::Target) -> Self::Target

fn from_biguint(value: BigUint, modulus: Self::Target) -> Self::Target

fn from_bigint(value: BigInt, modulus: Self::Target) -> Self::Target

fn fmt_display(
    value: Self::Target,
    _modulus: Self::Target,
    fmt: &mut Formatter
) -> Result

fn fmt_debug(
    value: Self::Target,
    _modulus: Self::Target,
    _ty: &'static str,
    fmt: &mut Formatter
) -> Result

fn from_str(
    str: &str,
    modulus: Self::Target
) -> Result<Self::Target, ParseIntError>

fn neg(value: Self::Target, modulus: Self::Target) -> Self::Target where
    Self::Features: Features<Subtraction = True>, 

fn add(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Self::Target where
    Self::Features: Features<Addition = True>, 

fn sub(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Self::Target where
    Self::Features: Features<Subtraction = True>, 

fn mul(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Self::Target where
    Self::Features: Features<Multiplication = True>, 

fn div(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Self::Target where
    Self::Features: Features<Division = True>, 

fn rem(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Self::Target where
    Self::Features: Features<Division = True>, 

fn inv(value: Self::Target, modulus: Self::Target) -> Self::Target where
    Self::Features: Features<Division = True>, 

fn from_str_radix(
    str: &str,
    radix: u32,
    modulus: Self::Target
) -> Result<Self::Target, ParseIntError> where
    Self::Features: Features<Addition = True, Subtraction = True, Multiplication = True, Division = True>, 

fn min_value(_modulus: Self::Target) -> Self::Target

fn max_value(modulus: Self::Target) -> Self::Target

fn zero(_modulus: Self::Target) -> Self::Target where
    Self::Features: Features<Addition = True>, 

fn is_zero(value: Self::Target, _modulus: Self::Target) -> bool where
    Self::Features: Features<Addition = True>, 

fn one(_modulus: Self::Target) -> Self::Target where
    Self::Features: Features<Multiplication = True>, 

fn is_one(value: Self::Target, _modulus: Self::Target) -> bool where
    Self::Features: Features<Multiplication = True>, 

fn from_i64(value: i64, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_u64(value: u64, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_isize(value: isize, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_i8(value: i8, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_i16(value: i16, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_i32(value: i32, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_i128(value: i128, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_usize(value: usize, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_u8(value: u8, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_u16(value: u16, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_u32(value: u32, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_u128(value: u128, modulus: Self::Target) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn from_float_prim<F: FloatPrimitive>(
    value: F,
    modulus: Self::Target
) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True, Multiplication = True, Division = True>, 

fn checked_neg(
    value: Self::Target,
    modulus: Self::Target
) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True>, 

fn checked_add(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Option<Self::Target> where
    Self::Features: Features<Addition = True>, 

fn checked_sub(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Option<Self::Target> where
    Self::Features: Features<Subtraction = True>, 

fn checked_mul(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Option<Self::Target> where
    Self::Features: Features<Multiplication = True>, 

fn checked_div(
    lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Option<Self::Target> where
    Self::Features: Features<Division = True>, 

fn checked_rem(
    _lhs: Self::Target,
    rhs: Self::Target,
    modulus: Self::Target
) -> Option<Self::Target>

fn pow_unsigned<E: UnsignedPrimitive>(
    base: Self::Target,
    exp: E,
    modulus: Self::Target
) -> Self::Target where
    Self::Features: Features<Multiplication = True>, 

fn pow_signed<E: SignedPrimitive>(
    base: Self::Target,
    exp: E,
    modulus: Self::Target
) -> Self::Target where
    Self::Features: Features<Multiplication = True, Division = True>,