Safe Haskell	None
Language	GHC2021

Control.Monad.Ology.General.Trans.Tunnel

Synopsis

class (MonadTransHoist t, MonadInner (Tunnel t)) => MonadTransTunnel (t :: TransKind) where
- type Tunnel (t :: TransKind) :: Type -> Type
- tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => t m1 a -> m1 (Tunnel t a)) -> m (Tunnel t r)) -> t m r
tunnelHoist :: forall (t :: TransKind) (m1 :: Type -> Type) (m2 :: Type -> Type). (MonadTransTunnel t, Monad m1, Monad m2) => (m1 --> m2) -> t m1 --> t m2
hoistWith :: forall t m1 m2 f r. (MonadTransTunnel t, Traversable f, Monad m1, Monad m2) => (forall a. m1 a -> m2 (f a)) -> t m1 r -> t m2 (f r)
backHoist :: forall (t :: TransKind) (ma :: Type -> Type) (mb :: Type -> Type). (MonadTransTunnel t, Monad ma, Monad mb) => (ma -/-> mb) -> t ma -/-> t mb
wBackHoist :: forall (t :: TransKind) (ma :: Type -> Type) (mb :: Type -> Type). (MonadTransTunnel t, Monad ma, Monad mb) => WBackraised ma mb -> WBackraised (t ma) (t mb)
commuteTWith :: forall (ta :: TransKind) (tb :: TransKind) (m :: Type -> Type). (MonadTransTunnel ta, MonadTransTunnel tb, Monad m) => (forall r. Tunnel tb (Tunnel ta r) -> Tunnel ta (Tunnel tb r)) -> ta (tb m) --> tb (ta m)
commuteT :: forall (ta :: TransKind) (tb :: TransKind) (m :: Type -> Type). (MonadTransTunnel ta, MonadTransTunnel tb, Monad m) => ta (tb m) --> tb (ta m)
commuteTBack :: forall (ta :: TransKind) (tb :: TransKind) (m :: Type -> Type). (MonadTransTunnel ta, MonadTransTunnel tb, Monad m) => ta (tb m) -/-> tb (ta m)
class (MonadHoistIO m, MonadInner (TunnelIO m)) => MonadTunnelIO (m :: Type -> Type) where
- type TunnelIO (m :: Type -> Type) :: Type -> Type
- tunnelIO :: ((forall a. m a -> IO (TunnelIO m a)) -> IO (TunnelIO m r)) -> m r
hoistWithIO :: (MonadTunnelIO m, Traversable f) => (forall a. IO a -> IO (f a)) -> m r -> m (f r)

Documentation

class (MonadTransHoist t, MonadInner (Tunnel t)) => MonadTransTunnel (t :: TransKind) where Source #

Monad transformers that allow "tunneling" (working with the monad under the transformer).

Associated Types

type Tunnel (t :: TransKind) :: Type -> Type Source #

The tunnel monad of this transformer.

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => t m1 a -> m1 (Tunnel t a)) -> m (Tunnel t r)) -> t m r Source #

Instances

Instances details

MonadTransTunnel LifecycleT Source #

Instance details

Defined in Control.Monad.Ology.Specific.LifecycleT

Associated Types

type Tunnel LifecycleT
Instance details Defined in Control.Monad.Ology.Specific.LifecycleT type Tunnel LifecycleT = Identity

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => LifecycleT m1 a -> m1 (Tunnel LifecycleT a)) -> m (Tunnel LifecycleT r)) -> LifecycleT m r Source #

MonadTransTunnel MaybeT Source #

Instance details

Defined in Control.Monad.Ology.Specific.MaybeT

Associated Types

type Tunnel MaybeT
Instance details Defined in Control.Monad.Ology.Specific.MaybeT type Tunnel MaybeT = Maybe

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => MaybeT m1 a -> m1 (Tunnel MaybeT a)) -> m (Tunnel MaybeT r)) -> MaybeT m r Source #

MonadInner inner => MonadTransTunnel (ComposeInner inner) Source #

Instance details

Defined in Control.Monad.Ology.General.Trans.Tunnel

Associated Types

type Tunnel (ComposeInner inner)
Instance details Defined in Control.Monad.Ology.General.Trans.Tunnel type Tunnel (ComposeInner inner) = inner

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => ComposeInner inner m1 a -> m1 (Tunnel (ComposeInner inner) a)) -> m (Tunnel (ComposeInner inner) r)) -> ComposeInner inner m r Source #

MonadOuter outer => MonadTransTunnel (ComposeOuter outer) Source #

Instance details

Defined in Control.Monad.Ology.Specific.ComposeOuter

Associated Types

type Tunnel (ComposeOuter outer)
Instance details Defined in Control.Monad.Ology.Specific.ComposeOuter type Tunnel (ComposeOuter outer) = Identity

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => ComposeOuter outer m1 a -> m1 (Tunnel (ComposeOuter outer) a)) -> m (Tunnel (ComposeOuter outer) r)) -> ComposeOuter outer m r Source #

MonadTransStackTunnel tt => MonadTransTunnel (StackT tt) Source #

Instance details

Defined in Control.Monad.Ology.Specific.StackT

Associated Types

type Tunnel (StackT tt)
Instance details Defined in Control.Monad.Ology.Specific.StackT type Tunnel (StackT tt)

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => StackT tt m1 a -> m1 (Tunnel (StackT tt) a)) -> m (Tunnel (StackT tt) r)) -> StackT tt m r Source #

MonadTransTunnel (ExceptT e) Source #

Instance details

Defined in Control.Monad.Ology.Specific.ExceptT

Associated Types

type Tunnel (ExceptT e)
Instance details Defined in Control.Monad.Ology.Specific.ExceptT type Tunnel (ExceptT e) = Either e

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => ExceptT e m1 a -> m1 (Tunnel (ExceptT e) a)) -> m (Tunnel (ExceptT e) r)) -> ExceptT e m r Source #

MonadTransTunnel (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Associated Types

type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type)
Instance details Defined in Control.Monad.Ology.Specific.IdentityT type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) = Identity

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => IdentityT m1 a -> m1 (Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) a)) -> m (Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) r)) -> IdentityT m r Source #

MonadTransTunnel (ReaderT r) Source #

Instance details

Defined in Control.Monad.Ology.Specific.ReaderT

Associated Types

type Tunnel (ReaderT r)
Instance details Defined in Control.Monad.Ology.Specific.ReaderT type Tunnel (ReaderT r) = Identity

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => ReaderT r m1 a -> m1 (Tunnel (ReaderT r) a)) -> m (Tunnel (ReaderT r) r0)) -> ReaderT r m r0 Source #

MonadTransTunnel (StateT s) Source #

Instance details

Defined in Control.Monad.Ology.Specific.StateT

Associated Types

type Tunnel (StateT s)
Instance details Defined in Control.Monad.Ology.Specific.StateT type Tunnel (StateT s) = (,) (Endo s)

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => StateT s m1 a -> m1 (Tunnel (StateT s) a)) -> m (Tunnel (StateT s) r)) -> StateT s m r Source #

Monoid w => MonadTransTunnel (WriterT w) Source #

Instance details

Defined in Control.Monad.Ology.Specific.WriterT

Associated Types

type Tunnel (WriterT w)
Instance details Defined in Control.Monad.Ology.Specific.WriterT type Tunnel (WriterT w) = (,) w

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => WriterT w m1 a -> m1 (Tunnel (WriterT w) a)) -> m (Tunnel (WriterT w) r)) -> WriterT w m r Source #

(MonadTransTunnel outerT, MonadTransTunnel innerT) => MonadTransTunnel (ComposeT outerT innerT) Source #

Instance details

Defined in Control.Monad.Ology.Specific.ComposeT

Associated Types

type Tunnel (ComposeT outerT innerT)
Instance details Defined in Control.Monad.Ology.Specific.ComposeT type Tunnel (ComposeT outerT innerT) = ComposeInner (Tunnel outerT) (Tunnel innerT)

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => ComposeT outerT innerT m1 a -> m1 (Tunnel (ComposeT outerT innerT) a)) -> m (Tunnel (ComposeT outerT innerT) r)) -> ComposeT outerT innerT m r Source #

tunnelHoist :: forall (t :: TransKind) (m1 :: Type -> Type) (m2 :: Type -> Type). (MonadTransTunnel t, Monad m1, Monad m2) => (m1 --> m2) -> t m1 --> t m2 Source #

hoistWith :: forall t m1 m2 f r. (MonadTransTunnel t, Traversable f, Monad m1, Monad m2) => (forall a. m1 a -> m2 (f a)) -> t m1 r -> t m2 (f r) Source #

backHoist :: forall (t :: TransKind) (ma :: Type -> Type) (mb :: Type -> Type). (MonadTransTunnel t, Monad ma, Monad mb) => (ma -/-> mb) -> t ma -/-> t mb Source #

wBackHoist :: forall (t :: TransKind) (ma :: Type -> Type) (mb :: Type -> Type). (MonadTransTunnel t, Monad ma, Monad mb) => WBackraised ma mb -> WBackraised (t ma) (t mb) Source #

commuteTWith :: forall (ta :: TransKind) (tb :: TransKind) (m :: Type -> Type). (MonadTransTunnel ta, MonadTransTunnel tb, Monad m) => (forall r. Tunnel tb (Tunnel ta r) -> Tunnel ta (Tunnel tb r)) -> ta (tb m) --> tb (ta m) Source #

Commute two transformers in a transformer stack, by commuting their tunnel monads.

commuteT :: forall (ta :: TransKind) (tb :: TransKind) (m :: Type -> Type). (MonadTransTunnel ta, MonadTransTunnel tb, Monad m) => ta (tb m) --> tb (ta m) Source #

Commute two transformers in a transformer stack.

commuteTBack :: forall (ta :: TransKind) (tb :: TransKind) (m :: Type -> Type). (MonadTransTunnel ta, MonadTransTunnel tb, Monad m) => ta (tb m) -/-> tb (ta m) Source #

class (MonadHoistIO m, MonadInner (TunnelIO m)) => MonadTunnelIO (m :: Type -> Type) where Source #

Associated Types

type TunnelIO (m :: Type -> Type) :: Type -> Type Source #

Methods

tunnelIO :: ((forall a. m a -> IO (TunnelIO m a)) -> IO (TunnelIO m r)) -> m r Source #

Instances

Instances details

MonadTunnelIO IO Source #

Instance details

Defined in Control.Monad.Ology.General.Trans.Tunnel

Associated Types

type TunnelIO IO
Instance details Defined in Control.Monad.Ology.General.Trans.Tunnel type TunnelIO IO = Identity

Methods

tunnelIO :: ((forall a. IO a -> IO (TunnelIO IO a)) -> IO (TunnelIO IO r)) -> IO r Source #

(MonadTransTunnel t, MonadTunnelIO m, MonadIO (t m)) => MonadTunnelIO (t m) Source #

Instance details

Defined in Control.Monad.Ology.General.Trans.Tunnel

Associated Types

type TunnelIO (t m)
Instance details Defined in Control.Monad.Ology.General.Trans.Tunnel type TunnelIO (t m) = ComposeInner (Tunnel t) (TunnelIO m)

Methods

tunnelIO :: ((forall a. t m a -> IO (TunnelIO (t m) a)) -> IO (TunnelIO (t m) r)) -> t m r Source #

hoistWithIO :: (MonadTunnelIO m, Traversable f) => (forall a. IO a -> IO (f a)) -> m r -> m (f r) Source #