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

Portabilityrequires multi-parameter type classes
Stabilityprovisional
Maintainermik@math.uni-jena.de

MathObj.Algebra

Description

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

Documentation

newtype T a b Source

Constructors

Cons (Map a b) 

Instances

Functor (T a) 
Ord a => C (T a) 
(Eq a, Eq b) => Eq (T a b) 
(Show a, Show b) => Show (T a b) 
(Ord a, C b) => C (T a b) 
(Ord a, C a, C b) => C (T a b) 

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

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

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