License  BSDstyle (see the file LICENSE) 

Maintainer  Edward Kmett <ekmett@gmail.com> 
Stability  provisional 
Portability  portable 
Safe Haskell  None 
Language  Haskell98 
Operations on affine spaces.
 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
Covector  

Monad (Covector r) Source #  
Functor (Covector r) Source #  
Applicative (Covector r) Source #  
Num r => Alternative (Covector r) Source #  
Num r => MonadPlus (Covector r) Source #  
Num r => Plus (Covector r) Source #  
Num r => Alt (Covector r) Source #  
Apply (Covector r) Source #  
Bind (Covector r) Source #  
Coalgebra r m => Num (Covector r m) Source #  