Documentation

Defines a Quartaring i.e. a structure with addition and multiplication. In other words, a semiring that has no identity requirement. Should satisfy:

• Distributive property:

  a .*. (b .+. c) === (a .*. b) .+. (a .*. c)
  (b .+. c) .*. a === (b .*. a) .+. (c .*. a)
  

Examples:

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

>>> f1 5
10

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

>>> f2 5
25

Since: 0.1