numbers-3000.2.0.2: Various number types

Safe HaskellSafe
LanguageHaskell98

Data.Number.Natural

Description

Lazy natural numbers. Addition and multiplication recurses over the first argument, i.e., 1 + n is the way to write the constant time successor function.

Note that (+) and (*) are not commutative for lazy natural numbers when considering bottom.

Synopsis

Documentation

data Natural Source #

Instances
Enum Natural Source # 
Instance details

Defined in Data.Number.Natural

Eq Natural Source # 
Instance details

Defined in Data.Number.Natural

Integral Natural Source # 
Instance details

Defined in Data.Number.Natural

Num Natural Source # 
Instance details

Defined in Data.Number.Natural

Ord Natural Source # 
Instance details

Defined in Data.Number.Natural

Real Natural Source # 
Instance details

Defined in Data.Number.Natural

Show Natural Source # 
Instance details

Defined in Data.Number.Natural

infinity :: Natural Source #

The infinite natural number.