Agda-2.6.2.1.20220320: 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

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

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