Copyright	(c) Ivan Perez and Manuel Baerenz 2016
License	BSD3
Maintainer	ivan.perez@keera.co.uk
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 class 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 #