liquidhaskell-0.5.0.1: 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