hphp/hack/src/typing/type_visitor.mli

   1 (*
   2  * Copyright (c) 2015, 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 class type ['a] decl_type_visitor_type =
  11   object
  12     method on_tany : 'a -> Typing_reason.decl_t -> 'a
  13
  14     method on_terr : 'a -> Typing_reason.decl_t -> 'a
  15
  16     method on_tmixed : 'a -> Typing_reason.decl_t -> 'a
  17
  18     method on_tnonnull : 'a -> Typing_reason.decl_t -> 'a
  19
  20     method on_tdynamic : 'a -> Typing_reason.decl_t -> 'a
  21
  22     method on_tthis : 'a -> Typing_reason.decl_t -> 'a
  23
  24     method on_tvarray_or_darray :
  25       'a ->
  26       Typing_reason.decl_t ->
  27       Typing_defs.decl_ty ->
  28       Typing_defs.decl_ty ->
  29       'a
  30
  31     method on_tvec_or_dict :
  32       'a ->
  33       Typing_reason.decl_t ->
  34       Typing_defs.decl_ty ->
  35       Typing_defs.decl_ty ->
  36       'a
  37
  38     method on_tvarray : 'a -> Typing_reason.decl_t -> Typing_defs.decl_ty -> 'a
  39
  40     method on_tdarray :
  41       'a ->
  42       Typing_reason.decl_t ->
  43       Typing_defs.decl_ty ->
  44       Typing_defs.decl_ty ->
  45       'a
  46
  47     method on_tgeneric :
  48       'a -> Typing_reason.decl_t -> string -> Typing_defs.decl_ty list -> 'a
  49
  50     method on_toption : 'a -> Typing_reason.decl_t -> Typing_defs.decl_ty -> 'a
  51
  52     method on_tlike : 'a -> Typing_reason.decl_t -> Typing_defs.decl_ty -> 'a
  53
  54     method on_tprim : 'a -> Typing_reason.decl_t -> Aast.tprim -> 'a
  55
  56     method on_tvar : 'a -> Typing_reason.decl_t -> Ident.t -> 'a
  57
  58     method on_type : 'a -> Typing_defs.decl_ty -> 'a
  59
  60     method on_tfun :
  61       'a -> Typing_reason.decl_t -> Typing_defs.decl_fun_type -> 'a
  62
  63     method on_tapply :
  64       'a ->
  65       Typing_reason.decl_t ->
  66       Ast_defs.id ->
  67       Typing_defs.decl_ty list ->
  68       'a
  69
  70     method on_ttuple :
  71       'a -> Typing_reason.decl_t -> Typing_defs.decl_ty list -> 'a
  72
  73     method on_tunion :
  74       'a -> Typing_reason.decl_t -> Typing_defs.decl_ty list -> 'a
  75
  76     method on_tintersection :
  77       'a -> Typing_reason.decl_t -> Typing_defs.decl_ty list -> 'a
  78
  79     method on_tshape :
  80       'a ->
  81       Typing_reason.decl_t ->
  82       Typing_defs.shape_kind ->
  83       Typing_defs.decl_phase Typing_defs.shape_field_type
  84       Typing_defs.TShapeMap.t ->
  85       'a
  86
  87     method on_taccess :
  88       'a ->
  89       Typing_reason.decl_t ->
  90       Typing_defs.decl_phase Typing_defs.taccess_type ->
  91       'a
  92   end
  93
  94 class virtual ['a] decl_type_visitor : ['a] decl_type_visitor_type
  95
  96 class type ['a] locl_type_visitor_type =
  97   object
  98     method on_tany : 'a -> Typing_reason.t -> 'a
  99
 100     method on_terr : 'a -> Typing_reason.t -> 'a
 101
 102     method on_tnonnull : 'a -> Typing_reason.t -> 'a
 103
 104     method on_tdynamic : 'a -> Typing_reason.t -> 'a
 105
 106     method on_toption : 'a -> Typing_reason.t -> Typing_defs.locl_ty -> 'a
 107
 108     method on_tprim : 'a -> Typing_reason.t -> Aast.tprim -> 'a
 109
 110     method on_tvar : 'a -> Typing_reason.t -> Ident.t -> 'a
 111
 112     method on_type : 'a -> Typing_defs.locl_ty -> 'a
 113
 114     method on_tfun : 'a -> Typing_reason.t -> Typing_defs.locl_fun_type -> 'a
 115
 116     method on_tgeneric :
 117       'a -> Typing_reason.t -> string -> Typing_defs.locl_ty list -> 'a
 118
 119     method on_tnewtype :
 120       'a ->
 121       Typing_reason.t ->
 122       string ->
 123       Typing_defs.locl_ty list ->
 124       Typing_defs.locl_ty ->
 125       'a
 126
 127     method on_tdependent :
 128       'a ->
 129       Typing_reason.t ->
 130       Typing_defs.dependent_type ->
 131       Typing_defs.locl_ty ->
 132       'a
 133
 134     method on_ttuple : 'a -> Typing_reason.t -> Typing_defs.locl_ty list -> 'a
 135
 136     method on_tunion : 'a -> Typing_reason.t -> Typing_defs.locl_ty list -> 'a
 137
 138     method on_tintersection :
 139       'a -> Typing_reason.t -> Typing_defs.locl_ty list -> 'a
 140
 141     method on_tunion : 'a -> Typing_reason.t -> Typing_defs.locl_ty list -> 'a
 142
 143     method on_tintersection :
 144       'a -> Typing_reason.t -> Typing_defs.locl_ty list -> 'a
 145
 146     method on_tobject : 'a -> Typing_reason.t -> 'a
 147
 148     method on_tvarray_or_darray :
 149       'a -> Typing_reason.t -> Typing_defs.locl_ty -> Typing_defs.locl_ty -> 'a
 150
 151     method on_tvec_or_dict :
 152       'a -> Typing_reason.t -> Typing_defs.locl_ty -> Typing_defs.locl_ty -> 'a
 153
 154     method on_tvarray : 'a -> Typing_reason.t -> Typing_defs.locl_ty -> 'a
 155
 156     method on_tdarray :
 157       'a -> Typing_reason.t -> Typing_defs.locl_ty -> Typing_defs.locl_ty -> 'a
 158
 159     method on_tshape :
 160       'a ->
 161       Typing_reason.t ->
 162       Typing_defs.shape_kind ->
 163       Typing_defs.locl_phase Typing_defs.shape_field_type
 164       Typing_defs.TShapeMap.t ->
 165       'a
 166
 167     method on_tclass :
 168       'a ->
 169       Typing_reason.t ->
 170       Ast_defs.id ->
 171       Typing_defs.exact ->
 172       Typing_defs.locl_ty list ->
 173       'a
 174
 175     method on_tlist : 'a -> Typing_reason.t -> Typing_defs.locl_ty list -> 'a
 176
 177     method on_tunapplied_alias : 'a -> Typing_reason.t -> string -> 'a
 178
 179     method on_taccess :
 180       'a ->
 181       Typing_reason.t ->
 182       Typing_defs.locl_phase Typing_defs.taccess_type ->
 183       'a
 184   end
 185
 186 class virtual ['a] locl_type_visitor : ['a] locl_type_visitor_type
 187
 188 class type ['a] internal_type_visitor_type =
 189   object
 190     inherit ['a] locl_type_visitor_type
 191
 192     method on_internal_type : 'a -> Typing_defs.internal_type -> 'a
 193
 194     method on_constraint_type : 'a -> Typing_defs.constraint_type -> 'a
 195
 196     method on_locl_type : 'a -> Typing_defs.locl_ty -> 'a
 197
 198     method on_locl_type_list : 'a -> Typing_defs.locl_ty list -> 'a
 199
 200     method on_locl_type_option : 'a -> Typing_defs.locl_ty option -> 'a
 201
 202     method on_thas_member :
 203       'a -> Typing_reason.t -> Typing_defs.has_member -> 'a
 204
 205     method on_has_member : 'a -> Typing_reason.t -> Typing_defs.has_member -> 'a
 206
 207     method on_tdestructure :
 208       'a -> Typing_reason.t -> Typing_defs.destructure -> 'a
 209
 210     method on_destructure :
 211       'a -> Typing_reason.t -> Typing_defs.destructure -> 'a
 212
 213     method on_tcunion :
 214       'a ->
 215       Typing_reason.t ->
 216       Typing_defs.locl_ty ->
 217       Typing_defs.constraint_type ->
 218       'a
 219
 220     method on_tcintersection :
 221       'a ->
 222       Typing_reason.t ->
 223       Typing_defs.locl_ty ->
 224       Typing_defs.constraint_type ->
 225       'a
 226   end
 227
 228 class ['a] internal_type_visitor : ['a] internal_type_visitor_type