Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.MonadicStreamFunction.Instances.VectorSpace

Contents

Orphan instances

Description

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.

Orphan instances

(Monad m, VectorSpace v s) => VectorSpace (MSF m a v) s Source #	Vector-space instance for `MSF`s.
Instance details Methods zeroVector :: MSF m a v # (*^) :: s -> MSF m a v -> MSF m a v # (^/) :: MSF m a v -> s -> 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 # negateVector :: MSF m a v -> MSF m a v # dot :: MSF m a v -> MSF m a v -> s # norm :: MSF m a v -> s # normalize :: MSF m a v -> MSF m a v #