Math.NumberTheory.Moduli.Class

Known modulo

data Mod m

getVal

getNatVal

getMod

getNatMod

invertMod

powMod

(^%)

Unknown modulo

data SomeMod

modulo

invertSomeMod

powSomeMod

Re-exported from GHC.TypeNats.Compat

class KnownNat n