package feat-core

Build not checked
  1. Overview
  2. Docs
Facilities for enumerating and sampling algebraic data types

Install 

dune-project
 Dependency

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

Authors

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

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=876efce3e1bdd1b5a00b7a1ced3acf24
sha512=b70b9d9da3c36907d2c5d6cb9028e69e1ec5c1335b838cb2da3d388fcf90123ea3c2c6a52ea76592c3802126832960af295a128b759acb47bb5500e7e4861116

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. fix >= "20201120"
  2. seq
  3. dune >= "1.4"
  4. ocaml >= "4.03"

Dev Dependencies

None

Optional Dependencies

None

Used by (1)

  1. feat-num = "20220101"

Conflicts

None

Build status

Results of building feat-core with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. 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.

This version is not in the latest run; the versions below are.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
20220407 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