nat-0.1: 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 :: Nat -> IntSource