semigroups-0.8: Haskell 98 semigroupsSource codeContentsIndex
Numeric.Natural.Internal
Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Description
This module exposes the potentially unsafe operations that are sometimes needed for efficiency: The Natural data constructor and unsafePred.
Synopsis
newtype Natural = Natural {
runNatural :: Integer
}
class Integral n => Whole n where
toNatural :: n -> Natural
unsafePred :: n -> n
Documentation
newtype Natural Source
Constructors
Natural
runNatural :: Integer
show/hide Instances
class Integral n => Whole n whereSource
A refinement of Integral to represent types that do not contain negative numbers.
Methods
toNatural :: n -> NaturalSource
unsafePred :: n -> nSource
show/hide Instances
Produced by Haddock version 2.6.1