| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Inferred |
Numeric.Natural.Internal
Description
This module exposes the potentially unsafe operations that are sometimes needed for efficiency: The Natural data constructor and unsafePred.
- newtype Natural = Natural {
- runNatural :: Integer
- class Integral n => Whole n where
- toNatural :: n -> Natural
- unsafePred :: n -> n
- natural :: a -> (a -> a) -> Natural -> a
Documentation
newtype Natural
Constructors
| Natural | |
Fields
| |
class Integral n => Whole n where
A refinement of Integral to represent types that do not contain negative numbers.