Safe Haskell | Trustworthy |
---|
- module Data.Semigroup.Reducer
- class HasUnion f where
- union :: f -> f -> f
- class HasUnion f => HasUnion0 f where
- empty :: f
- newtype Union f = Union {
- getUnion :: f
- class Functor f => HasUnionWith f where
- unionWith :: (a -> a -> a) -> f a -> f a -> f a
- class HasUnionWith f => HasUnionWith0 f where
- emptyWith :: f a
- newtype UnionWith f m = UnionWith {
- getUnionWith :: f m
Documentation
module Data.Semigroup.Reducer
Unions of Containers
Unions of Containers of Semigroups
class Functor f => HasUnionWith f whereSource
Polymorphic containers that we can supply an operation to handle unions with
HasUnionWith IntMap | |
Ord k => HasUnionWith (Map k) |
class HasUnionWith f => HasUnionWith0 f whereSource
HasUnionWith0 IntMap | |
Ord k => HasUnionWith0 (Map k) |
UnionWith | |
|
(HasUnionWith f, Semigroup m, Monoid m) => Reducer (f m) (UnionWith f m) | |
(HasUnionWith0 f, Monoid m) => Monoid (UnionWith f m) | |
(HasUnionWith f, Semigroup m) => Semigroup (UnionWith f m) |