1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00

📝 revive.

This commit is contained in:
Rob Rix 2017-12-21 10:48:12 -05:00
parent 3d52ec38a0
commit 1d34f15ca5

View File

@ -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