1
1
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00

fix heapDelete type signature

This commit is contained in:
Ayman Nadeem 2018-08-10 17:41:46 -04:00
parent 2906e39b71
commit 054f5b4b36

View File

@ -43,7 +43,7 @@ heapSize = Monoidal.size . unHeap
heapRestrict :: Ord address => Heap address value -> Live address -> Heap address value
heapRestrict (Heap m) roots = Heap (Monoidal.filterWithKey (\ address _ -> address `liveMember` roots) m)
heapDelete :: Ord address => address -> Heap address cell value -> Heap address cell value
heapDelete :: Ord address => address -> Heap address value -> Heap address value
heapDelete addr = Heap . Monoidal.delete addr . unHeap
instance (Ord address, Ord value) => Reducer (address, value) (Heap address value) where