operators

Add

class Add (A : Type)

Addition: a + b.

Subtract

class Subtract (A : Type)

Subtraction: a - b.

Multiply

class Multiply (A : Type)

Multiplication: a * b.

Divide

class Divide (A : Type)

Division: a / b.

Modulo

class Modulo (A : Type)

Remainder: a % b.

Negate

class Negate (A : Type)

Negation: -a.

natAdd

instance natAdd : Add Nat

Addition of naturals.

natMultiply

instance natMultiply : Multiply Nat

Multiplication of naturals.

natSubtract

instance natSubtract : Subtract Nat

Subtraction of naturals, stopping at zero.

natDivide

instance natDivide : Divide Nat

Division of naturals.

natModulo

instance natModulo : Modulo Nat

Remainder of naturals.

intAdd

instance intAdd : Add Int

Addition of integers.

intMultiply

instance intMultiply : Multiply Int

Multiplication of integers.

intSubtract

instance intSubtract : Subtract Int

Subtraction of integers.

intNegate

instance intNegate : Negate Int

Negation of integers.

listAdd

instance listAdd {A : Type} : Add (List A)

Lists added end to end: xs + ys is xs followed by ys.