Base.Mergeable

Documentation

class Mergeable a where

Methods

mergeAny :: Foldable f => f a -> a

mergeAll :: Foldable f => f a -> a

Instances

Mergeable Bool

Defined in Base.Mergeable

Methods

mergeAny :: Foldable f => f Bool -> Bool

mergeAll :: Foldable f => f Bool -> Bool

(Eq a, Ord a) => Mergeable (GeneralType a)

Defined in Base.GeneralType

Methods

mergeAny :: Foldable f => f (GeneralType a) -> GeneralType a

mergeAll :: Foldable f => f (GeneralType a) -> GeneralType a

Mergeable (MergeTree a)

Defined in Base.MergeTree

Methods

mergeAny :: Foldable f => f (MergeTree a) -> MergeTree a

mergeAll :: Foldable f => f (MergeTree a) -> MergeTree a

(Ord k, Mergeable a) => Mergeable (Map k a)

Defined in Base.Mergeable

Methods

mergeAny :: Foldable f => f (Map k a) -> Map k a

mergeAll :: Foldable f => f (Map k a) -> Map k a

class (Bounded a, Mergeable a) => PreserveMerge a where

Associated Types

type T a :: *

Methods

convertMerge :: Mergeable b => (T a -> b) -> a -> b

Instances

(Eq a, Ord a) => PreserveMerge (GeneralType a)

Defined in Base.GeneralType

Associated Types

type T (GeneralType a)

Methods

convertMerge :: Mergeable b => (T (GeneralType a) -> b) -> GeneralType a -> b

PreserveMerge (MergeTree a)

Defined in Base.MergeTree

Associated Types

type T (MergeTree a)

Methods

convertMerge :: Mergeable b => (T (MergeTree a) -> b) -> MergeTree a -> b

(<||>) :: Mergeable a => a -> a -> a infixl 2

(<&&>) :: Mergeable a => a -> a -> a infixl 2