Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

ModuleAgda-2.7.0.1Haskell2010

Agda.Utils.Map

3 values

PackageAgda-2.7.0.1
Exports3
LanguageHaskell2010
LicenceMIT
SourceMap.hs

Monadic map operations

2 declarations

valueadjustM :: (Functor f, Ord k) => (v -> f v) -> k -> Map k v -> f (Map k v)

Update monadically the value at one position (must exist!).

valueadjustM'

:: (Functor f, Ord k)
=> v -> f (a, v)
-> k
-> Map k v
-> f (a, Map k v)

Wrapper for adjustM for convenience.

Non-monadic map operations

1 declaration

valuefilterKeys :: (k -> Bool) -> Map k a -> Map k a

Filter a map based on the keys.