From dae3e8caa3743a005a0beb410a90a82ee5debbdd Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 20 Dec 2017 16:23:33 -0500 Subject: [PATCH] :memo: liveInsert. --- src/Data/Abstract/Live.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Data/Abstract/Live.hs b/src/Data/Abstract/Live.hs index b4d90a312..f42b7d5cd 100644 --- a/src/Data/Abstract/Live.hs +++ b/src/Data/Abstract/Live.hs @@ -18,6 +18,7 @@ newtype Live l v = Live { unLive :: Set (Address l v) } liveSingleton :: Address l v -> Live l v liveSingleton = Live . Set.singleton +-- | Insert an address into a 'Live' set. liveInsert :: Ord l => Address l v -> Live l v -> Live l v liveInsert addr = Live . Set.insert addr . unLive