Modulenumeric-prelude-0.4.4Haskell98

MathObj.Algebra

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

newtypenewtype T a b

Instances6Functor, Eq, Show, C

Functor (T a)Defined in numeric-prelude-0.4.4 · MathObj.Algebra
Ord a => C (T a)Defined in numeric-prelude-0.4.4 · MathObj.Algebra
(Eq a, Eq b) => Eq (T a b)Defined in numeric-prelude-0.4.4 · MathObj.Algebra
(Show a, Show b) => Show (T a b)Defined in numeric-prelude-0.4.4 · MathObj.Algebra
(Ord a, C a, C b) => C (T a b)Defined in numeric-prelude-0.4.4 · MathObj.Algebra
(Ord a, C b) => C (T a b)Defined in numeric-prelude-0.4.4 · MathObj.Algebra

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

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

valuemonomial :: a -> b -> T a b