Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type ReaderStateT f m = StateT (WRaised f m) m Source #
evalReaderStateT :: Monad m => ReaderStateT f m a -> (f --> m) -> m a Source #
readerStateLift :: (Monad f, Monad m) => f --> ReaderStateT f m Source #
readerStateUpdate :: Monad m => (f --> f) -> ReaderStateT f m () Source #
readerStateParamRef :: forall f m. Monad m => Param f --> Ref (ReaderStateT f m) Source #