License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
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
Num r => Alternative (Covector r) Source # | |
Applicative (Covector r) Source # | |
Functor (Covector r) Source # | |
Monad (Covector r) Source # | |
Num r => MonadPlus (Covector r) Source # | |
Num r => Alt (Covector r) Source # | |
Apply (Covector r) Source # | |
Bind (Covector r) Source # | |
Num r => Plus (Covector r) Source # | |
Defined in Linear.Covector | |
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 # |