liquidhaskell-0.3.0.0: Liquid Types for Haskell

Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Variance

Documentation

data Variance Source

Constructors

Invariant 
Bivariant 
Contravariant 
Covariant 

Instances

type VarianceInfo = [Variance] Source