Module Merlin_sherlodoc.Type_polaritySource

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

Sourcetype t
Sourceval positive : t
Sourceval negative : t
Sourceval negate : t -> t

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

Sourceval equal : t -> t -> bool

Equality between polarity sign.

Sourceval compare : t -> t -> int

A comparison that act that negative < positive.

Sourceval to_string : t -> string

Simple printer for polarity sign.