The enumeration package

[Tags:bsd3, library, test]

A library providing tools for building enumeration procedures for recursively- enumerable datatypes. This is built atop the arith-encode library, and makes use of the natural number isomorphisms it provides to represent individual decisions in the enumeration procedure. As such, each enumeration result is denoted by a unique path, consisting of a sequence of natural numbers. An enumeration procedure is simply a (partial) mapping between sequences and a given datatype.

The library provides functionality for constructing enumeration procedures, as well as facilities for performing enumeration according to various search strategies (depth-first, breadth-first, etc). These procedures can also be warm-started using a path or a set of paths. Obvious applications include exhaustive search, testing, automated proving, and others.

Additionally, as a path is simply a sequence of natural numbers, an enumeration procedure can double as a binary serializer/deserializer. For well-behaved enumeration procedures (ie. those where the mapping is an isomorphism), the resulting binary format should be very nearly succinct.

This is the first release candidate for 1.0 (initial release)


Versions 0.1.0
Dependencies arith-encode, arithmoi, base (>=4.4.0 && <5), binary, Cabal (>=1.16.0), containers, heap [details]
License BSD3
Copyright Copyright (c) 2014 Eric McCorkle. All rights reserved.
Author Eric McCorkle
Maintainer Eric McCorkle <>
Stability Beta
Category Data, Serialization, Test, Testing
Home page
Bug tracker
Source repository head: git clone
Uploaded Thu Oct 16 13:09:43 UTC 2014 by emc2
Distributions NixOS:0.1.0
Downloads 280 total (3 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees