Safe Haskell	None
Language	Haskell2010

Jordan.Types.Internal.MergeMap

Description

Provides a MergeMap, which is basically a map with

Synopsis

newtype MergeMap key val = MergeMap {
- getMergeMap :: Map key val
}
mergeSingleton :: k -> v -> MergeMap k v

Documentation

newtype MergeMap key val Source #

A map where <> merges values with <>.

Constructors

MergeMap
Fields getMergeMap :: Map key val

Instances

Instances details

Functor (MergeMap key) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap Methods fmap :: (a -> b) -> MergeMap key a -> MergeMap key b # (<$) :: a -> MergeMap key b -> MergeMap key a #
Foldable (MergeMap key) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap Methods fold :: Monoid m => MergeMap key m -> m # foldMap :: Monoid m => (a -> m) -> MergeMap key a -> m # foldMap' :: Monoid m => (a -> m) -> MergeMap key a -> m # foldr :: (a -> b -> b) -> b -> MergeMap key a -> b # foldr' :: (a -> b -> b) -> b -> MergeMap key a -> b # foldl :: (b -> a -> b) -> b -> MergeMap key a -> b # foldl' :: (b -> a -> b) -> b -> MergeMap key a -> b # foldr1 :: (a -> a -> a) -> MergeMap key a -> a # foldl1 :: (a -> a -> a) -> MergeMap key a -> a # toList :: MergeMap key a -> [a] # null :: MergeMap key a -> Bool # length :: MergeMap key a -> Int # elem :: Eq a => a -> MergeMap key a -> Bool # maximum :: Ord a => MergeMap key a -> a # minimum :: Ord a => MergeMap key a -> a # sum :: Num a => MergeMap key a -> a # product :: Num a => MergeMap key a -> a #
Traversable (MergeMap key) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap Methods traverse :: Applicative f => (a -> f b) -> MergeMap key a -> f (MergeMap key b) # sequenceA :: Applicative f => MergeMap key (f a) -> f (MergeMap key a) # mapM :: Monad m => (a -> m b) -> MergeMap key a -> m (MergeMap key b) # sequence :: Monad m => MergeMap key (m a) -> m (MergeMap key a) #
Ord key => IsList (MergeMap key val) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap Associated Types type Item (MergeMap key val) # Methods fromList :: [Item (MergeMap key val)] -> MergeMap key val # fromListN :: Int -> [Item (MergeMap key val)] -> MergeMap key val # toList :: MergeMap key val -> [Item (MergeMap key val)] #
(Eq key, Eq val) => Eq (MergeMap key val) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap Methods (==) :: MergeMap key val -> MergeMap key val -> Bool # (/=) :: MergeMap key val -> MergeMap key val -> Bool #
(Semigroup val, Ord key) => Semigroup (MergeMap key val) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap Methods (<>) :: MergeMap key val -> MergeMap key val -> MergeMap key val # sconcat :: NonEmpty (MergeMap key val) -> MergeMap key val # stimes :: Integral b => b -> MergeMap key val -> MergeMap key val #
(Semigroup val, Ord key) => Monoid (MergeMap key val) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap Methods mempty :: MergeMap key val # mappend :: MergeMap key val -> MergeMap key val -> MergeMap key val # mconcat :: [MergeMap key val] -> MergeMap key val #
type Item (MergeMap key val) Source #
Instance details Defined in Jordan.Types.Internal.MergeMap type Item (MergeMap key val) = Item (Map key val)

mergeSingleton :: k -> v -> MergeMap k v Source #