search

purescript-deprecated / purescript-maps

33 stars 33 forks source link

folds over keys #133

Open matthewleon opened 6 years ago

matthewleon commented 6 years ago

Is this desired? While you can achieve the desired effect with the WithIndex functions, it lacks some elegance.

hdgarrood commented 6 years ago

Are you thinking of something like foldKeys f = foldSubmap Nothing Nothing (\k _ -> f k)?