From 1d34f15ca5cf715a64a825042dc3a7da73c58ff8 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 10:48:12 -0500 Subject: [PATCH] :memo: revive. --- src/Control/Monad/Effect/Dead.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Control/Monad/Effect/Dead.hs b/src/Control/Monad/Effect/Dead.hs index 663cbdb43..1037dc8a9 100644 --- a/src/Control/Monad/Effect/Dead.hs +++ b/src/Control/Monad/Effect/Dead.hs @@ -14,6 +14,8 @@ newtype Dead a = Dead { unDead :: Set a } class Monad m => MonadDead t m where -- | Update the current 'Dead' set. killAll :: Dead t -> m () + + -- | Revive a single term, removing it from the current 'Dead' set. revive :: Ord t => t -> m () instance (State (Dead t) :< fs) => MonadDead t (Eff fs) where