Safe Haskell | Safe-Inferred |
---|
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
- ask :: (Monad m, Proxy p) => ReaderP i p a' a b' b m i
- asks :: (Monad m, Proxy p) => (i -> r) -> ReaderP i p a' a b' b m r
- local :: (i -> i) -> ReaderP i p a' a b' b m r -> ReaderP i p a' a b' b m r
- withReaderP :: (j -> i) -> ReaderP i p a' a b' b m r -> ReaderP j 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) | |
PMonad (ReaderP i) | |
PFunctor (ReaderP i) | |
MonadPlusP p => MonadPlusP (ReaderP i p) | |
Proxy p => ProxyInternal (ReaderP i p) | |
Proxy p => Proxy (ReaderP i p) | |
Proxy p => MFunctor (ReaderP i p a' a b' b) | |
Proxy p => MonadTrans (ReaderP i p a' a b' b) | |
(Monad m, Proxy p) => Monad (ReaderP i p a' a b' b m) | |
(Monad m, Proxy p) => Functor (ReaderP i p a' a b' b m) | |
(Monad m, MonadPlusP p) => MonadPlus (ReaderP i p a' a b' b m) | |
(Monad m, Proxy p) => Applicative (ReaderP i p a' a b' b m) | |
(Monad m, MonadPlusP p) => Alternative (ReaderP i p a' a b' b m) | |
(MonadIO m, Proxy p) => MonadIO (ReaderP i p a' a b' b m) |
runReaderP :: i -> ReaderP i p a' a b' b m r -> p a' a b' b m rSource
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 rSource
Run a ReaderP
'K
'leisli arrow, supplying the environment
Reader operations
asks :: (Monad m, Proxy p) => (i -> r) -> ReaderP i p a' a b' b m rSource
Get a function of the environment
local :: (i -> i) -> ReaderP i p a' a b' b m r -> ReaderP i p a' a b' b m rSource
Modify a computation's environment (a specialization of withReaderP
)
withReaderP :: (j -> i) -> ReaderP i p a' a b' b m r -> ReaderP j p a' a b' b m rSource
Modify a computation's environment (a more general version of local
)