NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Algebra.Monoid
PortabilityAbstract concept of a Monoid. Will be used in order to generate
Stabilityprovisional
Maintainermik@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
show/hide Instances
Ix i => C (T i)
Produced by Haddock version 0.7