linear-1.20.2: Linear Algebra

LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell98

Linear.Algebra

Description

 

Synopsis

Documentation

class Num r => Algebra r m where Source

An associative unital algebra over a ring

Methods

mult :: (m -> m -> r) -> m -> r Source

unital :: r -> m -> r Source

Instances

Num r => Algebra r () Source 
Num r => Algebra r Void Source 
(Num r, TrivialConjugate r) => Algebra r (E Quaternion) Source 
Num r => Algebra r (E Complex) Source 
Num r => Algebra r (E V1) Source 
Num r => Algebra r (E V0) Source 
(Algebra r a, Algebra r b) => Algebra r (a, b) Source 

class Num r => Coalgebra r m where Source

A coassociative counital coalgebra over a ring

Methods

comult :: (m -> r) -> m -> m -> r Source

counital :: (m -> r) -> r Source

Instances

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

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

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

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