modtype

This crate provides: - Macros that implement modular arithmetic integer types - Preset types - [modtype::preset::u64::F] - [modtype::preset::u64::Z] - [modtype::preset::u64::thread_local::F] - [modtype::preset::u64::mod1000000007::F] - [modtype::preset::u64::mod1000000007::Z]

Usage

```rust type F = F_;

[derive(

Default,
Clone,
Copy,
PartialEq,
Eq,
PartialOrd,
Ord,
modtype::From,
modtype::Into,
modtype::FromStr,
modtype::Display,
modtype::Debug,
modtype::Deref,
modtype::Neg,
modtype::Add,
modtype::AddAssign,
modtype::Sub,
modtype::SubAssign,
modtype::Mul,
modtype::MulAssign,
modtype::Div,
modtype::DivAssign,
modtype::Rem,
modtype::RemAssign,
modtype::Zero,
modtype::One,
modtype::Num,
modtype::Bounded,
modtype::CheckedAdd,
modtype::CheckedSub,
modtype::CheckedMul,
modtype::CheckedDiv,
modtype::CheckedRem,
modtype::CheckedNeg,
modtype::Inv,
modtype::Unsigned,
modtype::FromPrimitive,
modtype::ToPrimitive,
modtype::Pow_u8,
modtype::Pow_u16,
modtype::Pow_u32,
modtype::Pow_usize,
modtype::Integer,
modtype::ToBigInt,
modtype::ToBigUint,
modtype::new,
modtype::get,

)]

[modtype(

modulus = "M::VALUE",
std = "std",
num_traits = "num::traits",
num_integer = "num::integer",
num_bigint = "num::bigint",
no_impl_for_ref

)] struct F> { #[modtype(value)] _value: u32, phantom: PhantomData M>, }

[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Debug, ConstValue)]

[modtype(const_value = 17u32)]

enum Const17U32 {} ```

rust use modtype::preset::u64::mod1000000007::{F, Z};

Requirements

• The inner value is [u8], [u16], [u32], [u64], [u128], or [usize].
• The inner value and the modulus are of a same type.
• The modulus is immutable.
• The inner value is always smaller than the modulus.
  • If the modular arithmetic type implements [One], The modulus is larger than 1.
• If the modular arithmetic type implements [Div], the modulus is a prime.

Struct

| Name | Format | Optional | | :------------------- | :----------------------------------------------------------------------- | :------------------------------- | | modulus | modulus = #[Lit] where #[Lit] is converted/parsed to an [Expr] | No | | std | std = #[LitStr] where #[LitStr] is parsed to a [Path] | Yes (default = ::std) | | num_traits | num_traits = #[LitStr] where #[LitStr] is parsed to a [Path] | Yes (default = ::num::traits) | | num_integer | num_integer = #[LitStr] where #[LitStr] is parsed to a [Path] | Yes (default = ::num::integer) | | num_bigint | num_bigint = #[LitStr] where #[LitStr] is parsed to a [Path] | Yes (default = ::num::bigint) | | no_impl_for_ref | no_impl_for_ref | Yes |

Field

| Name | Format | Optional | | :------------------- | :------ | :------- | | value | value | No |

[ConstValue]

Struct

| Name | Format | Optional | | :------------------- | :----------------------------------------------------------- | :-------- | | const_value | const_value = #[LitInt] where #[LitInt] has a suffix | No |