Data.MonadicStreamFunction.Instances.VectorSpace

Documentation

Orphan instances

(Monad m, VectorSpace v) => VectorSpace (MSF m a v)

Methods

(^/) :: MSF m a v -> Groundfield (MSF m a v) -> MSF m a v

(Monad m, RModule v) => RModule (MSF m a v)

Associated Types

type Groundring (MSF m a v) :: *

Methods

zeroVector :: MSF m a v

(*^) :: Groundring (MSF m a v) -> MSF m a v -> MSF m a v

(^*) :: MSF m a v -> Groundring (MSF m a v) -> MSF m a v

negateVector :: MSF m a v -> MSF m a v

(^+^) :: MSF m a v -> MSF m a v -> MSF m a v

(^-^) :: MSF m a v -> MSF m a v -> MSF m a v