| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Types.Variance
Documentation
Constructors
| Invariant | |
| Bivariant | |
| Contravariant | |
| Covariant |
type VarianceInfo = [Variance] Source #
liquidhaskell-0.8.2.2: Liquid Types for Haskell
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Types.Variance
Constructors
| Invariant | |
| Bivariant | |
| Contravariant | |
| Covariant |
type VarianceInfo = [Variance] Source #