Control.CP.PriorityQueue

Documentation

data Ord k => PriorityQueue k a

Instances

Ord a => Queue (PriorityQueue a (a, b, c))

Associated Types

type Elem (PriorityQueue a (a, b, c)) :: *

Methods

emptyQ :: PriorityQueue a (a, b, c) -> PriorityQueue a (a, b, c)

isEmptyQ :: PriorityQueue a (a, b, c) -> Bool

popQ :: PriorityQueue a (a, b, c) -> (Elem (PriorityQueue a (a, b, c)), PriorityQueue a (a, b, c))

pushQ :: Elem (PriorityQueue a (a, b, c)) -> PriorityQueue a (a, b, c) -> PriorityQueue a (a, b, c)

type Elem (PriorityQueue a (a, b, c))

type Elem (PriorityQueue a (a, b, c)) = (a, b, c)

empty :: Ord k => PriorityQueue k a

is_empty :: PriorityQueue k a -> Bool

minKey :: Ord k => PriorityQueue k a -> k

minKeyValue :: Ord k => PriorityQueue k a -> (k, a)

insert :: Ord k => k -> a -> PriorityQueue k a -> PriorityQueue k a

deleteMin :: Ord k => PriorityQueue k a -> ((k, a), PriorityQueue k a)

deleteMinAndInsert :: Ord k => k -> a -> PriorityQueue k a -> PriorityQueue k a