Safe Haskell | Safe |
---|---|
Language | Haskell98 |
This module provides the proxy transformer equivalent of ReaderT
.
- newtype ReaderP i p a' a b' b m r = ReaderP {
- unReaderP :: i -> p a' a b' b m r
- runReaderP :: i -> ReaderP i p a' a b' b m r -> p a' a b' b m r
- runReaderK :: i -> (q -> ReaderP i p a' a b' b m r) -> q -> p a' a b' b m r
- withReaderP :: Monad (p a' a b' b m) => (j -> i) -> ReaderP i p a' a b' b m r -> ReaderP j p a' a b' b m r
- ask :: Monad (p a' a b' b m) => ReaderP i p a' a b' b m i
- local :: Monad (p a' a b' b m) => (i -> i) -> ReaderP i p a' a b' b m r -> ReaderP i p a' a b' b m r
- asks :: Monad (p a' a b' b m) => (i -> r) -> ReaderP i p a' a b' b m r
ReaderP
newtype ReaderP i p a' a b' b m r Source #
The Reader
proxy transformer
ProxyTrans (ReaderP i) Source # | |
Interact p => Interact (ReaderP i p) Source # | |
Channel p => Channel (ReaderP i p) Source # | |
MonadTrans (p a' a b' b) => MonadTrans (ReaderP i p a' a b' b) Source # | |
MFunctor (p a' a b' b) => MFunctor (ReaderP i p a' a b' b) Source # | |
Monad (p a' a b' b m) => Monad (ReaderP i p a' a b' b m) Source # | |
Monad (p a' a b' b m) => Functor (ReaderP i p a' a b' b m) Source # | |
Monad (p a' a b' b m) => Applicative (ReaderP i p a' a b' b m) Source # | |
MonadIO (p a' a b' b m) => MonadIO (ReaderP i p a' a b' b m) Source # | |
MonadPlus (p a' a b' b m) => Alternative (ReaderP i p a' a b' b m) Source # | |
MonadPlus (p a' a b' b m) => MonadPlus (ReaderP i p a' a b' b m) Source # | |
runReaderP :: i -> ReaderP i p a' a b' b m r -> p a' a b' b m r Source #
Run a ReaderP
computation, supplying the environment
runReaderK :: i -> (q -> ReaderP i p a' a b' b m r) -> q -> p a' a b' b m r Source #
Run a ReaderP
'K
'leisli arrow, supplying the environment
withReaderP :: Monad (p a' a b' b m) => (j -> i) -> ReaderP i p a' a b' b m r -> ReaderP j p a' a b' b m r Source #
Modify a computation's environment (a more general version of local
)