Modulereducers-3.12.5Haskell2010

Data.Semigroup.Union

module Data.Semigroup.Reducer

Unions of Containers

3 declarations

classclass HasUnion f where

A Container suitable for the Union Monoid

Instances7HasUnion, …

HasUnion IntSetDefined in reducers-3.12.5 · Data.Semigroup.Union
Eq a => HasUnion [a]Defined in reducers-3.12.5 · Data.Semigroup.Union
Ord a => HasUnion (Set a)Defined in reducers-3.12.5 · Data.Semigroup.Union
HasUnion (IntMap a)Defined in reducers-3.12.5 · Data.Semigroup.Union
(Eq a, Hashable a) => HasUnion (HashSet a)Defined in reducers-3.12.5 · Data.Semigroup.Union
Ord k => HasUnion (Map k a)Defined in reducers-3.12.5 · Data.Semigroup.Union
(Eq k, Hashable k) => HasUnion (HashMap k a)Defined in reducers-3.12.5 · Data.Semigroup.Union

classclass HasUnion f => HasUnion0 f where

Instances7HasUnion0, …

HasUnion0 IntSetDefined in reducers-3.12.5 · Data.Semigroup.Union
Eq a => HasUnion0 [a]Defined in reducers-3.12.5 · Data.Semigroup.Union
Ord a => HasUnion0 (Set a)Defined in reducers-3.12.5 · Data.Semigroup.Union
HasUnion0 (IntMap a)Defined in reducers-3.12.5 · Data.Semigroup.Union
(Eq a, Hashable a) => HasUnion0 (HashSet a)Defined in reducers-3.12.5 · Data.Semigroup.Union
Ord k => HasUnion0 (Map k a)Defined in reducers-3.12.5 · Data.Semigroup.Union
(Eq k, Hashable k) => HasUnion0 (HashMap k a)Defined in reducers-3.12.5 · Data.Semigroup.Union

newtypenewtype Union f

Instances12Functor, Foldable, Traversable, Foldable1, Traversable1, Reducer, …

Functor UnionDefined in reducers-3.12.5 · Data.Semigroup.Union
Foldable UnionDefined in reducers-3.12.5 · Data.Semigroup.Union
Traversable UnionDefined in reducers-3.12.5 · Data.Semigroup.Union
Foldable1 UnionDefined in reducers-3.12.5 · Data.Semigroup.Union
Traversable1 UnionDefined in reducers-3.12.5 · Data.Semigroup.Union
HasUnion f => Reducer f (Union f)Defined in reducers-3.12.5 · Data.Semigroup.Union
Eq f => Eq (Union f)Defined in reducers-3.12.5 · Data.Semigroup.Union
Ord f => Ord (Union f)Defined in reducers-3.12.5 · Data.Semigroup.Union
Read f => Read (Union f)Defined in reducers-3.12.5 · Data.Semigroup.Union
Show f => Show (Union f)Defined in reducers-3.12.5 · Data.Semigroup.Union
HasUnion f => Semigroup (Union f)Defined in reducers-3.12.5 · Data.Semigroup.Union
HasUnion0 f => Monoid (Union f)Defined in reducers-3.12.5 · Data.Semigroup.Union

3 declarations

classclass Functor f => HasUnionWith (f :: Type -> Type) where

Polymorphic containers that we can supply an operation to handle unions with

Instances3HasUnionWith

HasUnionWith IntMapDefined in reducers-3.12.5 · Data.Semigroup.Union
Ord k => HasUnionWith (Map k)Defined in reducers-3.12.5 · Data.Semigroup.Union
(Eq k, Hashable k) => HasUnionWith (HashMap k)Defined in reducers-3.12.5 · Data.Semigroup.Union

classclass HasUnionWith f => HasUnionWith0 (f :: Type -> Type) where

Instances3HasUnionWith0

HasUnionWith0 IntMapDefined in reducers-3.12.5 · Data.Semigroup.Union
Ord k => HasUnionWith0 (Map k)Defined in reducers-3.12.5 · Data.Semigroup.Union
(Eq k, Hashable k) => HasUnionWith0 (HashMap k)Defined in reducers-3.12.5 · Data.Semigroup.Union

newtypenewtype UnionWith (f :: Type -> Type) m

The Monoid ('unionWith mappend',empty) for containers full of monoids.

Instances3Reducer, Semigroup, Monoid

(HasUnionWith f, Semigroup m, Monoid m) => Reducer (f m) (UnionWith f m)Defined in reducers-3.12.5 · Data.Semigroup.Union
(HasUnionWith f, Semigroup m) => Semigroup (UnionWith f m)Defined in reducers-3.12.5 · Data.Semigroup.Union
(HasUnionWith0 f, Monoid m) => Monoid (UnionWith f m)Defined in reducers-3.12.5 · Data.Semigroup.Union