package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.09.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Xavier Leroy

Maintainers

Sources

4.09.0.tar.gz

sha256=a7bc044167e7d09f8e3ea84b88ec9d81392908ecdac861d3d5015e5f0fc496a3

md5=76ac39570fc88b16fda2a94db7cd5cf3

doc/ocamlcommon/Typedecl_variance/index.html

Module `Typedecl_variance`

type surface_variance = bool * bool * bool

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

val variance_of_sdecl : Parsetree.type_declaration -> surface_variance list

type prop = Types.Variance.t list

type req = surface_variance list

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

type error =

| Bad_variance of int * surface_variance * surface_variance
| Varying_anonymous

exception Error of Location.t * error

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

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

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

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