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

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Trans.MSF.Reader

Contents

Synopsis

Reader monad

readerS :: Monad m => MSF m (s, a) b -> MSF (ReaderT s m) a b Source #

runReaderS :: Monad m => MSF (ReaderT s m) a b -> MSF m (s, a) b Source #

Alternative wrapping/unwrapping MSF combinators using generic lifting

runReaderS' :: Monad m => MSF (ReaderT s m) a b -> MSF m (s, a) b Source #

type ReaderWrapper s m = Wrapper (ReaderT s m) m ((,) s) Id Source #

type ReaderUnwrapper s m = Unwrapper (ReaderT s m) m ((,) s) Id Source #

wrapReaderT :: ((s, a) -> m b) -> a -> ReaderT s m b Source #

unwrapReaderT :: (a -> ReaderT s m b) -> (s, a) -> m b Source #

readerS' :: Monad m => MSF m (s, a) b -> MSF (ReaderT s m) a b Source #

runReaderS'' :: Monad m => MSF (ReaderT s m) a b -> MSF m (s, a) b Source #

Auxiliary functions related to ReaderT

runReaderS_ :: Monad m => MSF (ReaderT s m) a b -> s -> MSF m a b Source #