github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity

Define Live.delete tacitly.

Browse Source
This commit is contained in:
Rob Rix 2017-12-01 14:28:28 -05:00
parent 67c633f3b0
commit 3b315112dc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -17,7 +17,7 @@ singleton :: Address l v -> Live l v
singleton = Live . Set.singleton singleton = Live . Set.singleton
delete :: Ord l => Address l v -> Live l v -> Live l v delete :: Ord l => Address l v -> Live l v -> Live l v
delete addr (Live s) = Live (Set.delete addr s) delete addr = Live . Set.delete addr . unLive
difference :: Ord l => Live l v -> Live l v -> Live l v difference :: Ord l => Live l v -> Live l v -> Live l v
difference = fmap Live . (Set.difference `on` unLive) difference = fmap Live . (Set.difference `on` unLive)