| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Set.Class.Types
- newtype Union a = Union {
- fromUnion :: a
- newtype Intersection a = Intersection {
- fromIntersection :: a
Documentation
These types are used for Monoid and Commutative instances for sets.
Instances
| 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 | |
| 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
Constructors
| Intersection | |
Fields
| |
Instances
| 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 | |
| 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 |