integer-types-0.1.4.1: Integer, Natural, and Positive
Safe HaskellSafe-Inferred
LanguageGHC2021

Integer.StrictlyIncrease

Synopsis

Documentation

class StrictlyIncrease a where Source #

Class of numbers that are closed under addition with Positive

Methods

strictlyIncrease :: Positive -> a -> a Source #

Addition

Instances

Instances details
StrictlyIncrease Positive Source # 
Instance details

Defined in Integer.StrictlyIncrease

Methods

strictlyIncrease :: Positive -> Positive -> Positive Source #

StrictlyIncrease Signed Source # 
Instance details

Defined in Integer.StrictlyIncrease

Methods

strictlyIncrease :: Positive -> Signed -> Signed Source #

StrictlyIncrease Integer Source # 
Instance details

Defined in Integer.StrictlyIncrease

Methods

strictlyIncrease :: Positive -> Integer -> Integer Source #

StrictlyIncrease Natural Source # 
Instance details

Defined in Integer.StrictlyIncrease

Methods

strictlyIncrease :: Positive -> Natural -> Natural Source #