enumeration: A practical API for building recursive enumeration procedures and enumerating datatypes.

[ 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 [faq] 0.1.0
Dependencies arith-encode, arithmoi, base (>=4.4.0 && <5), binary, Cabal (>=1.16.0), containers, heap [details]
License BSD-3-Clause
Copyright Copyright (c) 2014 Eric McCorkle. All rights reserved.
Author Eric McCorkle
Maintainer Eric McCorkle <emc2@metricspace.net>
Category Data, Serialization, Test, Testing
Home page https://github.com/emc2/enumeration
Bug tracker https://github.com/emc2/enumeration/issues
Source repo head: git clone git@github.com:emc2/enumeration.git
Uploaded by emc2 at Thu Oct 16 13:09:43 UTC 2014
Distributions NixOS:0.1.0
Downloads 705 total (30 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees