Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- data NonEmptyMap k v
- singleton :: k -> v -> NonEmptyMap k v
- lookup :: Ord k => k -> NonEmptyMap k a -> Maybe a
- foldl1' :: (v -> v -> v) -> NonEmptyMap k v -> v
- foldr1' :: (v -> v -> v) -> NonEmptyMap k v -> v
- mapWithKey :: (k -> v -> w) -> NonEmptyMap k v -> NonEmptyMap k w
- toNonEmpty :: NonEmptyMap k v -> NonEmpty (k, v)
- toMap :: Ord k => NonEmptyMap k v -> Map k v
Documentation
data NonEmptyMap k v Source #
A non-empty map.
Instances
singleton :: k -> v -> NonEmptyMap k v Source #
A map with a single element.
foldl1' :: (v -> v -> v) -> NonEmptyMap k v -> v Source #
foldr1' :: (v -> v -> v) -> NonEmptyMap k v -> v Source #
mapWithKey :: (k -> v -> w) -> NonEmptyMap k v -> NonEmptyMap k w Source #
toNonEmpty :: NonEmptyMap k v -> NonEmpty (k, v) Source #