Add .mli for serverRefactor.mli

Reviewed By: vsiles

Differential Revision: D39157785

fbshipit-source-id: c9d9a9f53c8b2b4b5332ec9c5e012b89ef0772d1

Author: Wilfred

hphp/hack/src/server/serverRefactor.mli

@@ -0,0 +1,42 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the "hack" directory of this source tree.
+ *
+ *)
+
+val get_fixme_patches :
+  int list -> ServerEnv.env -> ServerRefactorTypes.patch list
+
+val get_lambda_parameter_rewrite_patches :
+  Provider_context.t -> string list -> ServerRefactorTypes.patch list
+
+val get_type_params_type_rewrite_patches :
+  Provider_context.t -> string list -> ServerRefactorTypes.patch list
+
+val go :
+  Provider_context.t ->
+  ServerRefactorTypes.action ->
+  ServerEnv.genv ->
+  ServerEnv.env ->
+  ServerEnv.env
+  * ServerRefactorTypes.patch list ServerCommandTypes.Done_or_retry.t
+
+val go_sound_dynamic :
+  Provider_context.t ->
+  ServerRefactorTypes.action ->
+  ServerEnv.genv ->
+  ServerEnv.env ->
+  ServerEnv.env * string ServerCommandTypes.Done_or_retry.t
+
+val go_ide :
+  Provider_context.t ->
+  string * int * int ->
+  string ->
+  ServerEnv.genv ->
+  ServerEnv.env ->
+  ( ServerEnv.env
+    * ServerRefactorTypes.patch list ServerCommandTypes.Done_or_retry.t,
+    string )
+  result