hphp/hack/test/integration_ml/integration_test_base_types.ml

   1 (**
   2  * Copyright (c) 2016, Facebook, Inc.
   3  * All rights reserved.
   4  *
   5  * This source code is licensed under the MIT license found in the
   6  * LICENSE file in the "hack" directory of this source tree.
   7  *
   8  *
   9  *)
  10
  11 type 'a new_client_type =
  12   | RequestResponse of 'a ServerCommandTypes.t
  13   | ConnectPersistent
  14
  15  type 'a persistent_client_type =
  16    | Request of 'a ServerCommandTypes.t
  17    | UncleanDisconect of 'a ServerCommandTypes.t
  18
  19 type disk_changes_type = (string * string) list
  20
  21 type ('a, 'b) loop_inputs = {
  22   disk_changes : disk_changes_type;
  23   new_client : 'a new_client_type option;
  24   persistent_client_request : 'b persistent_client_type option;
  25 }
  26
  27 type ('a, 'b) loop_outputs = {
  28   did_read_disk_changes : bool;
  29   rechecked_count : int;
  30   total_rechecked_count : int;
  31   last_actual_total_rechecked_count : int option;
  32   new_client_response : 'a option;
  33   persistent_client_response : 'b option;
  34   push_message : ServerCommandTypes.push option;
  35 }