Modulelinear-base-0.4.0Haskell2010

Data.Set.Mutable.Linear

This module defines linear mutable sets.

The underlying implementation uses Data.HashMap.Linear, so it inherits the time and memory characteristics of it.

Please import this module qualified to avoid name clashes.

Mutable Sets

11 declarations

newtypenewtype Set a

Instances4Consumable, Dupable, Semigroup

Semigroup (Set a)Defined in linear-base-0.4.0 · Data.Set.Mutable.Linear.Internal
Consumable (Set a)Defined in linear-base-0.4.0 · Data.Set.Mutable.Linear.Internal
Dupable (Set a)Defined in linear-base-0.4.0 · Data.Set.Mutable.Linear.Internal
Keyed a => Semigroup (Set a)Defined in linear-base-0.4.0 · Data.Set.Mutable.Linear.Internal

valueempty :: Keyed a => Int -> (Set a %1 -> Ur b) %1 -> Ur b

valueinsert :: Keyed a => a -> Set a %1 -> Set a

valuedelete :: Keyed a => a -> Set a %1 -> Set a

valueunion :: Keyed a => Set a %1 -> Set a %1 -> Set a

valueintersection :: Keyed a => Set a %1 -> Set a %1 -> Set a

valuesize :: Keyed a => Set a %1 -> (Ur Int, Set a)

valuemember :: Keyed a => a -> Set a %1 -> (Ur Bool, Set a)

valuefromList :: Keyed a => [a] -> (Set a %1 -> Ur b) %1 -> Ur b

valuetoList :: Keyed a => Set a %1 -> Ur [a]

typetype Keyed a = Keyed a