Integer.Increase
class Increase a where Source #
Class of numbers are closed under addition with Natural
Natural
Methods
increase :: Natural -> a -> a Source #
Addition
Defined in Integer.Increase
increase :: Natural -> Positive -> Positive Source #
increase :: Natural -> Signed -> Signed Source #
increase :: Natural -> Integer -> Integer Source #
increase :: Natural -> Natural -> Natural Source #