linear-1.16.2: Linear Algebra

Safe HaskellNone
LanguageHaskell98

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 -> r infixr 0 Source