monoids-0.1.36: Monoids, specialized containers and a general map/reduce framework Source code Contents Index

Data.Ring.ModularArithmetic Portability non-portable (MPTCs, scoped types, empty decls, type operators) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

module Data.Ring

data Mod a s Source

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) => Group (Mod a s) (Modular s a, Integral a) => Ring (Mod a s) (Modular s a, Integral a) => SemiRing (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)

class Modular s a | s -> a where Source

Methods modulus :: s -> a Source Instances (ReflectedNum s, Num a) => Modular (ModulusNum s a) a

modulus :: Modular s a => s -> a Source

withIntegralModulus :: Integral a => a -> (forall s. Modular s a => w `Mod` s) -> w Source

Produced by Haddock version 2.3.0