Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
RIO.Map.Unchecked
Description
This module contains functions from "Data.Map.strict" that have unchecked preconditions on their input. If these preconditions are not satisfied, the data structure may end up in an invalid state and other operations may misbehave.
Synopsis
- mapKeysMonotonic :: (k1 -> k2) -> Map k1 a -> Map k2 a
- toAscList :: Map k a -> [(k, a)]
- fromAscList :: Eq k => [(k, a)] -> Map k a
- fromAscListWith :: Eq k => (a -> a -> a) -> [(k, a)] -> Map k a
- fromAscListWithKey :: Eq k => (k -> a -> a -> a) -> [(k, a)] -> Map k a
- fromDistinctAscList :: [(k, a)] -> Map k a
- toDescList :: Map k a -> [(k, a)]
- fromDescList :: Eq k => [(k, a)] -> Map k a
- fromDescListWith :: Eq k => (a -> a -> a) -> [(k, a)] -> Map k a
- fromDescListWithKey :: Eq k => (k -> a -> a -> a) -> [(k, a)] -> Map k a
- fromDistinctDescList :: [(k, a)] -> Map k a
Traversal
Map
mapKeysMonotonic :: (k1 -> k2) -> Map k1 a -> Map k2 a #
Conversion
Ordered lists
fromAscList :: Eq k => [(k, a)] -> Map k a #
fromAscListWith :: Eq k => (a -> a -> a) -> [(k, a)] -> Map k a #
fromAscListWithKey :: Eq k => (k -> a -> a -> a) -> [(k, a)] -> Map k a #
fromDistinctAscList :: [(k, a)] -> Map k a #
toDescList :: Map k a -> [(k, a)] #
fromDescList :: Eq k => [(k, a)] -> Map k a #
fromDescListWith :: Eq k => (a -> a -> a) -> [(k, a)] -> Map k a #
fromDescListWithKey :: Eq k => (k -> a -> a -> a) -> [(k, a)] -> Map k a #
fromDistinctDescList :: [(k, a)] -> Map k a #