Modulelinear-1.23.3Haskell2010

Linear.Algebra

Synopsis

classclass Num r => Algebra r m where

An associative unital algebra over a ring

Instances7Algebra, …

Num r => Algebra r VoidDefined in linear-1.23.3 · Linear.Algebra
Num r => Algebra r ()Defined in linear-1.23.3 · Linear.Algebra
Num r => Algebra r (E Complex)Defined in linear-1.23.3 · Linear.Algebra
Num r => Algebra r (E V0)Defined in linear-1.23.3 · Linear.Algebra
Num r => Algebra r (E V1)Defined in linear-1.23.3 · Linear.Algebra
(Num r, TrivialConjugate r) => Algebra r (E Quaternion)Defined in linear-1.23.3 · Linear.Algebra
(Algebra r a, Algebra r b) => Algebra r (a, b)Defined in linear-1.23.3 · Linear.Algebra

classclass Num r => Coalgebra r m where

A coassociative counital coalgebra over a ring

Instances10Coalgebra, …

Num r => Coalgebra r VoidDefined in linear-1.23.3 · Linear.Algebra
Num r => Coalgebra r ()Defined in linear-1.23.3 · Linear.Algebra
Num r => Coalgebra r (E Complex)Defined in linear-1.23.3 · Linear.Algebra
Num r => Coalgebra r (E V0)Defined in linear-1.23.3 · Linear.Algebra
Num r => Coalgebra r (E V1)Defined in linear-1.23.3 · Linear.Algebra
Num r => Coalgebra r (E V2)Defined in linear-1.23.3 · Linear.Algebra
Num r => Coalgebra r (E V3)Defined in linear-1.23.3 · Linear.Algebra
Num r => Coalgebra r (E V4)Defined in linear-1.23.3 · Linear.Algebra
(Num r, TrivialConjugate r) => Coalgebra r (E Quaternion)Defined in linear-1.23.3 · Linear.Algebra
(Coalgebra r m, Coalgebra r n) => Coalgebra r (m, n)Defined in linear-1.23.3 · Linear.Algebra

valuemultRep :: (Representable f, Algebra r (Rep f)) => f (f r) -> f r

valueunitalRep :: (Representable f, Algebra r (Rep f)) => r -> f r

valuecomultRep :: (Representable f, Coalgebra r (Rep f)) => f r -> f (f r)

valuecounitalRep :: (Representable f, Coalgebra r (Rep f)) => f r -> r