algebra-0.9.0.3: Constructive abstract algebra
Numeric.Natural.Internal
newtype Natural Source
Constructors
Fields
Instances
class Integral n => Whole n whereSource
Methods
toNatural :: n -> NaturalSource
unsafePred :: n -> nSource