Safe Haskell	Safe
Language	Haskell98

Numeric.Algebra.Commutative

Synopsis

Documentation

A commutative multiplicative semigroup

Instances

Commutative Bool #

Commutative Int #

Commutative Int8 #

Commutative Int16 #

Commutative Int32 #

Commutative Int64 #

Commutative Integer #

Commutative Natural #

Commutative Word #

Commutative Word8 #

Commutative Word16 #

Commutative Word32 #

Commutative Word64 #

Commutative () #

Commutative Euclidean #

Monoidal r => Commutative (ZeroRng r) #

(Commutative r, Rng r) => Commutative (RngRing r) #

Commutative r => Commutative (Opposite r) #

(Abelian r, Commutative r) => Commutative (End r) #

Abelian r => Commutative (Exp r) #

(Commutative k, Rng k) => Commutative (Trig k) #

(Commutative k, Semiring k) => Commutative (Hyper k) #

Commutative (BasisCoblade m) #

(TriviallyInvolutive r, Rng r) => Commutative (Dual' r) #

(Commutative k, Semiring k) => Commutative (Hyper' k) #

(TriviallyInvolutive r, Rng r) => Commutative (Dual r) #

(TriviallyInvolutive r, Rng r) => Commutative (Complex r) #

GCDDomain d => Commutative (Fraction d) #

CommutativeAlgebra r a => Commutative (a -> r) #

(Commutative a, Commutative b) => Commutative (a, b) #

(Commutative m, Coalgebra r m) => Commutative (Covector r m) #

(Commutative a, Commutative b, Commutative c) => Commutative (a, b, c) #

(Commutative m, Coalgebra r m) => Commutative (Map r b m) #

(Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d) #

(Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e) #

Instances

(Commutative r, Semiring r) => CommutativeAlgebra r IntSet #

(Commutative r, Semiring r) => CommutativeAlgebra r () #

(Commutative r, Semiring r, Ord a) => CommutativeAlgebra r (Set a) #

(CommutativeAlgebra r a, CommutativeAlgebra r b) => CommutativeAlgebra r (a, b) #

(CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c) => CommutativeAlgebra r (a, b, c) #

(CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c, CommutativeAlgebra r d) => CommutativeAlgebra r (a, b, c, d) #

(CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c, CommutativeAlgebra r d, CommutativeAlgebra r e) => CommutativeAlgebra r (a, b, c, d, e) #

Instances

(Commutative r, Semiring r) => CocommutativeCoalgebra r IntSet #

(Commutative r, Semiring r) => CocommutativeCoalgebra r () #

(Commutative r, Semiring r, Abelian b) => CocommutativeCoalgebra r (IntMap b) #

(Commutative r, Semiring r, Ord a) => CocommutativeCoalgebra r (Set a) #

(Commutative r, Semiring r, Ord a, Abelian b) => CocommutativeCoalgebra r (Map a b) #

(CocommutativeCoalgebra r a, CocommutativeCoalgebra r b) => CocommutativeCoalgebra r (a, b) #

CommutativeAlgebra r m => CocommutativeCoalgebra r (m -> r) #

(CocommutativeCoalgebra r a, CocommutativeCoalgebra r b, CocommutativeCoalgebra r c) => CocommutativeCoalgebra r (a, b, c) #

(CocommutativeCoalgebra r a, CocommutativeCoalgebra r b, CocommutativeCoalgebra r c, CocommutativeCoalgebra r d) => CocommutativeCoalgebra r (a, b, c, d) #

(CocommutativeCoalgebra r a, CocommutativeCoalgebra r b, CocommutativeCoalgebra r c, CocommutativeCoalgebra r d, CocommutativeCoalgebra r e) => CocommutativeCoalgebra r (a, b, c, d, e) #

Instances

(Bialgebra r h, CommutativeAlgebra r h, CocommutativeCoalgebra r h) => CommutativeBialgebra r h #