monadiccp-0.4.1: Package for Constraint Programming

Control.CP.PriorityQueue

Documentation

data Ord k => PriorityQueue k a Source

Instances

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

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