Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulenumeric-prelude-0.4.4Haskell98

MathObj.Monoid

4 types

Packagenumeric-prelude-0.4.4
Exports4
LanguageHaskell98
LicenceBSD-3-Clause
SourceMonoid.hs

newtypenewtype GCD a

It is only a monoid for non-negative numbers.

idt <*> GCD (-2) = GCD 2

Thus, use this Monoid only for non-negative numbers!

Constructors

GCD
- runGCD :: a

Instances3Eq, Show, C

Eq a => Eq (GCD a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
Show a => Show (GCD a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
C a => C (GCD a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid

newtypenewtype LCM a

Constructors

LCM
- runLCM :: a

Instances3Eq, Show, C

Eq a => Eq (LCM a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
Show a => Show (LCM a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
C a => C (LCM a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid

newtypenewtype Min a

Nothing is the largest element.

Constructors

Min
- runMin :: Maybe a

Instances3Eq, Show, C

Eq a => Eq (Min a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
Show a => Show (Min a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
Ord a => C (Min a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid

newtypenewtype Max a

Nothing is the smallest element.

Constructors

Max
- runMax :: Maybe a

Instances3Eq, Show, C

Eq a => Eq (Max a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
Show a => Show (Max a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
Ord a => C (Max a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid