Documentation
data Ord k => PriorityQueue k a Source
Ord a => Queue (PriorityQueue a (a, b, c)) |
empty :: Ord k => PriorityQueue k aSource
is_empty :: PriorityQueue t t1 -> BoolSource
minKey :: Ord k => PriorityQueue k a -> kSource
minKeyValue :: Ord k => PriorityQueue k a -> (k, a)Source
insert :: Ord k => k -> a -> PriorityQueue k a -> PriorityQueue k aSource
deleteMin :: Ord k => PriorityQueue k a -> ((k, a), PriorityQueue k a)Source
deleteMinAndInsert :: Ord k => k -> a -> PriorityQueue k a -> PriorityQueue k aSource