| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Utils.Map
- data EitherOrBoth a b
- unionWithM :: (Ord k, Functor m, Monad m) => (a -> a -> m a) -> Map k a -> Map k a -> m (Map k a)
- insertWithKeyM :: (Ord k, Monad m) => (k -> a -> a -> m a) -> k -> a -> Map k a -> m (Map k a)
- allWithKey :: (k -> a -> Bool) -> Map k a -> Bool
- filterKeys :: Ord k => (k -> Bool) -> Map k a -> Map k a
- unzip :: Map k (a, b) -> (Map k a, Map k b)
- unzip3 :: Map k (a, b, c) -> (Map k a, Map k b, Map k c)
Monadic map operations
data EitherOrBoth a b Source
unionWithM :: (Ord k, Functor m, Monad m) => (a -> a -> m a) -> Map k a -> Map k a -> m (Map k a) Source
Not very efficient (goes via a list), but it'll do.
insertWithKeyM :: (Ord k, Monad m) => (k -> a -> a -> m a) -> k -> a -> Map k a -> m (Map k a) Source
Non-monadic map operations
allWithKey :: (k -> a -> Bool) -> Map k a -> Bool Source
Big conjunction over a map.