Module `Merlin_sherlodoc.Type_polarity`

Describes the polarity sign of a type negative for contravariant parameters and positive for covariant parameters (the return of the function).

type t

val positive : Merlin_sherlodoc.Type_polarity.t

val negative : Merlin_sherlodoc.Type_polarity.t

val negate : 
  Merlin_sherlodoc.Type_polarity.t ->
  Merlin_sherlodoc.Type_polarity.t

negate x returns positive if x is negative and negative if x is positive.

val equal : 
  Merlin_sherlodoc.Type_polarity.t ->
  Merlin_sherlodoc.Type_polarity.t ->
  bool

Equality between polarity sign.

val compare : 
  Merlin_sherlodoc.Type_polarity.t ->
  Merlin_sherlodoc.Type_polarity.t ->
  int

A comparison that act that negative < positive.

val to_string : Merlin_sherlodoc.Type_polarity.t -> string

Simple printer for polarity sign.

Module Merlin_sherlodoc.Type_polarity