monadiccp-0.7.3: Constraint Programming
Control.CP.Queue
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