Data.SetOps

Documentation

class Member a b | b -> a where

Methods

member :: a -> b -> Bool

Instances

Member Int IntSet

Ord a => Member a (Set a)

Eq a => Member a [a]

Member Key (IntMap v)

Ord k => Member k (Map k v)

(∈), (∉) :: Member a b => a -> b -> Bool

(∋), (∌) :: Member a b => b -> a -> Bool

class ProperSubsetOf a where

Methods

isProperSubsetOf :: a -> a -> Bool

Instances

ProperSubsetOf IntSet

Eq v => ProperSubsetOf (IntMap v)

Ord a => ProperSubsetOf (Set a)

(Ord k, Eq v) => ProperSubsetOf (Map k v)

(⊂), (⊅), (⊃), (⊄) :: ProperSubsetOf a => a -> a -> Bool

class SubsetOf a where

Methods

isSubsetOf :: a -> a -> Bool

Instances

SubsetOf IntSet

Eq v => SubsetOf (IntMap v)

Ord a => SubsetOf (Set a)

(Ord k, Eq v) => SubsetOf (Map k v)

(⊆), (⊉), (⊇), (⊈) :: SubsetOf a => a -> a -> Bool

class Union a where

Methods

union :: a -> a -> a

Instances

Union IntSet

Eq a => Union [a]

Union (IntMap v)

Ord a => Union (Set a)

Ord k => Union (Map k v)

(∪) :: Union a => a -> a -> a

class Intersection a where

Methods

intersection :: a -> a -> a

Instances

Intersection IntSet

Eq a => Intersection [a]

Intersection (IntMap v)

Ord a => Intersection (Set a)

Ord k => Intersection (Map k v)

(∩) :: Intersection a => a -> a -> a

class Empty a where

Methods

empty :: a

Instances

Empty IntSet

Empty [a]

Empty (IntMap v)

Empty (Set a)

Empty (Map k v)

(∅) :: Empty a => a

.

class Singleton a b | b -> a where

Methods

singleton :: a -> b

Instances

Singleton Int IntSet

Ord a => Singleton a (Set a)

Singleton a [a]

Singleton (Key, v) (IntMap v)

Ord k => Singleton (k, v) (Map k v)

class Insert a b | b -> a where

Methods

insert :: a -> b -> b

Instances

Insert Int IntSet

Ord a => Insert a (Set a)

Ord a => Insert a [a]

Insert (Key, v) (IntMap v)

Ord k => Insert (k, v) (Map k v)