Control.Monad.Cleanup

class MonadCleanup :: (Type -> Type) -> Constraintclass (Monad m) <= MonadCleanup m  where

Members

• onCleanup :: Effect Unit -> m Unit

  Add a cleanup action.

Instances

• (MonadEffect m) => MonadCleanup (CleanupT m)
• (MonadCleanup m) => MonadCleanup (ReaderT r m)

newtype CleanupT :: forall k. (k -> Type) -> k -> Typenewtype CleanupT m a

Constructors

• CleanupT (ReaderT DelayedEffects m a)

Instances

• (Functor m) => Functor (CleanupT m)
• (Apply m) => Apply (CleanupT m)
• (Applicative m) => Applicative (CleanupT m)
• (Bind m) => Bind (CleanupT m)
• (Monad m) => Monad (CleanupT m)
• (MonadEffect m) => MonadEffect (CleanupT m)
• MonadTrans CleanupT
• (MonadEffect m) => MonadCleanup (CleanupT m)

runCleanupT :: forall m a. MonadEffect m => CleanupT m a -> m (Tuple a (Effect Unit))

execCleanupT :: forall m. MonadEffect m => CleanupT m Unit -> m (Effect Unit)