emptySet :: Ord a => m a |
|
unitSet :: Ord a => a -> m a |
|
isEmpty :: Ord a => m a -> Bool |
|
elemSet :: Ord a => a -> m a -> Bool |
|
(<++>) :: Ord a => m a -> m a -> m a |
|
(<\\>) :: Ord a => m a -> m a -> m a |
|
plusMinus :: Ord a => m a -> m a -> (m a, m a) |
|
union :: Ord a => [m a] -> m a |
|
makeSet :: Ord a => [a] -> m a |
|
elems :: Ord a => m a -> [a] |
|
ordSet :: Ord a => [a] -> m a |
|
limit :: Ord a => (a -> m a) -> m a -> m a |