Base.Mergeable

Documentation

class Mergeable a where

Minimal complete definition

mergeAny, mergeAll

Methods

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

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

mergeNested :: a -> a -> a

mergeDefault :: a

Instances

Mergeable Bool

Defined in Base.Mergeable

Methods

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

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

mergeNested :: Bool -> Bool -> Bool

mergeDefault :: Bool

Mergeable ()

Defined in Base.Mergeable

Methods

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

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

mergeNested :: () -> () -> ()

mergeDefault :: ()

Mergeable [a]

Defined in Base.Mergeable

Methods

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

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

mergeNested :: [a] -> [a] -> [a]

mergeDefault :: [a]

Monoid s => Mergeable (CompiledData s)

Defined in Compilation.CompilerState

Methods

mergeAny :: Foldable f => f (CompiledData s) -> CompiledData s

mergeAll :: Foldable f => f (CompiledData s) -> CompiledData s

mergeNested :: CompiledData s -> CompiledData s -> CompiledData s

mergeDefault :: CompiledData s

class Monad m => MergeableM m where

Minimal complete definition

mergeAnyM, mergeAllM

Methods

mergeAnyM :: (Mergeable a, Foldable f) => f (m a) -> m a

mergeAllM :: (Mergeable a, Foldable f) => f (m a) -> m a

mergeNestedM :: Mergeable a => m a -> m a -> m a

mergeDefaultM :: Mergeable a => m a

Instances

MergeableM CompileInfo

Defined in Compilation.CompileInfo

Methods

mergeAnyM :: (Mergeable a, Foldable f) => f (CompileInfo a) -> CompileInfo a

mergeAllM :: (Mergeable a, Foldable f) => f (CompileInfo a) -> CompileInfo a

mergeNestedM :: Mergeable a => CompileInfo a -> CompileInfo a -> CompileInfo a

mergeDefaultM :: Mergeable a => CompileInfo a