Welcome to the
We are at an early stage of development, but contributions are more than welcome. If you are interested, feel free to submit a pull request.
What is this about?
This library defines the type of grouped lists,
Grouped. Values of this type are lists
with a finite number of elements. The only
special feature is that consecutive elements
that are equal on the list are internally
represented as a single element annotated
with the number of repetitions. Therefore,
operations on lists that have many consecutive
repetitions perform much better, and memory
usage is reduced. However, this type is suboptimal
for lists that do not have many consecutive
repetitions. We are trying to ameliorate this.
IsList instance to use with the OverloadedLists language extension.
Two test suites added, one with example-based tests, and other with property-based tests.
- Addition of