Control.Proxy.Trans.Identity

This module provides the proxy transformer equivalent of IdentityT.

Identity Proxy Transformer

newtype IdentityP p a' a b' b m r

The Identity proxy transformer

Constructors

IdentityP

Fields

• runIdentityP :: p a' a b' b m r

Instances

ProxyTrans IdentityP

Methods

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

PFunctor IdentityP

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) -> IdentityP p a' a b' b m r2 -> IdentityP q a' a b' b m r2

MonadIOP p => MonadIOP (IdentityP p)

Methods

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

MonadPlusP p => MonadPlusP (IdentityP p)

Methods

mzero_P :: Monad m => IdentityP p a' a b' b m r

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

Interact p => Interact (IdentityP p)

Methods

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

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

Proxy p => Proxy (IdentityP p)

Methods

request :: Monad m => a' -> IdentityP p a' a b' b m a

respond :: Monad m => b -> IdentityP p a' a b' b m b'

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

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

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

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

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

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

Proxy p => MonadTrans (IdentityP p a' a b' b)

Methods

lift :: Monad m => m a -> IdentityP p a' a b' b m a

Proxy p => MFunctor (IdentityP p a' a b' b)

Methods

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

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

Methods

(>>=) :: IdentityP p a' a b' b m a -> (a -> IdentityP p a' a b' b m b) -> IdentityP p a' a b' b m b

(>>) :: IdentityP p a' a b' b m a -> IdentityP p a' a b' b m b -> IdentityP p a' a b' b m b

return :: a -> IdentityP p a' a b' b m a

fail :: String -> IdentityP p a' a b' b m a

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

Methods

fmap :: (a -> b) -> IdentityP p a' a b' b m a -> IdentityP p a' a b' b m b

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

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

Methods

pure :: a -> IdentityP p a' a b' b m a

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

(*>) :: IdentityP p a' a b' b m a -> IdentityP p a' a b' b m b -> IdentityP p a' a b' b m b

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

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

Methods

liftIO :: IO a -> IdentityP p a' a b' b m a

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

Methods

empty :: IdentityP p a' a b' b m a

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

some :: IdentityP p a' a b' b m a -> IdentityP p a' a b' b m [a]

many :: IdentityP p a' a b' b m a -> IdentityP p a' a b' b m [a]

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

Methods

mzero :: IdentityP p a' a b' b m a

mplus :: IdentityP p a' a b' b m a -> IdentityP p a' a b' b m a -> IdentityP p a' a b' b m a

identityK :: (q -> p a' a b' b m r) -> q -> IdentityP p a' a b' b m r

Wrap a 'K'leisli arrow in IdentityP

runIdentityK :: (q -> IdentityP p a' a b' b m r) -> q -> p a' a b' b m r

Run an P 'K'leisli arrow