reverse-list: reversed lists/snoc lists
The key idea of this library is to leverage the type system to control the performance characteristics of list-manipulation code.
It defines the type
RList, which is a snoc-list rather than a cons-list.
It also creates a symmetric module for cons-lists, which focuses on the efficient and safe use of linked lists.
See README.md for more information.
[Skip to Readme]
|Dependencies||base (>=4.14.3 && <4.16), containers (>=0.6 && <0.7), contiguous (>=0.6 && <0.7), deepseq (>=1.4 && <1.5) [details]|
|Copyright||2021 Eric Demko|
|Uploaded||by edemko at 2022-01-28T00:45:39Z|
|Downloads||44 total (8 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]