feat-num
  1. Overview
  2. Docs
Facilities for enumerating and sampling algebraic data types, using Num for big numbers

Install

Authors

Maintainers

Sources

archive.tar.gz
md5=23cc28b0ed3aba97c0aec44f620e04de
sha512=e8903c0ff3c1185c4d24a4b39ed641b8200fd9feb18dcc60f23ca4bf6053d6c17f5a037b732fa8f301f41b86a761ae6ffe52272e6deb997730f62bd1c065afcc

README.md.html

Feat

Feat is an OCaml library that offers support for counting, enumerating, and
sampling objects of a certain kind, such as (say) the inhabitants of an
algebraic data type.

Documentation

See the documentation of the latest released
version
.

The external library
Fix
comes in handy when building enumerations
of recursive algebraic data types:
see the demo.