hphp/hack/src/typing/typing_mutability.mli

   1 (**
   2  * Copyright (c) 2017, 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 module T = Tast
  10
  11 val handle_assignment_mutability : Typing_env.env -> T.expr -> T.expr -> Typing_env.env
  12 val freeze_local : Pos.t -> Typing_env.env -> T.expr list -> Typing_env.env
  13 val check_rx_mutable_arguments : Pos.t -> Typing_env.env -> T.expr list -> unit
  14 val enforce_mutable_call : Typing_env.env -> T.expr -> unit
  15 val check_function_return_value:
  16   function_returns_mutable: bool ->
  17   function_returns_void_for_rx: bool ->
  18   Typing_env.env ->
  19   Pos.t ->
  20   T.expr ->
  21   unit
  22 val check_unset_target: Typing_env.env -> T.expr -> unit