Jordan.Types.Internal.MergeMap

Provides a MergeMap, which is basically a map with

Documentation

newtype MergeMap key val

A map where <> merges values with <>.

Constructors

MergeMap

Fields

• getMergeMap :: Map key val

Instances

Functor (MergeMap key)

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)

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)

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)

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)

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)

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)

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)

Defined in Jordan.Types.Internal.MergeMap

type Item (MergeMap key val) = Item (Map key val)

mergeSingleton :: k -> v -> MergeMap k v