HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

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?

Synopsis
  • class C
classclass C a where
Source#

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
  • 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
  • Ix i => C (T i)Defined in numeric-prelude-0.4.4 · MathObj.Permutation.CycleList.Check
  • 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