zeolite-lang-0.7.0.2: Zeolite is a statically-typed, general-purpose programming language.

Safe HaskellSafe
LanguageHaskell2010

Base.Mergeable

Documentation

class Mergeable a where Source #

Methods

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

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

Instances
Mergeable () Source # 
Instance details

Defined in Base.Mergeable

Methods

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

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

Mergeable [a] Source # 
Instance details

Defined in Base.Mergeable

Methods

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

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

Mergeable (MergeTree a) Source # 
Instance details

Defined in Base.MergeTree

Methods

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

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

Monoid s => Mergeable (CompiledData s) Source # 
Instance details

Defined in Compilation.CompilerState

(Ord k, Mergeable a) => Mergeable (Map k a) Source # 
Instance details

Defined in Base.Mergeable

Methods

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

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

class Monad m => MergeableM m where Source #

Methods

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

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

Instances
MergeableM Maybe Source # 
Instance details

Defined in Base.Mergeable

Methods

mergeAnyM :: (Mergeable a, Foldable f) => f (Maybe a) -> Maybe a Source #

mergeAllM :: (Mergeable a, Foldable f) => f (Maybe a) -> Maybe a Source #

MergeableM Identity Source # 
Instance details

Defined in Base.Mergeable

Methods

mergeAnyM :: (Mergeable a, Foldable f) => f (Identity a) -> Identity a Source #

mergeAllM :: (Mergeable a, Foldable f) => f (Identity a) -> Identity a Source #