Linear functionals from elements of an (infinite) free module to a scalar
Constructors
CovectorrunCovector :: (a -> r) -> r
Instances10Monad, Functor, Applicative, Alternative, MonadPlus, Alt, …
Monad (Covector r)Defined in linear-1.23.3 · Linear.CovectorFunctor (Covector r)Defined in linear-1.23.3 · Linear.CovectorApplicative (Covector r)Defined in linear-1.23.3 · Linear.CovectorNum r => Alternative (Covector r)Defined in linear-1.23.3 · Linear.CovectorNum r => MonadPlus (Covector r)Defined in linear-1.23.3 · Linear.CovectorNum r => Alt (Covector r)Defined in linear-1.23.3 · Linear.CovectorApply (Covector r)Defined in linear-1.23.3 · Linear.CovectorBind (Covector r)Defined in linear-1.23.3 · Linear.CovectorNum r => Plus (Covector r)Defined in linear-1.23.3 · Linear.CovectorCoalgebra r m => Num (Covector r m)Defined in linear-1.23.3 · Linear.Covector