package feat-num

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Description

Published: 07 Apr 2022

README

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.

Dependencies (4)

  1. num
  2. feat-core = version
  3. dune >= "1.4"
  4. ocaml >= "4.03"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.