Data.Number.Int

The implementations of all functions except for rem, quot, div, mod are supposed to be as non-strict as possible.

Documentation

data Int

Integers

Constructors

Neg Nat

A negative natural number

NatO NatO

A positive natural number or zero

Instances

Enum Int

Eq Int

Integral Int

Num Int

Ord Int

Read Int

Real Int

Show Int

pos :: Nat -> Int