Typedecl_variance (merlin-lib.merlin-lib.ocaml_typing.Ocaml_typing.Typedecl

Sourcetype surface_variance = bool * bool * bool

val variance_of_params : 
  (Ocaml_parsing.Parsetree.core_type
   * (Ocaml_parsing.Asttypes.variance * Ocaml_parsing.Asttypes.injectivity))
    list ->
  surface_variance list

Source

val variance_of_sdecl : 
  Ocaml_parsing.Parsetree.type_declaration ->
  surface_variance list

Sourcetype prop = Types.Variance.t list

Sourcetype req = surface_variance list

Sourceval property : (Types.Variance.t list, req) Typedecl_properties.property

Sourcetype variance_variable_context =

| Type_declaration of Ident.t * Types.type_declaration
| Gadt_constructor of Types.constructor_declaration
| Extension_constructor of Ident.t * Types.extension_constructor

Sourcetype variance_variable_error =

| No_variable
| Variance_not_reflected
| Variance_not_deducible

Sourcetype variance_error =

| Variance_not_satisfied of int
| Variance_variable_error of {
1. error : variance_variable_error;
2. context : variance_variable_context;
3. variable : Types.type_expr;
}

Sourcetype error =

| Bad_variance of variance_error * surface_variance * surface_variance
| Varying_anonymous

Sourceexception Error of Ocaml_parsing.Location.t * error

Source

val check_variance_extension : 
  Env.t ->
  Types.type_declaration ->
  Typedtree.extension_constructor ->
  (req * Ocaml_parsing.Location.t) ->
  unit

Source

val compute_decl : 
  Env.t ->
  check:Ident.t option ->
  Types.type_declaration ->
  req ->
  prop

Source

val update_decls : 
  Env.t ->
  Ocaml_parsing.Parsetree.type_declaration list ->
  (Ident.t * Types.type_declaration) list ->
  (Ident.t * Types.type_declaration) list

Source

val update_class_decls : 
  Env.t ->
  (Ident.t
   * Typedecl_properties.decl
   * Types.class_declaration
   * Types.class_type_declaration
   * 'a Typedtree.class_infos)
    list ->
  (Typedecl_properties.decl
   * Types.class_declaration
   * Types.class_type_declaration)
    list