constructive-algebra-0.1.2: 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