package bonsai

You can search for identifiers within the package.

in-package search v0.2.0

A library for building dynamic webapps, using Js_of_ocaml

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (6)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

bonsai-v0.16.0.tar.gz

sha256=1d68aab713659951eba5b85f21d6f9382e0efa8579a02c3be65d9071c6e86303

doc/bonsai.quickcheck/Bonsai_quickcheck/Computation/index.html

Module `Bonsai_quickcheck.Computation`Source

Sourcetype 'a t =

| Return : 'a Value.t -> 'a t
| Subst : 'a t * ('a, 'cmp) Witness.t * ('a Value.t -> 'b t) -> 'b t
| Subst2 : {
1. tuple_computation : ('f * 's) t;
2. first_witness : ('f, _) Witness.t;
3. second_witness : ('s, _) Witness.t;
4. f : 'f Value.t -> 's Value.t -> 'r t;
} -> 'r t
| Switch : {
1. either_value : ('f, 's) Core.Either.t Value.t;
2. first_witness : ('f, _) Witness.t;
3. second_witness : ('s, _) Witness.t;
4. f_first : 'f Value.t -> 'r t;
5. f_second : 's Value.t -> 'r t;
} -> 'r t
| Assoc : {
1. map_value : ('k, 'v, 'cmp) Core.Map.t Value.t;
2. key_witness : ('k, 'cmp) Witness.t;
3. value_witness : ('v, _) Witness.t;
4. result_witness : ('r, _) Witness.t;
5. f : 'k Value.t -> 'v Value.t -> 'r t;
} -> ('k, 'r, 'cmp) Core.Map.t t
| State : {
1. default_model : 'a;
2. default_witness : ('a, _) Witness.t;
} -> ('a * ('a -> unit Bonsai.Effect.t)) t

Sourcetype packed =

| T : {
1. unpacked : 'a t;
2. witness : ('a, 'cmp) Witness.t;
} -> packed