Control.Proxy.Trans.Reader

This module provides the proxy transformer equivalent of ReaderT.

ReaderP

newtype ReaderP i p a' a b' b m r

The Reader proxy transformer

Constructors

ReaderP

Fields

• unReaderP :: i -> p a' a b' b m r

Instances

ProxyTrans (ReaderP i)

Methods

liftP :: (Monad m, Proxy p) => p a' a b' b m r -> ReaderP i p a' a b' b m r

PFunctor (ReaderP i)

Methods

hoistP :: (Monad m, Proxy p) => (forall a' a b' b r1. p a' a b' b m r1 -> q a' a b' b m r1) -> ReaderP i p a' a b' b m r2 -> ReaderP i q a' a b' b m r2

MonadIOP p => MonadIOP (ReaderP i p)

Methods

liftIO_P :: MonadIO m => IO r -> ReaderP i p a' a b' b m r

MonadPlusP p => MonadPlusP (ReaderP i p)

Methods

mzero_P :: Monad m => ReaderP i p a' a b' b m r

mplus_P :: Monad m => ReaderP i p a' a b' b m r -> ReaderP i p a' a b' b m r -> ReaderP i p a' a b' b m r

Interact p => Interact (ReaderP i p)

Methods

(\>\) :: Monad m => (b' -> ReaderP i p a' a x' x m b) -> (c' -> ReaderP i p b' b x' x m c) -> c' -> ReaderP i p a' a x' x m c

(/>/) :: Monad m => (a -> ReaderP i p x' x b' b m a') -> (b -> ReaderP i p x' x c' c m b') -> a -> ReaderP i p x' x c' c m a'

Proxy p => Proxy (ReaderP i p)

Methods

request :: Monad m => a' -> ReaderP i p a' a b' b m a

respond :: Monad m => b -> ReaderP i p a' a b' b m b'

(>->) :: Monad m => (b' -> ReaderP i p a' a b' b m r) -> (c' -> ReaderP i p b' b c' c m r) -> c' -> ReaderP i p a' a c' c m r

(>~>) :: Monad m => (a -> ReaderP i p a' a b' b m r) -> (b -> ReaderP i p b' b c' c m r) -> a -> ReaderP i p a' a c' c m r

return_P :: Monad m => r -> ReaderP i p a' a b' b m r

(?>=) :: Monad m => ReaderP i p a' a b' b m r -> (r -> ReaderP i p a' a b' b m r') -> ReaderP i p a' a b' b m r'

lift_P :: Monad m => m r -> ReaderP i p a' a b' b m r

hoist_P :: Monad m => (forall r. m r -> n r) -> ReaderP i p a' a b' b m r' -> ReaderP i p a' a b' b n r'

Proxy p => MonadTrans (ReaderP i p a' a b' b)

Methods

lift :: Monad m => m a -> ReaderP i p a' a b' b m a

Proxy p => MFunctor (ReaderP i p a' a b' b)

Methods

hoist :: Monad m => (forall c. m c -> n c) -> ReaderP i p a' a b' b m b -> ReaderP i p a' a b' b n b

(Proxy p, Monad m) => Monad (ReaderP i p a' a b' b m)

Methods

(>>=) :: ReaderP i p a' a b' b m a -> (a -> ReaderP i p a' a b' b m b) -> ReaderP i p a' a b' b m b

(>>) :: ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m b -> ReaderP i p a' a b' b m b

return :: a -> ReaderP i p a' a b' b m a

fail :: String -> ReaderP i p a' a b' b m a

(Proxy p, Monad m) => Functor (ReaderP i p a' a b' b m)

Methods

fmap :: (a -> b) -> ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m b

(<$) :: a -> ReaderP i p a' a b' b m b -> ReaderP i p a' a b' b m a

(Proxy p, Monad m) => Applicative (ReaderP i p a' a b' b m)

Methods

pure :: a -> ReaderP i p a' a b' b m a

(<*>) :: ReaderP i p a' a b' b m (a -> b) -> ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m b

(*>) :: ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m b -> ReaderP i p a' a b' b m b

(<*) :: ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m b -> ReaderP i p a' a b' b m a

(MonadIOP p, MonadIO m) => MonadIO (ReaderP i p a' a b' b m)

Methods

liftIO :: IO a -> ReaderP i p a' a b' b m a

(MonadPlusP p, Monad m) => Alternative (ReaderP i p a' a b' b m)

Methods

empty :: ReaderP i p a' a b' b m a

(<|>) :: ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m a

some :: ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m [a]

many :: ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m [a]

(MonadPlusP p, Monad m) => MonadPlus (ReaderP i p a' a b' b m)

Methods

mzero :: ReaderP i p a' a b' b m a

mplus :: ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m a -> ReaderP i p a' a b' b m a

runReaderP :: i -> ReaderP i p a' a b' b m r -> p a' a b' b m r

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

Run a ReaderP 'K'leisli arrow, supplying the environment

withReaderP :: (j -> i) -> ReaderP i p a' a b' b m r -> ReaderP j p a' a b' b m r

Modify a computation's environment (a more general version of local)

Reader operations

ask :: (Proxy p, Monad m) => ReaderP i p a' a b' b m i

Get the environment

local :: (i -> i) -> ReaderP i p a' a b' b m r -> ReaderP i p a' a b' b m r

Modify a computation's environment (a specialization of withReaderP)

asks :: (Proxy p, Monad m) => (i -> r) -> ReaderP i p a' a b' b m r

Get a function of the environment