Data.Set.Class.Types

Documentation

newtype Union a

These types are used for Monoid and Commutative instances for sets.

Constructors

Union

Fields

fromUnion :: a

Instances

HasSingletonWith k x a => HasSingletonWith k x (Union a)

HasTotalWith k a => HasTotalWith k (Union a)

HasEmptyWith k a => HasEmptyWith k (Union a)

HasSingleton x a => HasSingleton x (Union a)

CanBeProperSubset a => CanBeProperSubset (Union a)

CanBeSubset a => CanBeSubset (Union a)

HasSize a => HasSize (Union a)

HasTotal a => HasTotal (Union a)

HasEmpty a => HasEmpty (Union a)

HasComplement a => HasComplement (Union a)

HasIntersection a => HasIntersection (Union a)

HasDifference a => HasDifference (Union a)

HasUnion a => HasUnion (Union a)

newtype Intersection a

Constructors

Intersection

Fields

fromIntersection :: a

Instances

HasSingletonWith k x a => HasSingletonWith k x (Intersection a)

HasTotalWith k a => HasTotalWith k (Intersection a)

HasEmptyWith k a => HasEmptyWith k (Intersection a)

HasSingleton x a => HasSingleton x (Intersection a)

CanBeProperSubset a => CanBeProperSubset (Intersection a)

CanBeSubset a => CanBeSubset (Intersection a)

HasSize a => HasSize (Intersection a)

HasTotal a => HasTotal (Intersection a)

HasEmpty a => HasEmpty (Intersection a)

HasComplement a => HasComplement (Intersection a)

HasIntersection a => HasIntersection (Intersection a)

HasDifference a => HasDifference (Intersection a)

HasUnion a => HasUnion (Intersection a)