Safe Haskell | None |
---|---|
Language | Haskell98 |
Linear.Covector
- newtype Covector r a = Covector {
- runCovector :: (a -> r) -> r
- ($*) :: Representable f => Covector r (Rep f) -> f r -> r
Documentation
Linear functionals from elements of an (infinite) free module to a scalar
Constructors
Covector | |
Fields
|
($*) :: Representable f => Covector r (Rep f) -> f r -> r infixr 0 Source