package merlin-lib

  1. Overview
  2. Docs
package merlin-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Types.VarianceSource

Sourcetype t
Sourcetype f =
  1. | May_pos
  2. | May_neg
  3. | May_weak
  4. | Inj
  5. | Pos
  6. | Neg
  7. | Inv
Sourceval null : t
Sourceval full : t
Sourceval covariant : t
Sourceval unknown : t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval subset : t -> t -> bool
Sourceval eq : t -> t -> bool
Sourceval set : f -> t -> t
Sourceval set_if : bool -> f -> t -> t
Sourceval mem : f -> t -> bool
Sourceval conjugate : t -> t
Sourceval compose : t -> t -> t
Sourceval strengthen : t -> t
Sourceval get_upper : t -> bool * bool
Sourceval get_lower : t -> bool * bool * bool
Sourceval unknown_signature : injective:bool -> arity:int -> t list

The most pessimistic variance for a completely unknown type.