constructive-algebra-0.1.1: A library of constructive algebra.
Algebra.Z
Synopsis
type Z = IntegerSource
Type synonym for integers.
class Ring a whereSource
Definition of rings.
Methods
(<+>) :: a -> a -> aSource
Addition
(<*>) :: a -> a -> aSource
Multiplication
neg :: a -> aSource
Compute additive inverse
zero :: aSource
The additive identity
one :: aSource
The multiplicative identity
Instances