Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
More monoids.
Documentation
Maximum of on-negative (small) natural numbers.
Instances
Monoid MaxNat Source # | |
Semigroup MaxNat Source # | |
Enum MaxNat Source # | |
Defined in Agda.Utils.Monoid succ :: MaxNat -> MaxNat Source # pred :: MaxNat -> MaxNat Source # toEnum :: Int -> MaxNat Source # fromEnum :: MaxNat -> Int Source # enumFrom :: MaxNat -> [MaxNat] Source # enumFromThen :: MaxNat -> MaxNat -> [MaxNat] Source # enumFromTo :: MaxNat -> MaxNat -> [MaxNat] Source # enumFromThenTo :: MaxNat -> MaxNat -> MaxNat -> [MaxNat] Source # | |
Num MaxNat Source # | |
Show MaxNat Source # | |
Eq MaxNat Source # | |
Ord MaxNat Source # | |
Defined in Agda.Utils.Monoid |