Agda-2.6.4: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Utils.Monoid

Description

More monoids.

Synopsis

Documentation

newtype MaxNat Source #

Maximum of on-negative (small) natural numbers.

Constructors

MaxNat 

Fields

Instances

Instances details
Monoid MaxNat Source # 
Instance details

Defined in Agda.Utils.Monoid

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

Num MaxNat Source # 
Instance details

Defined in Agda.Utils.Monoid

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