msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

drop hSize in favour of length

Browse Source
This commit is contained in:
crumbtoo
2023-11-29 10:59:16 -07:00
parent bb9e0a9cc9
commit 2be598b476
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/Data/Heap.hs
View File

@@ -48,6 +48,8 @@ instance Foldable Heap where
null (Heap _ m) = M.size m == 0 null (Heap _ m) = M.size m == 0
length (Heap _ m) = M.size m
instance Traversable Heap where instance Traversable Heap where
traverse t (Heap u m) = Heap u <$> (traverse t m) traverse t (Heap u m) = Heap u <$> (traverse t m)
@@ -77,9 +79,6 @@ hLookupUnsafe k (Heap _ m) = case m !? k of
addresses :: Heap a -> [Addr] addresses :: Heap a -> [Addr]
addresses (Heap _ m) = M.keys m addresses (Heap _ m) = M.keys m
hSize :: Heap a -> Int
hSize (Heap _ m) = M.size m
-- | Intended for use with view patterns -- | Intended for use with view patterns
hView :: Heap a -> Addr -> Maybe a hView :: Heap a -> Addr -> Maybe a
hView = flip hLookup hView = flip hLookup