Mod

Module type within inclusive value range (0 .. m-1).

Similar to Ada's modulo type 0 mod m.

template Mod (

size_t m

T = UnsignedOfModulo!m

) if (

m >= 1 &&

isIntegral!T

) {

alias UI = UnsignedOfModulo!m;

enum exactStorageTypeMatch;

}

Members

Aliases

UI alias UI = UnsignedOfModulo!m: Undocumented in source.

Manifest constants

exactStorageTypeMatch enum exactStorageTypeMatch;: Undocumented in source.

Structs

Mod struct Mod: Undocumented in source.

See Also

https://forum.dlang.org/post/hmrpwyqfoxwtywbznbrr@forum.dlang.org http://codeforces.com/contest/628/submission/16212299

TODO reuse ideas from bound.d

TODO Add function limit() static if (isPowerOf2!m) { return x & 2^^m - 1; } else { return x % m; }

invariant { assert (0 <= x && x < m); }

called after opBinary opUnary etc similar to what is done http://codeforces.com/contest/628/submission/16212299

TODO Move to Phobos std.typecons

Meta

Source

See Implementation

nxt modulo functions

mod

templates

Mod