MonadTrans CleanupT Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
MonadBase m m => MonadBase m (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
(Monad m, MonadRescue m) => MonadRescueFrom m (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Monad m => Monad (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Functor m => Functor (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
MonadFix m => MonadFix (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Applicative f => Applicative (CleanupT f) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Foldable t => Foldable (CleanupT t) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Traversable t => Traversable (CleanupT t) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Alternative f => Alternative (CleanupT f) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
MonadPlus m => MonadPlus (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Contravariant f => Contravariant (CleanupT f) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
MonadIO m => MonadIO (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
MonadThrow m => MonadThrow (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
MonadCatch m => MonadCatch (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
MonadMask m => MonadMask (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
(Contains (Errors m) (Errors m), MonadRaise m, MonadThrow m) => MonadRaise (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
(Contains (Errors m) (Errors m), Contains (Errors m) (SomeException ': Errors m), MonadBase m m, MonadRescue m, MonadMask m) => MonadCleanup (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
(MonadRescueFrom n m, MonadBase n m, MonadRescue n, MonadCatch n, Contains (Errors n) (Errors n), Contains (Errors n) (SomeException ': Errors n)) => MonadRescueFrom (CleanupT n) m Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Eq (m a) => Eq (CleanupT m a) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
Show (m a) => Show (CleanupT m a) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |
type Errors (CleanupT m) Source # | |
Instance detailsDefined in Control.Monad.Trans.Cleanup.Types |