From 65f1af1154d5b6dc03f834dfe0af06bdce2f8fb6 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 10:46:53 -0500 Subject: [PATCH] :memo: Dead. --- src/Control/Monad/Effect/Dead.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Control/Monad/Effect/Dead.hs b/src/Control/Monad/Effect/Dead.hs index 35887a5c4..47a6ece90 100644 --- a/src/Control/Monad/Effect/Dead.hs +++ b/src/Control/Monad/Effect/Dead.hs @@ -6,6 +6,7 @@ import Control.Monad.Effect.State import Data.Semigroup import Data.Set +-- | A set of “dead” (unreachable) terms. newtype Dead a = Dead { unDead :: Set a } deriving (Eq, Foldable, Semigroup, Monoid, Ord, Show)