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)

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 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

Reader operations

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

Get the environment

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

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 r

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 r

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