Module MSet

This module is undocumented. This is a list of its definitions.

add :: MSet.T a -> a -> <Proc> Boolean
addAll :: MSet.T a -> [a] -> <Proc> Boolean
addAllS :: MSet.T a -> MSet.T a -> <Proc> Boolean
all :: (a -> <b> Boolean) -> MSet.T a -> <b,Proc> Boolean
clear :: MSet.T a -> <Proc> ()
concatMap :: (a -> <c> MSet.T b) -> MSet.T a -> <Proc,c> MSet.T b
contains :: MSet.T a -> a -> <Proc> Boolean
create :: () -> <Proc> MSet.T a
createC :: Integer -> <Proc> MSet.T a
createConcurrentHashMapKeySet :: () -> <Proc> MSet.T a
createConcurrentSkipListSet :: () -> <Proc> MSet.T a
filterInPlace :: (a -> <b> Boolean) -> MSet.T a -> <b,Proc> ()
fold :: (a -> b -> <c> a) -> a -> MSet.T b -> <Proc,c> a
freeze :: MSet.T a -> <Proc> Set.T a

Converts the mutable set into an immutable one without copying the underlying data. This only changes how the structure is treated by the SCL type system; it is an O(1) operation, not a copy. The original mutable set must not be used anymore after this.

fromList :: [a] -> <Proc> MSet.T a
isEmpty :: MSet.T a -> <Proc> Boolean
iter :: (a -> <c> b) -> MSet.T a -> <c,Proc> ()
iterB :: (a -> <b> Boolean) -> MSet.T a -> <b,Proc> Boolean
map :: (a -> <c> b) -> MSet.T a -> <c,Proc> MSet.T b
mapFirst :: (a -> <c> Maybe b) -> MSet.T a -> <c,Proc> Maybe b
remove :: MSet.T a -> a -> <Proc> Boolean
removeAll :: MSet.T a -> [a] -> <Proc> Boolean
singleton :: a -> <Proc> MSet.T a
size :: MSet.T a -> <Proc> Integer
toList :: MSet.T a -> <Proc> [a]