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