Algebra.Monoid

numeric-prelude-0.1.2: An experimental alternative hierarchy of numeric type classes

Algebra.Monoid

Portability	Abstract concept of a Monoid.
Stability	provisional
Maintainer	mik@math.uni-jena.de

Description

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 a where

idt :: a

(<*>) :: a -> a -> a

Documentation

class C a where

Source

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

Methods

idt :: a

Source

(<*>) :: a -> a -> a

Source

Instances

C All

C Any

C a => C (Dual a)

C (Endo a)

C a => C (Sum a)

C a => C (Product a)

C (First a)

C (Last a)

Ord a => C (Max a)

Ord a => C (Min a)

C a => C (LCM a)

C a => C (GCD a)

Ix i => C (T i)

Produced by Haddock version 2.4.2