obiloud / numeric-decimal / Numeric.Nat

Definition


type Nat

Naturals with zero.

Conversion

fromIntAbs : Basics.Int -> Nat

Nat from Int absolute value.

fromIntAbs 2 -- (Nat 2)

fromIntAbs -3 -- (Nat 3)

fromIntOrZero : Basics.Int -> Nat

Nat from positive Ints, otherwise 0

fromIntAbs 2 -- (Nat 2)

fromIntAbs -3 -- (Nat 0)

toInt : Nat -> Basics.Int

toInt Nat

Arithmetic

add : Nat -> Nat -> Nat

Add two Nats.

Primitives

nat0 : Nat

Nat 0

nat1 : Nat

Nat 1

nat2 : Nat

Nat 2

nat3 : Nat

Nat 3

nat4 : Nat

Nat 4

nat5 : Nat

Nat 5

successor : Nat -> Nat

Increment by 1