Control.Monad.Trans.Control.Identity

MonadTransControlIdentity

class MonadTransControl t => MonadTransControlIdentity t where

The MonadTransControlIdentity type class is a stronger version of MonadTransControl:

MonadTransControl instances are aware of the monadic state of the transformer and allow to save and restore this state. MonadTransControlIdentity instances on the other hand exist only for exactly those transformers, that don't have any monadic state.

So for any instance of this class this should hold:

forall a. StT t a ~ a

This can't be given as a constraint to the class due to limitations regarding the TypeFamilies extension.

Methods

liftWithIdentity :: Monad m => ((forall x. t m x -> m x) -> m a) -> t m a

Instances

MonadTransControlIdentity (ReaderT r)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftWithIdentity :: Monad m => ((forall x. ReaderT r m x -> m x) -> m a) -> ReaderT r m a

MonadTransControlIdentity (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftWithIdentity :: Monad m => ((forall x. IdentityT m x -> m x) -> m a) -> IdentityT m a

MonadTransControlIdentity instances can easily be created for monad transformers, because of the superclass MonadTransControl:

newtype ExampleT = ...
  deriving (Monad, MonadTrans)

instance MonadTransControl ExampleT where
  ...

instance MonadTransControlIdentity ExampleT where
  liftWithIdentity = defaultLiftWithIdentity

defaultLiftWithIdentity :: (Monad m, MonadTransControl t) => ((forall x. StT t x ~ x => t m x -> m x) -> m a) -> t m a

MonadBaseControlIdentity

Regarding the IO base monad this can be seen as an alternative, but equivalent, way to implement MonadUnliftIO.

class MonadBaseControl b m => MonadBaseControlIdentity b m | m -> b where

The MonadBaseControlIdentity type class is a stronger version of MonadBaseControl.

Just like MonadTransControlIdentity instances of MonadBaseControlIdentity hold no monadic state:

forall a. StM m a ~ a

Methods

liftBaseWithIdentity :: ((forall x. m x -> b x) -> b a) -> m a

Instances

MonadBaseControlIdentity [] []

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. [x] -> [x]) -> [a]) -> [a]

MonadBaseControlIdentity Maybe Maybe

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. Maybe x -> Maybe x) -> Maybe a) -> Maybe a

MonadBaseControlIdentity IO IO

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. IO x -> IO x) -> IO a) -> IO a

MonadBaseControlIdentity Identity Identity

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. Identity x -> Identity x) -> Identity a) -> Identity a

MonadBaseControlIdentity STM STM

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. STM x -> STM x) -> STM a) -> STM a

MonadBaseControlIdentity b m => MonadBaseControlIdentity b (ReaderT r m)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. ReaderT r m x -> b x) -> b a) -> ReaderT r m a

MonadBaseControlIdentity b m => MonadBaseControlIdentity b (IdentityT m)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. IdentityT m x -> b x) -> b a) -> IdentityT m a

MonadBaseControlIdentity (Either e) (Either e)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. Either e x -> Either e x) -> Either e a) -> Either e a

MonadBaseControlIdentity (ST s) (ST s)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. ST s x -> ST s x) -> ST s a) -> ST s a

MonadBaseControlIdentity (ST s) (ST s)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. ST s x -> ST s x) -> ST s a) -> ST s a

MonadBaseControlIdentity ((->) r :: Type -> Type) ((->) r :: Type -> Type)

Defined in Control.Monad.Trans.Control.Identity

Methods

liftBaseWithIdentity :: ((forall x. (r -> x) -> r -> x) -> r -> a) -> r -> a

Just like MonadTransControlIdentity, MonadBaseControlIdentity instances can easily be created for monad transformers:

instance MonadBaseControlIdentity b m => MonadBaseControlIdentity b (ExampleT m) where
  liftBaseWithIdentity = defaultLiftBaseWithIdentity

defaultLiftBaseWithIdentity :: (MonadBaseControlIdentity b m, MonadTransControlIdentity t) => ((forall x. t m x -> b x) -> b a) -> t m a