Safe Haskell | None |
---|---|

Language | Haskell98 |

- data Map a b
- unknown :: (MonadSAT m, Ord a) => [a] -> m b -> m (Map a b)
- constant :: (MonadSAT m, Ord a) => [(a, c)] -> (c -> m b) -> m (Map a b)
- (!) :: Ord k => Map k a -> k -> a
- elems :: Map k a -> [a]
- keys :: Map k a -> [k]
- toList :: Map k a -> [(k, a)]
- fromList :: Ord a => [(a, b)] -> Map a b
- map :: (a1 -> b) -> Map a a1 -> Map a b
- mapWithKey :: (a -> a1 -> b) -> Map a a1 -> Map a b