Modulelinear-base-0.8.1

Data.Set.Mutable.Linear

Synopsis

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

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

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

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

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

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

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

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

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

typetype Keyed a = Keyed a

newtypenewtype Set a

Instances4Consumable, Dupable, Semigroup

Unsatisfiable ('Text "Using Prelude's Semigroup methods on a Data.Set.Mutable.Linear is vacuous as there can't be an unrestricted such Set") => Semigroup (Set a)Defined in linear-base-0.8.1 · Data.Set.Mutable.Linear.Internal
Consumable (Set a)Defined in linear-base-0.8.1 · Data.Set.Mutable.Linear.Internal
Dupable (Set a)Defined in linear-base-0.8.1 · Data.Set.Mutable.Linear.Internal
Keyed a => Semigroup (Set a)Defined in linear-base-0.8.1 · Data.Set.Mutable.Linear.Internal