Numeric.Natural.Internal

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

Documentation

newtype Natural

Constructors

Natural

Fields

runNatural :: Integer

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

unsafePred :: n -> n

Instances

Whole Word

Whole Word8

Whole Word16

Whole Word32

Whole Word64

Whole Natural

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

Church decoding