Examples.MultiSet

A multiset type, implemented in terms of MonoidMap.

See: https://en.wikipedia.org/wiki/Multiset

Documentation

fromList :: Ord a => [(a, Natural)] -> MultiSet a

toList :: MultiSet a -> [(a, Natural)]

null :: MultiSet a -> Bool

member :: Ord a => a -> MultiSet a -> Bool

multiplicity :: Ord a => a -> MultiSet a -> Natural

root :: Ord a => MultiSet a -> Set a

cardinality :: MultiSet a -> Natural

dimension :: MultiSet a -> Natural

height :: Ord a => MultiSet a -> Natural

isSubsetOf :: Ord a => MultiSet a -> MultiSet a -> Bool

intersection :: Ord a => MultiSet a -> MultiSet a -> MultiSet a

union :: Ord a => MultiSet a -> MultiSet a -> MultiSet a

disjointUnion :: Ord a => MultiSet a -> MultiSet a -> MultiSet a

add :: Ord a => MultiSet a -> MultiSet a -> MultiSet a

subtract :: Ord a => MultiSet a -> MultiSet a -> MultiSet a

subtractMaybe :: Ord a => MultiSet a -> MultiSet a -> Maybe (MultiSet a)