package feat

All checked builds pass
  1. Overview
  2. Docs
Facilities for enumerating and sampling algebraic data types, using Zarith for big numbers

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog MIT License Edit opam file Versions (1)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

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

Description

Added to opam-repository:

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. zarith
  2. feat-core = version
  3. dune >= "1.4"
  4. ocaml >= "4.03"

Dev Dependencies

None

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building feat with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
20220407 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure