Agda-2.6.1.3: A dependently typed functional programming language and proof assistant

Safe Haskell	None
Language	Haskell2010

Agda.Utils.Map

Contents

Non-monadic map operations

Synopsis

filterKeys :: (k -> Bool) -> Map k a -> Map k a
mapMaybeKeys :: (Ord k1, Ord k2) => (k1 -> Maybe k2) -> Map k1 a -> Map k2 a

Non-monadic map operations

filterKeys :: (k -> Bool) -> Map k a -> Map k a Source #

Filter a map based on the keys.

mapMaybeKeys :: (Ord k1, Ord k2) => (k1 -> Maybe k2) -> Map k1 a -> Map k2 a Source #

O(n log n). Rebuilds the map from scratch. Not worse than mapKeys.