Modulelinear-base-0.4.0Haskell2010

Data.Set.Mutable.Linear.Internal

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

typetype Keyed a = Keyed a

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

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

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