Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
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
Enum 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 #

Num MaxNat Source # 
Instance details

Defined in Agda.Utils.Monoid

Ord MaxNat Source # 
Instance details

Defined in Agda.Utils.Monoid

Show MaxNat Source # 
Instance details

Defined in Agda.Utils.Monoid

Semigroup MaxNat Source # 
Instance details

Defined in Agda.Utils.Monoid

Monoid MaxNat Source # 
Instance details

Defined in Agda.Utils.Monoid