Data.PriorityQueue

Documentation

data PQ v k a

singleton :: Vector v (k, a) => k -> a -> PQ v k a

insert :: (Ord k, Vector v (k, a)) => k -> a -> PQ v k a -> PQ v k a

minView :: (Ord k, Vector v (k, a)) => PQ v k a -> Maybe (a, PQ v k a)

minViewWithKey :: (Ord k, Vector v (k, a)) => PQ v k a -> Maybe (k, a, PQ v k a)

minAlterWithKeyF :: (Ord k, Vector v (k, a), Functor f) => (Maybe (k, a) -> f (Maybe (k, a))) -> PQ v k a -> f (PQ v k a)

from :: (Ord k, Vector v (k, a), Foldable f) => f (k, a) -> PQ v k a

toOrdList :: (Ord k, Vector v (k, a)) => PQ v k a -> [(k, a)]

mapMaybeWithKeyA :: (Ord k, Vector v (k, a), Vector v (k, b), Applicative p) => (k -> a -> p (Maybe (k, b))) -> PQ v k a -> p (PQ v k b)

foldMapWithKey :: (Ord k, Vector v (k, a)) => Monoid b => (k -> a -> b) -> PQ v k a -> b

toV :: PQ v k a -> v (k, a)

foldrWithKey :: (Ord k, Vector v (k, a)) => (k -> a -> b -> b) -> b -> PQ v k a -> b

foldlWithKey :: (Ord k, Vector v (k, a)) => (k -> b -> a -> b) -> b -> PQ v k a -> b

foldrWithKeyM :: (Ord k, Vector v (k, a)) => Monad m => (k -> a -> b -> m b) -> b -> PQ v k a -> m b

foldlWithKeyM :: (Ord k, Vector v (k, a)) => Monad m => (k -> b -> a -> m b) -> b -> PQ v k a -> m b