nat-0.2: Lazy binary natural numbers

Data.Number.Int

Description

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

Synopsis

data Int Source

Integers

Constructors

A negative natural number

A positive natural number or zero

Instances

pos :: Nat1 -> IntSource