Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

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