Numeric.Functional.Antilinear
- newtype Antilinear s a = Antilinear {
- appAntilinear :: (a -> s) -> s
Documentation
newtype Antilinear s a Source
Antilinear functionals from elements of a free module to a scalar
Constructors
| Antilinear | |
Fields
| |
Instances
| RightModule r s => RightModule r (Antilinear s m) | |
| LeftModule r s => LeftModule r (Antilinear s m) | |
| Monad (Antilinear s) | |
| Functor (Antilinear s) | |
| AdditiveMonoid s => MonadPlus (Antilinear s) | |
| Applicative (Antilinear s) | |
| AdditiveMonoid s => Alternative (Antilinear s) | |
| AdditiveMonoid s => Plus (Antilinear s) | |
| Additive s => Alt (Antilinear s) | |
| Apply (Antilinear s) | |
| Bind (Antilinear s) | |
| Additive s => Additive (Antilinear s a) | |
| Abelian s => Abelian (Antilinear s a) | |
| AdditiveMonoid s => AdditiveMonoid (Antilinear s a) | |
| AdditiveGroup s => AdditiveGroup (Antilinear s a) |