linear-1.18.3: Linear Algebra

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

Linear.Covector

Description

Operations on affine spaces.

Synopsis

Documentation

newtype Covector r a

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