dunai-0.1.0.0: Generalised reactive framework supporting classic, arrowized and monadic FRP.
Data.MonadicStreamFunction.Instances.VectorSpace
Contents
Methods
(^/) :: MStreamF m a v -> Groundfield (MStreamF m a v) -> MStreamF m a v Source #
Associated Types
type Groundring (MStreamF m a v) :: * Source #
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 #