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

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Trans.MSF.State

Contents

Synopsis

Running and wrapping

stateS :: Monad m => MSF m (s, a) (s, b) -> MSF (StateT s m) a b Source #

runStateS :: Monad m => MSF (StateT s m) a b -> MSF m (s, a) (s, b) Source #

Auxiliary functions

runStateS_ :: Monad m => MSF (StateT s m) a b -> s -> MSF m a (s, b) Source #

runStateS__ :: Monad m => MSF (StateT s m) a b -> s -> MSF m a b Source #

runStateS''' :: (Functor m, Monad m) => MSF (StateT s m) a b -> MSF m (s, a) (s, b) Source #

Alternative running/wrapping MSF combinators using generic lifting

stateS' :: (Functor m, Monad m) => MSF m (s, a) (s, b) -> MSF (StateT s m) a b Source #

runStateS' :: (Functor m, Monad m) => MSF (StateT s m) a b -> MSF m (s, a) (s, b) Source #

runStateS'' :: (Functor m, Monad m) => MSF (StateT s m) a b -> MSF m (s, a) (s, b) Source #