Data.Mergeable

Documentation

class Mergeable t where

Minimal complete definition

Nothing

Methods

mergeMap :: CommutativeId m => (a -> m) -> t a -> m

merge :: (a -> b -> b) -> b -> t a -> b

Instances

Mergeable []

Defined in Data.Mergeable

Methods

mergeMap :: CommutativeId m => (a -> m) -> [a] -> m

merge :: (a -> b -> b) -> b -> [a] -> b

Mergeable Vector

Defined in Data.Mergeable

Methods

mergeMap :: CommutativeId m => (a -> m) -> Vector a -> m

merge :: (a -> b -> b) -> b -> Vector a -> b

class Functor t => Mergeable1 t where

Minimal complete definition

Nothing

Methods

mergeMap1 :: Commutative m => (a -> m) -> t a -> m

merge1 :: Commutative m => t m -> m

Instances

Mergeable1 NonEmpty

Defined in Data.Mergeable

Methods

mergeMap1 :: Commutative m => (a -> m) -> NonEmpty a -> m

merge1 :: Commutative m => NonEmpty m -> m