UU.DData.MultiSet
MultiSet type
data
MultiSet
a
Operators
(\\)
Query
isEmpty
size
distinctSize
member
occur
subset
properSubset
Construction
empty
single
insert
insertMany
delete
deleteAll
Combine
union
difference
intersection
unions
Filter
filter
partition
Fold
fold
foldOccur
Min/Max
findMin
findMax
deleteMin
deleteMax
deleteMinAll
deleteMaxAll
Conversion
elems
List
toList
fromList
Ordered list
toAscList
fromAscList
fromDistinctAscList
Occurrence lists
toOccurList
toAscOccurList
fromOccurList
fromAscOccurList
Map
toMap
fromMap
fromOccurMap
Debugging
showTree
showTreeWith
valid