Data.AppendMap

Documentation

type AppendMap = MonoidalMap

Deprecated: Use MonoidalMap instead

AppendMap is a synonym for MonoidalMap

pattern AppendMap :: Map k v -> MonoidalMap k v

Deprecated: Use MonoidalMap instead

Pattern synonym for MonoidalMap

_unAppendMap :: MonoidalMap k v -> Map k v

Deprecated: Use getMonoidalMap instead

A synonym for getMonoidalMap

nonEmptyDelete :: Ord k => k -> MonoidalMap k a -> Maybe (MonoidalMap k a)

Deletes a key, returning Nothing if the result is empty.

mapMaybeNoNull :: (a -> Maybe b) -> MonoidalMap token a -> Maybe (MonoidalMap token b)

Like mapMaybe but indicates whether the resulting container is empty

showTree :: forall k a. (Show k, Show a) => MonoidalMap k a -> String

Displays a MonoidalMap as a tree. See showTree for details.

showTreeWith :: forall k a. (k -> a -> String) -> Bool -> Bool -> MonoidalMap k a -> String

Displays a MonoidalMap as a tree, using the supplied function to convert nodes to string.

module Data.Map.Monoidal

module Data.Map.Monoidal

Orphan instances

Filterable (MonoidalMap k)

Methods

mapMaybe :: (a -> Maybe b) -> MonoidalMap k a -> MonoidalMap k b

catMaybes :: MonoidalMap k (Maybe a) -> MonoidalMap k a

filter :: (a -> Bool) -> MonoidalMap k a -> MonoidalMap k a

Default (MonoidalMap k a)

Methods

def :: MonoidalMap k a