The enumeration package

[ Tags: bsd3, data, library, serialization, test, testing ] [ Propose Tags ]

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 <>
Category Data, Serialization, Test, Testing
Home page
Bug tracker
Source repo head: git clone
Uploaded Thu Oct 16 13:09:43 UTC 2014 by emc2
Distributions NixOS:0.1.0
Downloads 457 total (6 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees