Numeric.Natural

Natural numbers.

Documentation

data Natural

Instances

Enum Natural

Eq Natural

Integral Natural

Data Natural

Num Natural

Ord Natural

Read Natural

Real Natural

Show Natural

Ix Natural

Typeable Natural

Bits Natural

Hashable Natural

Whole Natural

class Integral n => Whole n where

A refinement of Integral to represent types that do not contain negative numbers.

Methods

toNatural :: n -> Natural

Instances

Whole Word

Whole Word8

Whole Word16

Whole Word32

Whole Word64

Whole Natural

natural :: a -> (a -> a) -> Natural -> a

Church decoding