this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "D. Le Botlan <lebotlan@users.forge.ocamlcore.org>"
3authors: [ "D. Le Botlan <lebotlan@users.forge.ocamlcore.org>" ]
4license: "GPL-3.0-only"
5homepage: "http://exenum.forge.ocamlcore.org/"
6dev-repo: "git+https://forge.ocamlcore.org/anonscm/git/exenum/exenum.git"
7bug-reports: "http://exenum.forge.ocamlcore.org/"
8build: [
9 [
10 "ocaml"
11 "setup.ml"
12 "-configure"
13 "--prefix"
14 prefix
15 "--%{lwt+camlp4:enable}%-lwt"
16 ]
17 ["ocaml" "setup.ml" "-build"]
18 [
19 "ocaml"
20 "setup.ml"
21 "-configure"
22 "--enable-tests"
23 "--%{lwt+camlp4:enable}%-lwt"
24 ] {with-test}
25 ["ocaml" "setup.ml" "-build"] {with-test}
26 ["ocaml" "setup.ml" "-test"] {with-test}
27 ["ocaml" "setup.ml" "-doc"] {with-doc}
28]
29install: ["ocaml" "setup.ml" "-install"]
30remove: [
31 ["ocamlfind" "remove" "exenum"]
32]
33depends: [
34 "ocaml" {< "5.0.0"}
35 "ocamlfind" {build}
36 "ocamlbuild" {build}
37 "num"
38]
39depopts: [
40 "lwt"
41 "camlp4"
42]
43synopsis:
44 "Build efficient enumerations for datatypes. Inspired by Feat for Haskell."
45description: """
46The exenum library offers constructors to build enumerations for
47datatypes, that is, functions from (arbitrarily large) integers to
48values. Such enumerations are typically used for unit testing. The
49library is efficient: the n-th element of an enumeration is returned
50without having computed the (n-1) previous elements. Complexity is in
51log(n), except for some pathological datatypes. See the homepage for
52details: http://exenum.forge.ocamlcore.org/
53Inspired by Feat: Functional Enumeration of Algebraic Types, by
54Duregard, Jansson, Wang, Chalmers University.
55As an example, consider the following datatype: type term = Var of
56string | App of term * term | Lambda of string * term
57Using exenum, one may easily generate zillions of different
58lambda-terms. In our specific example, term number 2000000000000
59happens to be ((((x v) (fun u -> y)) ((fun u -> y) (fun y -> y))) (((x
60v) (fun u -> v)) (fun u -> y)))
61Efficiency: computing lambda-term number 1E200 is instantaneous (on an
62antique Intel Centrino)."""
63flags: light-uninstall
64url {
65 src:
66 "https://download.ocamlcore.org/exenum/exenum-source/0.7/exenum-source-0.7.tgz"
67 checksum: [
68 "sha256=fb00581a24543ef3211ad90c079a421c143c823481b3b8d6170a5a4899b11f2e"
69 "md5=31ec3baafaff2fbd49eb420728fbf6db"
70 ]
71}