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

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
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 https://github.com/haskell/containers/pull/757 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