Proposal for containers: Add 'pop' function to Data.Map

Tom Ellis tom-lists-haskell-cafe-2017 at
Sun Dec 6 16:25:54 UTC 2020

On Sun, Dec 06, 2020 at 05:19:23PM +0100, Martijn Bastiaan via Libraries wrote:
> Proposal:
>   * Add `pop` and `popWithDefault` to `Data.Map` and `Data.IntMap`.
>   * See for exact definition

Thanks. I wanted this recently! I contented myself with a
lookup/delete pair but your efficient implementation would be better.

More information about the Libraries mailing list