-- 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

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) => a -> b -> Bool
(∋) :: (Member a b) => b -> a -> Bool
(∌) :: (Member a b) => b -> a -> Bool
class ProperSubsetOf a
isProperSubsetOf :: (ProperSubsetOf a) => a -> a -> Bool
(⊂) :: (ProperSubsetOf a) => a -> a -> Bool
(⊄) :: (ProperSubsetOf a) => a -> a -> Bool
(⊃) :: (ProperSubsetOf a) => a -> a -> Bool
(⊅) :: (ProperSubsetOf a) => a -> a -> Bool
class SubsetOf a
isSubsetOf :: (SubsetOf a) => a -> a -> Bool
(⊆) :: (SubsetOf a) => a -> a -> Bool
(⊈) :: (SubsetOf a) => a -> a -> Bool
(⊇) :: (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]