-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Uniform names (and Unicode operators) for set operations on data structures.
--   
--   Uniform names (and Unicode operators) for set operations on data
--   structures.
@package setops
@version 0.1.2

module Data.SetOps
class Member a b | b -> a
member :: Member a b => a -> b -> Bool
(∈, ∉) :: Member a b => a -> b -> Bool
(∋, ∌) :: Member a b => b -> a -> Bool
class ProperSubsetOf a
isProperSubsetOf :: ProperSubsetOf a => a -> a -> Bool
(⊂, ⊅, ⊃, ⊄) :: ProperSubsetOf a => a -> a -> Bool
class SubsetOf a
isSubsetOf :: SubsetOf a => a -> a -> Bool
(⊆, ⊉, ⊇, ⊈) :: SubsetOf a => a -> a -> Bool
class Union a
union :: Union a => a -> a -> a
(∪) :: Union a => a -> a -> a
class Intersection a
intersection :: Intersection a => a -> a -> a
(∩) :: Intersection a => a -> a -> a
class Empty a
empty :: Empty a => a

-- | .
(∅) :: Empty a => a
class Singleton a b | b -> a
singleton :: Singleton a b => a -> b
class Insert a b | b -> a
insert :: Insert a b => a -> b -> b
instance Singleton (Key, v) (IntMap v)
instance Singleton Int IntSet
instance Ord k => Singleton (k, v) (Map k v)
instance Ord a => Singleton a (Set a)
instance Singleton a [a]
instance Empty (IntMap v)
instance Empty IntSet
instance Empty (Map k v)
instance Empty (Set a)
instance Empty [a]
instance Insert (Key, v) (IntMap v)
instance Insert Int IntSet
instance Ord k => Insert (k, v) (Map k v)
instance Ord a => Insert a (Set a)
instance Ord a => Insert a [a]
instance Intersection (IntMap v)
instance Intersection IntSet
instance Ord k => Intersection (Map k v)
instance Ord a => Intersection (Set a)
instance Eq a => Intersection [a]
instance Union (IntMap v)
instance Union IntSet
instance Ord k => Union (Map k v)
instance Ord a => Union (Set a)
instance Eq a => Union [a]
instance Eq v => SubsetOf (IntMap v)
instance SubsetOf IntSet
instance (Ord k, Eq v) => SubsetOf (Map k v)
instance Ord a => SubsetOf (Set a)
instance Eq v => ProperSubsetOf (IntMap v)
instance ProperSubsetOf IntSet
instance (Ord k, Eq v) => ProperSubsetOf (Map k v)
instance Ord a => ProperSubsetOf (Set a)
instance Member Key (IntMap v)
instance Member Int IntSet
instance Ord k => Member k (Map k v)
instance Ord a => Member a (Set a)
instance Eq a => Member a [a]