Data.MonadicStreamFunction.Instances.VectorSpace

VectorSpace instances for MSFs that produce vector spaces. This allows you to use vector operators with MSFs that output vectors, for example, you can write:

msf1 :: MSF Input (Double, Double) -- defined however you want
msf2 :: MSF Input (Double, Double) -- defined however you want
msf3 :: MSF Input (Double, Double)
msf3 = msf1 ^+^ msf2

instead of

msf3 = (msf1 &&& msf2) >>> arr (uncurry (^+^))

Instances are provided for the type classes RModule and VectorSpace.

Documentation

Orphan instances

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

Vector-space instance for MSFs.

Methods

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

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

R-module instance for MSFs.

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