nats-0.2: Natural numbers

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

Numeric.Natural.Internal

Description

This module exposes the potentially unsafe operations that are sometimes needed for efficiency: The Natural data constructor and unsafePred.

Synopsis

Documentation

newtype Natural Source

Constructors

Natural 

Fields

runNatural :: Integer
 

Instances

class Integral n => Whole n where Source

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

Methods

toNatural :: n -> Natural Source

unsafePred :: n -> n Source

Instances

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

Church decoding