Safe Haskell | None |
---|---|
Language | Haskell2010 |
Convenience operators overloaded for arbitrary use. There are no laws associated with these classes, just duck-typed so we don't have to use the qualified versions of each function.
Documentation
HasSingletonWith k x a => HasSingletonWith k x (Union a) Source | |
HasTotalWith k a => HasTotalWith k (Union a) Source | |
HasEmptyWith k a => HasEmptyWith k (Union a) Source | |
HasSingleton x a => HasSingleton x (Union a) Source | |
(HasUnion s, HasEmpty s) => Monoid (Union s) Source | |
HasUnion s => Commutative (Union s) Source | |
(Commutative (Union s), HasEmpty s) => CommutativeId (Union s) Source | |
CanBeProperSubset a => CanBeProperSubset (Union a) Source | |
CanBeSubset a => CanBeSubset (Union a) Source | |
HasSize a => HasSize (Union a) Source | |
HasTotal a => HasTotal (Union a) Source | |
HasEmpty a => HasEmpty (Union a) Source | |
HasComplement a => HasComplement (Union a) Source | |
HasIntersection a => HasIntersection (Union a) Source | |
HasDifference a => HasDifference (Union a) Source | |
HasUnion a => HasUnion (Union a) Source |
newtype Intersection a Source
HasSingletonWith k x a => HasSingletonWith k x (Intersection a) Source | |
HasTotalWith k a => HasTotalWith k (Intersection a) Source | |
HasEmptyWith k a => HasEmptyWith k (Intersection a) Source | |
HasSingleton x a => HasSingleton x (Intersection a) Source | |
(HasIntersection s, HasTotal s) => Monoid (Intersection s) Source | |
HasIntersection s => Commutative (Intersection s) Source | |
(Commutative (Intersection s), HasTotal s) => CommutativeId (Intersection s) Source | |
CanBeProperSubset a => CanBeProperSubset (Intersection a) Source | |
CanBeSubset a => CanBeSubset (Intersection a) Source | |
HasSize a => HasSize (Intersection a) Source | |
HasTotal a => HasTotal (Intersection a) Source | |
HasEmpty a => HasEmpty (Intersection a) Source | |
HasComplement a => HasComplement (Intersection a) Source | |
HasIntersection a => HasIntersection (Intersection a) Source | |
HasDifference a => HasDifference (Intersection a) Source | |
HasUnion a => HasUnion (Intersection a) Source |
HasSingletonWith k x a => HasSingletonWith k x (XUnion a) Source | |
HasTotalWith k a => HasTotalWith k (XUnion a) Source | |
HasEmptyWith k a => HasEmptyWith k (XUnion a) Source | |
HasSingleton x a => HasSingleton x (XUnion a) Source | |
(HasXUnion s, HasEmpty s, HasUnion s, HasIntersection s, HasDifference s) => Monoid (XUnion s) Source | |
(HasXUnion s, HasUnion s, HasIntersection s, HasDifference s) => Commutative (XUnion s) Source | |
CanBeProperSubset a => CanBeProperSubset (XUnion a) Source | |
CanBeSubset a => CanBeSubset (XUnion a) Source | |
HasSize a => HasSize (XUnion a) Source | |
HasTotal a => HasTotal (XUnion a) Source | |
HasEmpty a => HasEmpty (XUnion a) Source | |
HasComplement a => HasComplement (XUnion a) Source | |
HasIntersection a => HasIntersection (XUnion a) Source | |
HasDifference a => HasDifference (XUnion a) Source | |
HasUnion a => HasUnion (XUnion a) Source |
HasUnion IntSet Source | |
HasUnion (IntMap a) Source | |
Ord a => HasUnion (Set a) Source | |
Ord a => HasUnion (FiniteSet a) Source | |
Eq a => HasUnion (UUSet a) Source | |
Eq a => HasUnion (UMSet a) Source | |
Sorting a => HasUnion (OMSet a) Source | |
(Hashable a, Eq a) => HasUnion (HashSet a) Source | |
HasUnion (Predicate a) Source | |
HasUnion a => HasUnion (XUnion a) Source | |
HasUnion a => HasUnion (Intersection a) Source | |
HasUnion a => HasUnion (Union a) Source | |
Ord k => HasUnion (Map k a) Source | |
(Hashable k, Eq k) => HasUnion (HashMap k a) Source | |
Ord k => HasUnion (SetWith k a) Source |
class HasDifference s where Source
difference :: s -> s -> s Source
HasDifference IntSet Source | |
HasDifference (IntMap a) Source | |
Ord a => HasDifference (Set a) Source | |
Ord a => HasDifference (FiniteSet a) Source | |
Eq a => HasDifference (UUSet a) Source | |
Eq a => HasDifference (UMSet a) Source | |
Eq a => HasDifference (OMSet a) Source | |
(Hashable a, Eq a) => HasDifference (HashSet a) Source | |
HasDifference (Predicate a) Source | |
HasDifference a => HasDifference (XUnion a) Source | |
HasDifference a => HasDifference (Intersection a) Source | |
HasDifference a => HasDifference (Union a) Source | |
Ord k => HasDifference (Map k a) Source | |
(Hashable k, Eq k) => HasDifference (HashMap k a) Source | |
Ord k => HasDifference (SetWith k a) Source |
class HasIntersection s where Source
intersection :: s -> s -> s Source
HasIntersection IntSet Source | |
HasIntersection (IntMap a) Source | |
Ord a => HasIntersection (Set a) Source | |
Ord a => HasIntersection (FiniteSet a) Source | |
Eq a => HasIntersection (UUSet a) Source | |
Eq a => HasIntersection (UMSet a) Source | |
Ord a => HasIntersection (OMSet a) Source | |
(Hashable a, Eq a) => HasIntersection (HashSet a) Source | |
HasIntersection (Predicate a) Source | |
HasIntersection a => HasIntersection (XUnion a) Source | |
HasIntersection a => HasIntersection (Intersection a) Source | |
HasIntersection a => HasIntersection (Union a) Source | |
Ord k => HasIntersection (Map k a) Source | |
(Hashable k, Eq k) => HasIntersection (HashMap k a) Source | |
Ord k => HasIntersection (SetWith k a) Source |
intersections :: (Foldable f, HasIntersection s, HasTotal s) => f s -> s Source
class HasXUnion s where Source
(HasUnion s, HasIntersection s, HasDifference s) => HasXUnion s Source |
class HasComplement s where Source
complement :: s -> s Source
Ord a => HasComplement (FiniteSet a) Source | |
HasComplement (Predicate a) Source | |
HasComplement a => HasComplement (XUnion a) Source | |
HasComplement a => HasComplement (Intersection a) Source | |
HasComplement a => HasComplement (Union a) Source |
class HasSingleton s a where Source
HasSingleton IntSet Key Source | |
HasSingleton x a => HasSingleton x (XUnion a) Source | |
HasSingleton x a => HasSingleton x (Intersection a) Source | |
HasSingleton x a => HasSingleton x (Union a) Source | |
HasSingleton [a] a Source | |
HasSingleton (Set a) a Source | |
HasSingleton (Seq a) a Source | |
HasSingleton (UUSet a) a Source | |
HasSingleton (UMSet a) a Source | |
HasSingleton (OMSet a) a Source | |
Hashable a => HasSingleton (HashSet a) a Source | |
Eq a => HasSingleton (Predicate a) a Source |
class HasSingletonWith s k a where Source
singletonWith :: k -> a -> s Source
HasSingletonWith k x a => HasSingletonWith k x (XUnion a) Source | |
HasSingletonWith k x a => HasSingletonWith k x (Intersection a) Source | |
HasSingletonWith k x a => HasSingletonWith k x (Union a) Source | |
HasSingletonWith (IntMap a) Key a Source | |
HasSingletonWith (FiniteSet a) (Set a) a Source | |
HasSingletonWith (Map k a) k a Source | |
Hashable k => HasSingletonWith (HashMap k a) k a Source | |
Ord k => HasSingletonWith (SetWith k a) (a -> k) a Source |
HasEmpty IntSet Source | |
HasEmpty [a] Source | |
HasEmpty (IntMap a) Source | |
HasEmpty (Set a) Source | |
HasEmpty (Seq a) Source | |
HasEmpty (UUSet a) Source | |
HasEmpty (UMSet a) Source | |
HasEmpty (OMSet a) Source | |
HasEmpty (HashSet a) Source | |
HasEmpty (Predicate a) Source | |
HasEmpty a => HasEmpty (XUnion a) Source | |
HasEmpty a => HasEmpty (Intersection a) Source | |
HasEmpty a => HasEmpty (Union a) Source | |
HasEmpty (Map k a) Source | |
HasEmpty (HashMap k a) Source |
class HasEmptyWith s k where Source
HasEmptyWith k a => HasEmptyWith k (XUnion a) Source | |
HasEmptyWith k a => HasEmptyWith k (Intersection a) Source | |
HasEmptyWith k a => HasEmptyWith k (Union a) Source | |
HasEmptyWith (FiniteSet a) (Set a) Source | |
HasEmptyWith (SetWith k a) (a -> k) Source |
class HasTotalWith s k where Source
HasTotalWith k a => HasTotalWith k (XUnion a) Source | |
HasTotalWith k a => HasTotalWith k (Intersection a) Source | |
HasTotalWith k a => HasTotalWith k (Union a) Source | |
HasTotalWith (FiniteSet a) (FiniteSet a) Source |
HasSize IntSet Source | |
HasSize [a] Source | |
HasSize (IntMap a) Source | |
HasSize (Set a) Source | |
HasSize (Seq a) Source | |
HasSize (FiniteSet a) Source | |
HasSize (UUSet a) Source | |
HasSize (UMSet a) Source | |
HasSize (OMSet a) Source | |
HasSize (HashSet a) Source | |
HasSize a => HasSize (XUnion a) Source | |
HasSize a => HasSize (Intersection a) Source | |
HasSize a => HasSize (Union a) Source | |
HasSize (Map k a) Source | |
HasSize (HashMap k a) Source | |
HasSize (SetWith k a) Source |
class CanBeSubset s where Source
isSubsetOf :: s -> s -> Bool Source
CanBeSubset IntSet Source | |
Eq a => CanBeSubset (IntMap a) Source | |
Ord a => CanBeSubset (Set a) Source | |
Ord a => CanBeSubset (FiniteSet a) Source | |
Eq a => CanBeSubset (UUSet a) Source | |
Eq a => CanBeSubset (UMSet a) Source | |
Eq a => CanBeSubset (OMSet a) Source | |
CanBeSubset a => CanBeSubset (XUnion a) Source | |
CanBeSubset a => CanBeSubset (Intersection a) Source | |
CanBeSubset a => CanBeSubset (Union a) Source | |
(Eq k, Ord k, Eq a) => CanBeSubset (Map k a) Source | |
(Ord k, Eq a) => CanBeSubset (SetWith k a) Source |
class CanBeProperSubset s where Source
isProperSubsetOf :: s -> s -> Bool Source
CanBeProperSubset IntSet Source | |
Eq a => CanBeProperSubset (IntMap a) Source | |
Ord a => CanBeProperSubset (Set a) Source | |
Ord a => CanBeProperSubset (FiniteSet a) Source | |
Eq a => CanBeProperSubset (UUSet a) Source | |
Eq a => CanBeProperSubset (UMSet a) Source | |
Eq a => CanBeProperSubset (OMSet a) Source | |
CanBeProperSubset a => CanBeProperSubset (XUnion a) Source | |
CanBeProperSubset a => CanBeProperSubset (Intersection a) Source | |
CanBeProperSubset a => CanBeProperSubset (Union a) Source | |
(Eq k, Ord k, Eq a) => CanBeProperSubset (Map k a) Source | |
(Ord k, Eq a) => CanBeProperSubset (SetWith k a) Source |