Safe Haskell	None
Language	Haskell2010

Agda.Utils.IntMap

Documentation

forWithKey_ :: forall v m. Applicative m => IntMap v -> (Int -> v -> m ()) -> m () Source #