- class Member a b | b -> a where
- (∈) :: 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 where
- isProperSubsetOf :: 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 where
- isSubsetOf :: 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 where
- union :: a -> a -> a

- (∪) :: Union a => a -> a -> a
- class Intersection a where
- intersection :: a -> a -> a

- (∩) :: Intersection a => a -> a -> a
- class Empty a where
- empty :: a

- (∅) :: Empty a => a
- class Singleton a b | b -> a where
- singleton :: a -> b

- class Insert a b | b -> a where
- insert :: a -> b -> b

# Documentation

class ProperSubsetOf a whereSource

isProperSubsetOf :: a -> a -> BoolSource

ProperSubsetOf IntSet | |

Eq v => ProperSubsetOf (IntMap v) | |

Ord a => ProperSubsetOf (Set a) | |

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

(⊂) :: ProperSubsetOf a => a -> a -> BoolSource

(⊄) :: ProperSubsetOf a => a -> a -> BoolSource

(⊃) :: ProperSubsetOf a => a -> a -> BoolSource

(⊅) :: ProperSubsetOf a => a -> a -> BoolSource

isSubsetOf :: a -> a -> BoolSource

class Intersection a whereSource

intersection :: a -> a -> aSource

Intersection IntSet | |

Eq a => Intersection [a] | |

Intersection (IntMap v) | |

Ord a => Intersection (Set a) | |

Ord k => Intersection (Map k v) |

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