HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulenumeric-prelude-0.4.4Haskell98

Algebra.Monoid

Abstract concept of a Monoid. Will be used in order to generate type classes for generic algebras. An algebra is a vector space that also is a monoid. Should we use the Monoid class from base library despite its unfortunate method name mappend?

  • 1 class
classclass C a where
#

We expect a monoid to adher to associativity and the identity behaving decently. Nothing more, really.

Methods

Instances16C, …
  • C AllDefined in numeric-prelude-0.4.4 · Algebra.Monoid
  • C AnyDefined in numeric-prelude-0.4.4 · Algebra.Monoid
  • C TDefined in numeric-prelude-0.4.4 · Number.Peano
  • Ix i => C (T i)Defined in numeric-prelude-0.4.4 · MathObj.Permutation.CycleList.Check
  • Ord a => C (Max a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
  • Ord a => C (Min a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
  • C a => C (Sum a)Defined in numeric-prelude-0.4.4 · Algebra.Monoid
  • C a => C (T a)Defined in numeric-prelude-0.4.4 · Number.NonNegative · orphan
  • C (First a)Defined in numeric-prelude-0.4.4 · Algebra.Monoid
  • C (Last a)Defined in numeric-prelude-0.4.4 · Algebra.Monoid
  • C (Endo a)Defined in numeric-prelude-0.4.4 · Algebra.Monoid
  • C a => C (Dual a)Defined in numeric-prelude-0.4.4 · Algebra.Monoid
  • C a => C (T a)Defined in numeric-prelude-0.4.4 · Number.NonNegativeChunky
  • C a => C (GCD a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
  • C a => C (LCM a)Defined in numeric-prelude-0.4.4 · MathObj.Monoid
  • C a => C (Product a)Defined in numeric-prelude-0.4.4 · Algebra.Monoid