Agda.Utils.Monoid

More monoids.

Documentation

newtype MaxNat

Maximum of on-negative (small) natural numbers.

Constructors

MaxNat

Fields

• getMaxNat :: Int

Instances

Monoid MaxNat

Defined in Agda.Utils.Monoid

Methods

mempty :: MaxNat

mappend :: MaxNat -> MaxNat -> MaxNat

mconcat :: [MaxNat] -> MaxNat

Semigroup MaxNat

Defined in Agda.Utils.Monoid

Methods

(<>) :: MaxNat -> MaxNat -> MaxNat

sconcat :: NonEmpty MaxNat -> MaxNat

stimes :: Integral b => b -> MaxNat -> MaxNat

Enum MaxNat

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

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

Defined in Agda.Utils.Monoid

Methods

showsPrec :: Int -> MaxNat -> ShowS

show :: MaxNat -> String

showList :: [MaxNat] -> ShowS

Eq MaxNat

Defined in Agda.Utils.Monoid

Methods

(==) :: MaxNat -> MaxNat -> Bool

(/=) :: MaxNat -> MaxNat -> Bool

Ord MaxNat

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