This repository was archived by the owner on Oct 4, 2020. It is now read-only.

folds over keys #133

Open

matthewleon opened this issue Jan 17, 2018 · 1 comment

Contributor

matthewleon commented Jan 17, 2018

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

The text was updated successfully, but these errors were encountered:

Contributor

hdgarrood commented Jan 17, 2018

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.