Types.Variance

Documentation

data Variance

Constructors

Contravariant

Invariant

Covariant

Instances

Eq Variance

Defined in Types.Variance

Methods

(==) :: Variance -> Variance -> Bool

(/=) :: Variance -> Variance -> Bool

Ord Variance

Defined in Types.Variance

Methods

compare :: Variance -> Variance -> Ordering

(<) :: Variance -> Variance -> Bool

(<=) :: Variance -> Variance -> Bool

(>) :: Variance -> Variance -> Bool

(>=) :: Variance -> Variance -> Bool

max :: Variance -> Variance -> Variance

min :: Variance -> Variance -> Variance

Show Variance

Defined in Types.Variance

Methods

showsPrec :: Int -> Variance -> ShowS

show :: Variance -> String

showList :: [Variance] -> ShowS

composeVariance :: Variance -> Variance -> Variance

paramAllowsVariance :: Variance -> Variance -> Bool