MathObj.Algebra

Portability	requires multi-parameter type classes
Stability	provisional
Maintainer	mik@math.uni-jena.de

Description

The generic case of a k-algebra generated by a monoid.

Documentation

newtype T a b

Constructors

Cons (Map a b)

Instances

Ord a => C (T a)

(Ord a, C b) => C (T a b)

(Ord a, C a, C b) => C (T a b)

??? a b => Eq (T a b)

(Show a, Show b) => Show (T a b)

zipWith :: Ord a => (b -> b -> b) -> T a b -> T a b -> T a b

mulMonomial :: (C a, C b) => (a, b) -> (a, b) -> (a, b)

monomial :: a -> b -> T a b

Produced by Haddock version 0.7