Data.Set.Mutable.Linear

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.

Mutable Sets

data Set a

Instances

Semigroup (Set a)

Defined in Data.Set.Mutable.Linear.Internal

Methods

(<>) :: Set a -> Set a -> Set a

sconcat :: NonEmpty (Set a) -> Set a

stimes :: Integral b => b -> Set a -> Set a

Keyed a => Semigroup (Set a)

Defined in Data.Set.Mutable.Linear.Internal

Methods

(<>) :: Set a %1 -> Set a %1 -> Set a

Consumable (Set a)

Defined in Data.Set.Mutable.Linear.Internal

Methods

consume :: Set a %1 -> ()

Dupable (Set a)

Defined in Data.Set.Mutable.Linear.Internal

Methods

dupR :: Set a %1 -> Replicator (Set a)

dup2 :: Set a %1 -> (Set a, 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