mooncakes.io

README
U
DefaultId
U
Dsu
U
DynamicModInt
U
DynamicModulus
U
FenwickTree
U
FlowInt
U
LazySegTree
U
McfEdge
U
McfGraph
U
MfEdge
U
MfGraph
U
Mod1000000007
U
Mod998244353
U
ModInput
U
ModInt
U
ModInt1000000007
U
ModInt998244353
U
ModState
U
Modulus
U
SccGraph
U
SegTree
U
StaticModInt
U
TwoSat
U
Zero
V
convolution
V
convolution_ll
V
convolution_modint
V
crt
V
floor_sum
V
inv_mod
V
lcp_array
V
lcp_array_bytes
V
lcp_array_string
V
pow_mod
V
set_mod
V
suffix_array
V
suffix_array_bounded
V
suffix_array_bytes
V
suffix_array_string
V
z_algorithm
V
z_algorithm_bytes
V
z_algorithm_string

manabeai/ac-library-mbt/modint does not have a README file

ModInt

type ModInt = DynamicModInt[DefaultId]

Immutable residue in [0, modulus).

ModInt1000000007

source

type ModInt1000000007 = StaticModInt[Mod1000000007]

Immutable residue in [0, modulus).

ModInt998244353

source

type ModInt998244353 = StaticModInt[Mod998244353]

Immutable residue in [0, modulus).

DynamicModulus

source

pub(open) trait DynamicModulus {
  fn state() -> ModState
}

Each tag must return the same ModState instance on every call. Changing its modulus invalidates all existing residues for that tag, as in ACL.

Modulus

source

pub(open) trait Modulus {
  fn modulus() -> Int
}

A fixed, positive Int modulus. A tag must always return the same modulus.

DefaultId

source

pub(all) struct DefaultId {
} derive(@moonbitlang/core/debug.Debug
Debug)

impl DynamicModulus for DefaultId

DynamicModInt

source

pub struct DynamicModInt[_] {
  // private fields
}

Immutable residue in [0, modulus).

impl Zero for DynamicModInt[M]

impl Add for DynamicModInt[M]

impl Default for DynamicModInt[M]

impl Div for DynamicModInt[M]

impl Eq for DynamicModInt[M]

impl Mul for DynamicModInt[M]

impl Neg for DynamicModInt[M]

impl Sub for DynamicModInt[M]

impl Debug for DynamicModInt[M]

DynamicModInt::from_int64

source

fn[M : DynamicModulus] DynamicModInt::from_int64(value : Int64) -> DynamicModInt[M]

DynamicModInt::from_uint

source

fn[M : DynamicModulus] DynamicModInt::from_uint(value : UInt) -> DynamicModInt[M]

DynamicModInt::from_uint64

source

fn[M : DynamicModulus] DynamicModInt::from_uint64(value : UInt64) -> DynamicModInt[M]

DynamicModInt::inv

source

fn[M : DynamicModulus] DynamicModInt::inv(self : DynamicModInt[M]) -> DynamicModInt[M]

DynamicModInt::mod

source

fn[M : DynamicModulus] DynamicModInt::mod(_self : DynamicModInt[M]) -> Int

DynamicModInt::new

source

fn[M : DynamicModulus] DynamicModInt::new(value : Int) -> DynamicModInt[M]

DynamicModInt::pow

source

fn[M : DynamicModulus] DynamicModInt::pow(self : DynamicModInt[M], n : Int64) -> DynamicModInt[M]

DynamicModInt::raw

source

fn[M : DynamicModulus] DynamicModInt::raw(value : Int) -> DynamicModInt[M]

No modular reduction; requires 0 <= value < modulus.

DynamicModInt::val

source

fn[M] DynamicModInt::val(self : DynamicModInt[M]) -> Int

Mod1000000007

source

pub(all) struct Mod1000000007 {
} derive(@moonbitlang/core/debug.Debug
Debug)

impl Modulus for Mod1000000007

Mod998244353

source

pub(all) struct Mod998244353 {
} derive(@moonbitlang/core/debug.Debug
Debug)

impl Modulus for Mod998244353

ModState

source

pub struct ModState {
  // private fields
} derive(@moonbitlang/core/debug.Debug
Debug)

Independent mutable modulus shared by all values of a dynamic tag.

ModState::mod

source

fn ModState::mod(self : ModState) -> Int

ModState::new

source

fn ModState::new(modulus? : Int) -> ModState

ModState::set_mod

source

fn ModState::set_mod(self : ModState, modulus : Int) -> Unit

StaticModInt

source

pub struct StaticModInt[_] {
  // private fields
}

Immutable residue in [0, modulus).

impl Zero for StaticModInt[M]

impl Add for StaticModInt[M]

impl Default for StaticModInt[M]

impl Div for StaticModInt[M]

impl Eq for StaticModInt[M]

impl Mul for StaticModInt[M]

impl Neg for StaticModInt[M]

impl Sub for StaticModInt[M]

impl Debug for StaticModInt[M]

StaticModInt::from_int64

source

fn[M : Modulus] StaticModInt::from_int64(value : Int64) -> StaticModInt[M]

StaticModInt::from_uint

source

fn[M : Modulus] StaticModInt::from_uint(value : UInt) -> StaticModInt[M]

StaticModInt::from_uint64

source

fn[M : Modulus] StaticModInt::from_uint64(value : UInt64) -> StaticModInt[M]

StaticModInt::inv

source

fn[M : Modulus] StaticModInt::inv(self : StaticModInt[M]) -> StaticModInt[M]

StaticModInt::mod

source

fn[M : Modulus] StaticModInt::mod(_self : StaticModInt[M]) -> Int

StaticModInt::new

source

fn[M : Modulus] StaticModInt::new(value : Int) -> StaticModInt[M]

StaticModInt::pow

source

fn[M : Modulus] StaticModInt::pow(self : StaticModInt[M], n : Int64) -> StaticModInt[M]

StaticModInt::raw

source

fn[M : Modulus] StaticModInt::raw(value : Int) -> StaticModInt[M]

No modular reduction; requires 0 <= value < modulus.

StaticModInt::val

source

fn[M] StaticModInt::val(self : StaticModInt[M]) -> Int

set_mod

source

fn set_mod(modulus : Int) -> Unit

Sets the modulus of the default ModInt tag. Custom tags use ModState::set_mod.

Source Files

modint.mbt

Site source Report issue Packages Build queue Skills Statistics

#ModInt

#ModInt1000000007

#ModInt998244353

#DynamicModulus

#Modulus

#DefaultId

#DynamicModInt

#DynamicModInt::from_int64

#DynamicModInt::from_uint

#DynamicModInt::from_uint64

#DynamicModInt::inv

#DynamicModInt::mod

#DynamicModInt::new

#DynamicModInt::pow

#DynamicModInt::raw

#DynamicModInt::val

#Mod1000000007

#Mod998244353

#ModState

#ModState::mod

#ModState::new

#ModState::set_mod

#StaticModInt

#StaticModInt::from_int64

#StaticModInt::from_uint

#StaticModInt::from_uint64

#StaticModInt::inv

#StaticModInt::mod

#StaticModInt::new

#StaticModInt::pow

#StaticModInt::raw

#StaticModInt::val

#set_mod

Source Files

ModInt

ModInt1000000007

ModInt998244353

DynamicModulus

Modulus

DefaultId

DynamicModInt

DynamicModInt::from_int64

DynamicModInt::from_uint

DynamicModInt::from_uint64

DynamicModInt::inv

DynamicModInt::mod

DynamicModInt::new

DynamicModInt::pow

DynamicModInt::raw

DynamicModInt::val

Mod1000000007

Mod998244353

ModState

ModState::mod

ModState::new

ModState::set_mod

StaticModInt

StaticModInt::from_int64

StaticModInt::from_uint

StaticModInt::from_uint64

StaticModInt::inv

StaticModInt::mod

StaticModInt::new

StaticModInt::pow

StaticModInt::raw

StaticModInt::val

set_mod