Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

ModuleAgda-2.8.0.2Haskell2010

Agda.Utils.Map

Contents

Monadic map operations
Non-monadic map operations

Synopsis

value adjustM
value adjustM'

PackageAgda-2.8.0.2
Exports2
LanguageHaskell2010
LicenceMIT
SourceMap.hs

Monadic map operations

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