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

auxiliary view functions for heap lookups

Browse Source
This commit is contained in:
crumbtoo
2023-11-13 17:36:06 -07:00
parent 416f5d89fa
commit 371aa5343c
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/Data/Heap.hs
View File

@@ -8,6 +8,8 @@ module Data.Heap
, hLookupUnsafe , hLookupUnsafe
, addresses , addresses
, hSize , hSize
, hView
, hViewUnsafe
) )
where where
---------------------------------------------------------------------------------- ----------------------------------------------------------------------------------
@@ -67,3 +69,11 @@ addresses (Heap _ m) = M.keys m
hSize :: Heap a -> Int hSize :: Heap a -> Int
hSize (Heap _ m) = M.size m hSize (Heap _ m) = M.size m
-- | Intended for use with view patterns
hView :: Heap a -> Addr -> Maybe a
hView = flip hLookup
-- | Intended for use with view patterns
hViewUnsafe :: Heap a -> Addr -> a
hViewUnsafe = flip hLookupUnsafe