Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type (:.%) t u a = (Covariant t, Contravariant u) => t (u a) infixr 0 Source #
type (%.:) t u a = (Contravariant t, Covariant u) => t (u a) infixr 0 Source #
type (%.%) t u a = (Contravariant t, Contravariant u) => t (u a) infixr 0 Source #