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

MathObj.Algebra Portability requires multi-parameter type classes Stability provisional Maintainer [email protected]

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 b Source

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

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

Produced by Haddock version 2.6.0