Documentation

type ReaderStateT (f :: Type -> Type) (m :: Type -> Type) = StateT (WRaised f m) m Source #

evalReaderStateT :: forall m (f :: Type -> Type) a. Monad m => ReaderStateT f m a -> (f --> m) -> m a Source #

readerStateLift :: forall (f :: Type -> Type) (m :: Type -> Type). (Monad f, Monad m) => f --> ReaderStateT f m Source #

readerStateUpdate :: forall (m :: Type -> Type) (f :: Type -> Type). Monad m => (f --> f) -> ReaderStateT f m () Source #

readerStateParamRef :: forall (f :: Type -> Type) (m :: Type -> Type). Monad m => Param f --> Ref (ReaderStateT f m) Source #