feat-core

Facilities for enumerating and sampling algebraic data types
README

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.

Install
Sources
archive.tar.gz
md5=23cc28b0ed3aba97c0aec44f620e04de
sha512=e8903c0ff3c1185c4d24a4b39ed641b8200fd9feb18dcc60f23ca4bf6053d6c17f5a037b732fa8f301f41b86a761ae6ffe52272e6deb997730f62bd1c065afcc
Dependencies
fix
>= "20201120"
dune
>= "1.4"
ocaml
>= "4.03"
Reverse Dependencies
feat
>= "20220407"
feat-num
>= "20220407"