Documentation

• \( \mathbb{Z} \times \mathbb{Z} \), the two-dimensional integers.

>>> :{
  -- Addition
  f1 :: (Module m r) => m -> m
  f1 m = m .+. m
:}

>>> f1 (8,4)
(16,8)

>>> :{
  -- Zero
  f2 :: (Module m r) => m -> m
  f2 m = m .+. zero
:}

>>> f2 (8,4)
(8,4)

>>> :{
  -- Subtraction
  f3 :: (Module m r) => m -> m
  f3 m = m .-. m
:}

>>> f3 (8,4)
(0,0)

>>> :{
  -- Scalar multiplication
  f4 :: (Module m r, Num r) => m -> m
  f4 m = m .* 6
:}

>>> f4 (8,4)
(48,24)