algebra-0.9.0.1: Constructive abstract algebra
Numeric.Natural
data Natural Source
Instances
class Integral n => Whole n whereSource
Methods
toNatural :: n -> NaturalSource