Documentation

• \( \mathbb{Z}^{\times} \), the positive integers.

>>> :{
  -- Addition
  f1 :: (Demiring r) => r -> r
  f1 x = x .+. x
:}

>>> f1 5
10

>>> :{
  -- Multiplication
  f2 :: (Demiring r) => r -> r
  f2 x = x .*. x
:}

>>> f2 5
25

>>> :{
  -- One
  f3 :: (Demiring r) => r -> r
  f3 x = x .*. one
:}

>>> f3 5
5