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

Documentation

data Int Source

Integers

Constructors

Neg Nat1

A negative natural number

Pos0 Nat

A positive natural number or zero