monadiccp-0.2: Package for Constraint Programming
Language.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