linear-1.8.1: Linear Algebra

Safe HaskellNone

Linear.Covector

Synopsis

Documentation

newtype Covector r a Source

Linear functionals from elements of an (infinite) free module to a scalar

Constructors

Covector 

Fields

runCovector :: (a -> r) -> r
 

Instances

($*) :: Representable f => Covector r (Rep f) -> f r -> rSource