Data.Modular

Preliminaries

Modular arithmetic

data Mod i n

unMod

toMod

toMod'

inv

type (/)

type ℤ

modVal

data SomeMod i

someModVal