github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity

📝 liveDelete.

Browse Source
This commit is contained in:
Rob Rix 2017-12-20 16:24:17 -05:00
parent dae3e8caa3
commit 31a561751c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Data/Abstract/Live.hs
View File

@ -22,6 +22,7 @@ liveSingleton = Live . Set.singleton
liveInsert :: Ord l => Address l v -> Live l v -> Live l v
liveInsert addr = Live . Set.insert addr . unLive
-- | Delete an address from a 'Live' set, if present.
liveDelete :: Ord l => Address l v -> Live l v -> Live l v
liveDelete addr = Live . Set.delete addr . unLive