search

jfdm / idris-containers

Various data structures for use in the Idris Language.
BSD 3-Clause "New" or "Revised" License
95 stars 21 forks source link

Improve queues #9

Closed treeowl closed 4 years ago

treeowl commented 9 years ago

The current queue implementation does not work properly in a persistent setting. It also doesn't have much in the way of proof behind it. I've opened pull request #10 to add Okasaki-style Banker's queues. They're rather more complicated, so it's quite possible that we should keep the simpler ones as well for the times when they're appropriate.

jfdm commented 4 years ago

As I said many years ago, this stuff is nice but would be better in idris' contrib package.