arith-encode: A practical arithmetic encoding (aka Godel numbering) library.

[ bsd3, data, deprecated, library, serialization, test, testing ] [ Propose Tags ]
Deprecated. in favor of cantor-pairing, finitary, smallcheck

A library providing tools and various schemes for encoding arbitrary datatypes as natural numbers. The underlying theory is that of isomorphisms with the natural numbers (known as Godel numbering). The library provides functionality for defining multiple such encodings for a given datatype, as well as a collection of stock encodings and combinators which can be used to build more complex encodings.

This has various uses, among them binary serialization/deserialization and enumeration testing.

Versions [RSS] [faq] 0.6.0, 0.7.0, 1.0.0, 1.0.1, 1.0.2
Dependencies arithmoi (<0.5), array, base (>=4.4.0 && <4.8), binary, Cabal (>=1.16.0), containers, fgl, hashable, unordered-containers [details]
License BSD-3-Clause
Copyright Copyright (c) 2014 Eric McCorkle. All rights reserved.
Author Eric McCorkle
Maintainer Eric McCorkle <>
Revised Revision 2 made by Bodigrim at 2020-11-07T12:48:48Z
Category Data, Serialization, Test, Testing
Home page
Bug tracker
Source repo head: git clone
Uploaded by emc2 at 2014-10-14T13:36:55Z
Distributions NixOS:1.0.2
Downloads 4882 total (54 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees