dunai-0.1.0.0: Generalised reactive framework supporting classic, arrowized and monadic FRP.

Safe HaskellSafe
LanguageHaskell2010

Data.MonadicStreamFunction.Instances.VectorSpace

Contents

Documentation

Orphan instances

(Monad m, VectorSpace v) => VectorSpace (MStreamF m a v) Source # 

Methods

(^/) :: MStreamF m a v -> Groundfield (MStreamF m a v) -> MStreamF m a v Source #

(Monad m, RModule v) => RModule (MStreamF m a v) Source # 

Associated Types

type Groundring (MStreamF m a v) :: * Source #

Methods

zeroVector :: MStreamF m a v Source #

(*^) :: Groundring (MStreamF m a v) -> MStreamF m a v -> MStreamF m a v Source #

(^*) :: MStreamF m a v -> Groundring (MStreamF m a v) -> MStreamF m a v Source #

negateVector :: MStreamF m a v -> MStreamF m a v Source #

(^+^) :: MStreamF m a v -> MStreamF m a v -> MStreamF m a v Source #

(^-^) :: MStreamF m a v -> MStreamF m a v -> MStreamF m a v Source #