nats-0.1.2: Haskell 98 natural numbers

Numeric.Natural

Description

Natural numbers.

Synopsis

data Natural Source

Instances

class Integral n => Whole n whereSource

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

Integral

Methods

toNatural :: n -> NaturalSource

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

Church decoding