numeric-prelude-0.4.4: An experimental alternative hierarchy of numeric type classes
Copyright(c) Mikael Johansson 2006
Maintainermik@math.uni-jena.de
Stabilityprovisional
Portabilityrequires multi-parameter type classes
Safe HaskellSafe-Inferred
LanguageHaskell98

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

Instances details
Functor (T a) Source # 
Instance details

Defined in MathObj.Algebra

Methods

fmap :: (a0 -> b) -> T a a0 -> T a b #

(<$) :: a0 -> T a b -> T a a0 #

Ord a => C (T a) Source # 
Instance details

Defined in MathObj.Algebra

Methods

zero :: C a0 => T a a0 Source #

(<+>) :: C a0 => T a a0 -> T a a0 -> T a a0 Source #

(*>) :: C a0 => a0 -> T a a0 -> T a a0 Source #

(Eq a, Eq b) => Eq (T a b) Source # 
Instance details

Defined in MathObj.Algebra

Methods

(==) :: T a b -> T a b -> Bool #

(/=) :: T a b -> T a b -> Bool #

(Show a, Show b) => Show (T a b) Source # 
Instance details

Defined in MathObj.Algebra

Methods

showsPrec :: Int -> T a b -> ShowS #

show :: T a b -> String #

showList :: [T a b] -> ShowS #

(Ord a, C b) => C (T a b) Source # 
Instance details

Defined in MathObj.Algebra

Methods

zero :: T a b Source #

(+) :: T a b -> T a b -> T a b Source #

(-) :: T a b -> T a b -> T a b Source #

negate :: T a b -> T a b Source #

(Ord a, C a, C b) => C (T a b) Source # 
Instance details

Defined in MathObj.Algebra

Methods

(*) :: T a b -> T a b -> T a b Source #

one :: T a b Source #

fromInteger :: Integer -> T a b Source #

(^) :: T a b -> Integer -> T a b Source #

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 #