(**
 * Copyright (c) 2018-present, Facebook, Inc.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 *)

open Ty_normalizer_env

type error_kind =
  | BadMethodType
  | BadBoundT
  | BadCallProp
  | BadClassT
  | BadPoly
  | BadTypeAlias
  | BadTypeApp
  | BadInternalT
  | BadInstanceT
  | BadEvalT
  | BadUse
  | ShadowTypeParam
  | UnsupportedTypeCtor
  | UnsupportedUseCtor

type error = error_kind * string

val error_to_string: error -> string

val from_type:
  options:options -> genv:genv ->
  Type.t ->
  (Ty.t, error) result

val from_scheme:
  options:options -> genv:genv ->
  Type.TypeScheme.t ->
  (Ty.t, error) result

(* The following differ from mapping `from_type` on each input as it folds over
   the input elements of the input propagating the state (caches) after each
   transformation to the next element. *)
val from_types:
  options:options -> genv:genv ->
  ('a * Type.t) list ->
  ('a * (Ty.t, error) result) list

val from_schemes:
  options:options -> genv:genv ->
  ('a * Type.TypeScheme.t) list ->
  ('a * (Ty.t, error) result) list

val fold_hashtbl:
  options:options -> genv:genv ->
  f:('a -> (Loc.t * (Ty.t, error) result) -> 'a) ->
  g:('b -> Type.TypeScheme.t) ->
  htbl: (Loc.t, 'b) Hashtbl.t ->
  'a -> 'a
