nats-0.1.2: Haskell 98 natural numbers

Copyright(C) 2011 Edward Kmett,
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Numeric.Natural

Description

Natural numbers.

Synopsis

Documentation

class Integral n => Whole n where Source

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

Minimal complete definition

toNatural, unsafePred

Methods

toNatural :: n -> Natural Source

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

Church decoding