UU.DData.Queue
Queue type
data
Queue
a
Operators
(<>)
Query
isEmpty
length
head
tail
front
Construction
empty
single
insert
append
Filter
filter
partition
Fold
foldL
foldR
Conversion
elems
List
toList
fromList