monoids-0.1.33: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Ring.ModularArithmetic
Portabilitynon-portable (MPTCs, scoped types, empty decls, type operators)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
module Data.Ring
data Mod a s Source
show/hide Instances
Eq a => Eq (Mod a s)
(Modular s a, Integral a) => Num (Mod a s)
Show a => Show (Mod a s)
(Modular s a, Integral a) => Monoid (Mod a s)
(Modular s a, Integral a) => Multiplicative (Mod a s)
(Modular s a, Integral a) => RightSemiNearRing (Mod a s)
(Modular s a, Integral a) => LeftSemiNearRing (Mod a s)
(Modular s a, Integral a) => Ringoid (Mod a s)
(Modular s a, Integral a) => SemiRing (Mod a s)
(Modular s a, Integral a) => Group (Mod a s)
(Modular s a, Integral a) => Ring (Mod a s)
class Modular s a | s -> a whereSource
Methods
modulus :: s -> aSource
show/hide Instances
(ReflectedNum s, Num a) => Modular (ModulusNum s a) a
withIntegralModulus :: Integral a => a -> (forall s. Modular s a => w `Mod` s) -> wSource
Produced by Haddock version 2.4.2