Algebra.Monoid

Portability	Abstract concept of a Monoid. Will be used in order to generate
Stability	provisional
Maintainer	mik@math.uni-jena.de

Description

type classes for generic algebras. An algebra is a vector space that also is a monoid.

Synopsis

class C a where

idt :: a

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

Documentation

class C a where

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

Methods

idt :: a

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

Instances

Ix i => C (T i)

Produced by Haddock version 0.7