Control.Proxy.Trans

You can define your own proxy extensions by writing your own "proxy transformers". Proxy transformers are monad transformers that also correctly lift all proxy operations from the base proxy type to the extended proxy type. Stack multiple proxy transformers to chain features together.

Proxy Transformers

class ProxyTrans t where

Uniform interface to lifting proxies

Methods

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

Instances

ProxyTrans IdentityP

ProxyTrans CodensityP

ProxyTrans MaybeP

ProxyTrans (EitherP e)

ProxyTrans (ReaderP i)

ProxyTrans (StateP s)

ProxyTrans (WriterP w)

Deprecated

To be removed in version 4.0.0

mapP :: (Monad m, Proxy p, ProxyTrans t) => (q -> p a' a b' b m r) -> q -> t p a' a b' b m r

Deprecated: Use '(liftP .)' instead