int

Remainder of the division of X by Y.

val mod: 5 % 2 = 1

Multiplication of two Int singleton types.

val mul: 4 * 2 = 8

Addition of two Int singleton types.

val sum: 2 + 2 = 4

Subtraction of two Int singleton types.

val sub: 4 - 2 = 2

Integer division of two Int singleton types.

val div: 5 / 2 = 2

Less-than comparison of two Int singleton types.

val lt1: 4 < 2 = false
val lt2: 2 < 4 = true

Binary left shift of X by Y.

val lshift: 1 << 2 = 4

Less-or-equal comparison of two Int singleton types.

val lt1: 4 <= 2 = false
val lt2: 2 <= 2 = true

Greater-than comparison of two Int singleton types.

val gt1: 4 > 2 = true
val gt2: 2 > 2 = false

Greater-or-equal comparison of two Int singleton types.

val ge1: 4 >= 2 = true
val ge2: 2 >= 3 = false

Binary right shift of X by Y.

val rshift: 10 >> 1 = 5

Binary right shift of X by Y, filling the left with zeros.

val rshiftzero: 10 >>> 1 = 5

Absolute value of an Int singleton type.

val abs: Abs[-1] = 1

Bitwise and of X and Y.

val and1: BitwiseAnd[4, 4] = 4
val and2: BitwiseAnd[10, 5] = 0

Bitwise or of X and Y.

val or: BitwiseOr[10, 11] = 11

Maximum of two Int singleton types.

val max: Max[-1, 1] = 1

Minimum of two Int singleton types.

val min: Min[-1, 1] = -1

Negation of an Int singleton type.

val neg1: Neg[-1] = 1
val neg2: Neg[1] = -1

Successor of a natural number where zero is the type 0 and successors are reduced as if the definition was

type S[N <: Int] <: Int = N match {
  case 0 => 1
  case 1 => 2
  case 2 => 3
  ...
  case 2147483646 => 2147483647
}

String conversion of an Int singleton type.

val abs: ToString[1] = "1"

Bitwise xor of X and Y.

val xor: 10 ^ 30 = 20