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]
|Versions [RSS]||0.2.0, 0.3.0.0|
|Dependencies||base (>=4.8.2 && <4.17), containers (>=0.6 && <0.7), contiguous (>=0.6 && <0.7), deepseq (>=1.4 && <1.5) [details]|
|Copyright||2022-2023 Marseille Bouchard|
|Uploaded||by edemko at 2023-02-25T14:16:43Z|
|Downloads||96 total (4 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]