Linear.Covector

Documentation

newtype Covector r a

Linear functionals from elements of an (infinite) free module to a scalar

Constructors

Covector

Fields

runCovector :: (a -> r) -> r

Instances

Monad (Covector r)

Functor (Covector r)

Num r => MonadPlus (Covector r)

Applicative (Covector r)

Num r => Alternative (Covector r)

Num r => Plus (Covector r)

Num r => Alt (Covector r)

Apply (Covector r)

Bind (Covector r)

Coalgebra r m => Num (Covector r m)

($*) :: Representable f => Covector r (Rep f) -> f r -> r