Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

This module defines linear mutable sets.

The underlying implementation uses `Linear`

, so it inherits
the time and memory characteristics of it.

Please import this module qualified to avoid name clashes.

## Synopsis

- data Set a
- empty :: Keyed a => Int -> (Set a %1 -> Ur b) %1 -> Ur b
- insert :: Keyed a => a -> Set a %1 -> Set a
- delete :: Keyed a => a -> Set a %1 -> Set a
- union :: Keyed a => Set a %1 -> Set a %1 -> Set a
- intersection :: Keyed a => Set a %1 -> Set a %1 -> Set a
- size :: Keyed a => Set a %1 -> (Ur Int, Set a)
- member :: Keyed a => a -> Set a %1 -> (Ur Bool, Set a)
- fromList :: Keyed a => [a] -> (Set a %1 -> Ur b) %1 -> Ur b
- toList :: Keyed a => Set a %1 -> Ur [a]
- type Keyed a = Keyed a