License  BSDstyle (see the file LICENSE) 

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

Instances
Monad (Covector r) Source #  
Functor (Covector r) Source #  
Applicative (Covector r) Source #  
Num r => Alternative (Covector r) Source #  
Num r => MonadPlus (Covector r) Source #  
Apply (Covector r) Source #  
Num r => Plus (Covector r) Source #  
Defined in Linear.Covector  
Num r => Alt (Covector r) Source #  
Bind (Covector r) Source #  
Coalgebra r m => Num (Covector r m) Source #  
Defined in Linear.Covector (+) :: Covector r m > Covector r m > Covector r m # () :: Covector r m > Covector r m > Covector r m # (*) :: Covector r m > Covector r m > Covector r m # negate :: Covector r m > Covector r m # abs :: Covector r m > Covector r m # signum :: Covector r m > Covector r m # fromInteger :: Integer > Covector r m # 