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/Witness/index.html

Module `Bonsai_quickcheck.Witness`Source

Sourcetype ('a, 'cmp) t =

| Unit : (unit, Core.Unit.comparator_witness) t
| Int : (int, Core.Int.comparator_witness) t
| Either : ('a, 'cmp_a) t * ('b, 'cmp_b) t -> (('a, 'b) Core.Either.t, ('cmp_a, 'cmp_b) Core.Either.comparator_witness) t
| Tuple : ('a, 'cmp_a) t * ('b, 'cmp_b) t -> (('a, 'b) Core.Tuple2.t, ('cmp_a, 'cmp_b) Core.Tuple2.comparator_witness) t
| Map : ('k, 'k_cmp) t * ('v, 'v_cmp) t -> (('k, 'v, 'k_cmp) Core.Map.t, ('k_cmp, 'v_cmp) Map_comparator.comparator_witness) t
| Effect_func : ('a, 'cmp) t -> ('a -> unit Bonsai.Effect.t, 'cmp Effect_func_comparator.comparator_witness) t

Sourcetype packed =

| T : ('a, 'cmp) t -> packed

Sourceval equal : ('w, 'cmp) t -> 'w -> 'w -> bool