module Integer.Increase where
import Integer.Integer (Integer)
import Integer.Integer qualified as Integer
import Integer.Natural (Natural)
import Integer.Positive (Positive)
import Integer.Positive qualified as Positive
import Integer.Signed (Signed)
import Integer.Signed qualified as Signed
import Prelude qualified as Num (Num (..))
class Increase a where
increase :: Natural -> a -> a
instance Increase Integer where
increase :: Natural -> Integer -> Integer
increase = Natural -> Integer -> Integer
Integer.increase
instance Increase Signed where
increase :: Natural -> Signed -> Signed
increase = Natural -> Signed -> Signed
Signed.increase
instance Increase Natural where
increase :: Natural -> Natural -> Natural
increase = forall a. Num a => a -> a -> a
(Num.+)
instance Increase Positive where
increase :: Natural -> Positive -> Positive
increase = Natural -> Positive -> Positive
Positive.increase