Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Utils.Monoid

Description

More monoids.

Synopsis

newtype MaxNat = MaxNat {
- getMaxNat :: Int
}

Documentation

newtype MaxNat Source #

Maximum of on-negative (small) natural numbers.

Constructors

MaxNat
Fields getMaxNat :: Int

Instances

Instances details

Monoid MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods mempty :: MaxNat mappend :: MaxNat -> MaxNat -> MaxNat mconcat :: [MaxNat] -> MaxNat
Semigroup MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods (<>) :: MaxNat -> MaxNat -> MaxNat # sconcat :: NonEmpty MaxNat -> MaxNat stimes :: Integral b => b -> MaxNat -> MaxNat
Enum MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods succ :: MaxNat -> MaxNat pred :: MaxNat -> MaxNat toEnum :: Int -> MaxNat fromEnum :: MaxNat -> Int enumFrom :: MaxNat -> [MaxNat] enumFromThen :: MaxNat -> MaxNat -> [MaxNat] enumFromTo :: MaxNat -> MaxNat -> [MaxNat] enumFromThenTo :: MaxNat -> MaxNat -> MaxNat -> [MaxNat]
Num MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods (+) :: MaxNat -> MaxNat -> MaxNat (-) :: MaxNat -> MaxNat -> MaxNat (*) :: MaxNat -> MaxNat -> MaxNat negate :: MaxNat -> MaxNat abs :: MaxNat -> MaxNat signum :: MaxNat -> MaxNat fromInteger :: Integer -> MaxNat
Show MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods showsPrec :: Int -> MaxNat -> ShowS show :: MaxNat -> String showList :: [MaxNat] -> ShowS
Eq MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods (==) :: MaxNat -> MaxNat -> Bool (/=) :: MaxNat -> MaxNat -> Bool
Ord MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods compare :: MaxNat -> MaxNat -> Ordering (<) :: MaxNat -> MaxNat -> Bool (<=) :: MaxNat -> MaxNat -> Bool (>) :: MaxNat -> MaxNat -> Bool (>=) :: MaxNat -> MaxNat -> Bool max :: MaxNat -> MaxNat -> MaxNat min :: MaxNat -> MaxNat -> MaxNat