Control.Monad.Replace

data Slot :: (Type -> Type) -> Typedata Slot m

Constructors

• Slot (forall a. m a -> Effect a) (Effect Unit) (Effect (Slot m))

replaceSlot :: forall m a. Slot m -> m a -> Effect a

destroySlot :: forall m. Slot m -> Effect Unit

appendSlot :: forall m. Slot m -> Effect (Slot m)

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

Members

• newSlot :: m (Slot m)

Instances

• (MonadReplace m) => MonadReplace (ReaderT r m)