Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- class StrictlyIncrease a where
- strictlyIncrease :: Positive -> a -> a
Documentation
class StrictlyIncrease a where Source #
Class of numbers that are closed under addition with Positive
strictlyIncrease :: Positive -> a -> a Source #
Addition
Instances
StrictlyIncrease Positive Source # | |
Defined in Integer.StrictlyIncrease | |
StrictlyIncrease Signed Source # | |
Defined in Integer.StrictlyIncrease | |
StrictlyIncrease Integer Source # | |
Defined in Integer.StrictlyIncrease | |
StrictlyIncrease Natural Source # | |
Defined in Integer.StrictlyIncrease |