Module Bonsai_quickcheck.ComputationSource

Sourcetype 'a t =
  1. | Return : 'a Value.t -> 'a t
  2. | Subst : 'a t * ('a, 'cmp) Witness.t * ('a Value.t -> 'b t) -> 'b t
  3. | 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
  4. | 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
  5. | 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
  6. | State : {
    1. default_model : 'a;
    2. default_witness : ('a, _) Witness.t;
    } -> ('a * ('a -> unit Bonsai.Effect.t)) t
Sourcetype packed =
  1. | T : {
    1. unpacked : 'a t;
    2. witness : ('a, 'cmp) Witness.t;
    } -> packed