numeric-prelude-0.1.1: An experimental alternative hierarchy of numeric type classes Source code Contents Index

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 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 Ix i => C (T i)

Produced by Haddock version 2.4.2