Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.REST.Internal.MultiSet
Synopsis
- data MultiSet a
- delete :: (Hashable a, Eq a) => a -> MultiSet a -> MultiSet a
- deleteMany :: (Hashable a, Eq a) => a -> Int -> MultiSet a -> MultiSet a
- distinctElems :: MultiSet a -> [a]
- empty :: MultiSet a
- filter :: (a -> Bool) -> MultiSet a -> MultiSet a
- insert :: (Eq a, Hashable a) => a -> MultiSet a -> MultiSet a
- member :: (Eq a, Hashable a) => a -> MultiSet a -> Bool
- null :: MultiSet a -> Bool
- toList :: MultiSet a -> [a]
- toOccurList :: MultiSet a -> [(a, Int)]
- singleton :: (Eq a, Hashable a) => a -> MultiSet a
- fromList :: (Eq a, Hashable a) => [a] -> MultiSet a
- toSet :: MultiSet a -> HashSet a
Documentation
Instances
Generic (MultiSet a) Source # | |
Show a => Show (MultiSet a) Source # | |
Eq a => Eq (MultiSet a) Source # | |
Ord a => Ord (MultiSet a) Source # | |
Defined in Language.REST.Internal.MultiSet | |
Hashable a => Hashable (MultiSet a) Source # | |
Defined in Language.REST.Internal.MultiSet | |
type Rep (MultiSet a) Source # | |
Defined in Language.REST.Internal.MultiSet |
delete :: (Hashable a, Eq a) => a -> MultiSet a -> MultiSet a Source #
delete k m
removes a single instance of k
from the multiset m.
If
k is not in the multiset, the original multiset is returned
deleteMany :: (Hashable a, Eq a) => a -> Int -> MultiSet a -> MultiSet a Source #
delete k n m
removes n
instances of k
from the multiset m
.
If there are less than n
instances of k
in the multiset, all
instances are removed.
distinctElems :: MultiSet a -> [a] Source #
member :: (Eq a, Hashable a) => a -> MultiSet a -> Bool Source #
member k m
returns true
iff there is at least one instance of k
in m
toOccurList :: MultiSet a -> [(a, Int)] Source #