Queue.Prio.Int

IntPSQ

data IntPSQ p v

A priority search queue with Int keys and priorities of type p and values of type v. It is strict in keys, priorities and values.

Instances

Functor (IntPSQ p)

Defined in Data.IntPSQ.Internal

Methods

fmap :: (a -> b) -> IntPSQ p a -> IntPSQ p b

(<$) :: a -> IntPSQ p b -> IntPSQ p a

Foldable (IntPSQ p)

Defined in Data.IntPSQ.Internal

Methods

fold :: Monoid m => IntPSQ p m -> m

foldMap :: Monoid m => (a -> m) -> IntPSQ p a -> m

foldr :: (a -> b -> b) -> b -> IntPSQ p a -> b

foldr' :: (a -> b -> b) -> b -> IntPSQ p a -> b

foldl :: (b -> a -> b) -> b -> IntPSQ p a -> b

foldl' :: (b -> a -> b) -> b -> IntPSQ p a -> b

foldr1 :: (a -> a -> a) -> IntPSQ p a -> a

foldl1 :: (a -> a -> a) -> IntPSQ p a -> a

toList :: IntPSQ p a -> [a]

null :: IntPSQ p a -> Bool

length :: IntPSQ p a -> Int

elem :: Eq a => a -> IntPSQ p a -> Bool

maximum :: Ord a => IntPSQ p a -> a

minimum :: Ord a => IntPSQ p a -> a

sum :: Num a => IntPSQ p a -> a

product :: Num a => IntPSQ p a -> a

Traversable (IntPSQ p)

Defined in Data.IntPSQ.Internal

Methods

traverse :: Applicative f => (a -> f b) -> IntPSQ p a -> f (IntPSQ p b)

sequenceA :: Applicative f => IntPSQ p (f a) -> f (IntPSQ p a)

mapM :: Monad m => (a -> m b) -> IntPSQ p a -> m (IntPSQ p b)

sequence :: Monad m => IntPSQ p (m a) -> m (IntPSQ p a)

(Ord p, Eq v) => Eq (IntPSQ p v)

Defined in Data.IntPSQ.Internal

Methods

(==) :: IntPSQ p v -> IntPSQ p v -> Bool

(/=) :: IntPSQ p v -> IntPSQ p v -> Bool

(Show p, Show v) => Show (IntPSQ p v)

Defined in Data.IntPSQ.Internal

Methods

showsPrec :: Int -> IntPSQ p v -> ShowS

show :: IntPSQ p v -> String

showList :: [IntPSQ p v] -> ShowS

(NFData p, NFData v) => NFData (IntPSQ p v)

Defined in Data.IntPSQ.Internal

Methods

rnf :: IntPSQ p v -> ()

Construction

empty :: IntPSQ p v

O(1) The empty queue.

singleton :: Ord p => Int -> p -> v -> IntPSQ p v

O(1) Build a queue with one element.

fromList :: Ord p => [(Int, p, v)] -> IntPSQ p v

O(n*min(n,W)) Build a queue from a list of (key, priority, value) tuples. If the list contains more than one priority and value for the same key, the last priority and value for the key is retained.

Querying

null :: IntPSQ p v -> Bool

O(1) True if the queue is empty.

size :: IntPSQ p v -> Int

O(n) The number of elements stored in the queue.

member :: Int -> IntPSQ p v -> Bool

O(min(n,W)) Check if a key is present in the the queue.

lookup :: Int -> IntPSQ p v -> Maybe (p, v)

O(min(n,W)) The priority and value of a given key, or Nothing if the key is not bound.

findMin :: Ord p => IntPSQ p v -> Maybe (Int, p, v)

O(1) The element with the lowest priority.

minView :: Ord p => IntPSQ p v -> Maybe (Int, p, v, IntPSQ p v)

O(min(n,W)) Retrieve the binding with the least priority, and the rest of the queue stripped of that binding.

atMostView :: Ord p => p -> IntPSQ p v -> ([(Int, p, v)], IntPSQ p v)

Return a list of elements ordered by key whose priorities are at most pt, and the rest of the queue stripped of these elements. The returned list of elements can be in any order: no guarantees there.

Insertion

insert :: Ord p => Int -> p -> v -> IntPSQ p v -> IntPSQ p v

O(min(n,W)) Insert a new key, priority and value into the queue. If the key is already present in the queue, the associated priority and value are replaced with the supplied priority and value.

insertView :: Ord p => Int -> p -> v -> IntPSQ p v -> (Maybe (p, v), IntPSQ p v)

O(min(n,W)) Insert a new key, priority and value into the queue. If the key is already present in the queue, then the evicted priority and value can be found the first element of the returned tuple.

Deletion

delete :: Ord p => Int -> IntPSQ p v -> IntPSQ p v

O(min(n,W)) Delete a key and its priority and value from the queue. When the key is not a member of the queue, the original queue is returned.

deleteView :: Ord p => Int -> IntPSQ p v -> Maybe (p, v, IntPSQ p v)

O(min(n,W)) Delete a key and its priority and value from the queue. If the key was present, the associated priority and value are returned in addition to the updated queue.

Alteration

alter :: Ord p => (Maybe (p, v) -> (b, Maybe (p, v))) -> Int -> IntPSQ p v -> (b, IntPSQ p v)

O(min(n,W)) The expression alter f k queue alters the value x at k, or absence thereof. alter can be used to insert, delete, or update a value in a queue. It also allows you to calculate an additional value b.

alterMin :: Ord p => (Maybe (Int, p, v) -> (b, Maybe (Int, p, v))) -> IntPSQ p v -> (b, IntPSQ p v)

O(min(n,W)) A variant of alter which works on the element with the minimum priority. Unlike alter, this variant also allows you to change the key of the element.

Mapping

map :: (Int -> p -> v -> w) -> IntPSQ p v -> IntPSQ p w

O(n) Modify every value in the queue.

unsafeMapMonotonic :: (Key -> p -> v -> (q, w)) -> IntPSQ p v -> IntPSQ q w

O(n) Maps a function over the values and priorities of the queue. The function f must be monotonic with respect to the priorities. I.e. if x < y, then fst (f k x v) < fst (f k y v). The precondition is not checked. If f is not monotonic, then the result will be invalid.

Folding

toList :: IntPSQ p v -> [(Int, p, v)]

O(n) Convert a queue to a list of (key, priority, value) tuples. The order of the list is not specified.

keys :: IntPSQ p v -> [Int]

O(n) Obtain the list of present keys in the queue.

fold' :: (Int -> p -> v -> a -> a) -> a -> IntPSQ p v -> a

O(n) Strict fold over every key, priority and value in the queue. The order in which the fold is performed is not specified.