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 Nat1

A negative natural number

Pos0 Nat

A positive natural number or zero

Instances

Enum Int

Eq Int

Integral Int

Num Int

Ord Int

Read Int

Real Int

Show Int

pos :: Nat1 -> Int