monadiccp-0.5.1: Constraint Programming

Control.CP.Queue

Documentation

class Queue q whereSource

Associated Types

type Elem q :: *Source

Methods

emptyQ :: q -> qSource

isEmptyQ :: q -> BoolSource

popQ :: q -> (Elem q, q)Source

pushQ :: Elem q -> q -> qSource

Instances

Queue [a] 
Queue (Seq a) 
Ord a => Queue (PriorityQueue a (a, b, c))