Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype T_U ct cu p t u a Source #
T_U (p (t a) (u a)) |
Instances
type (>:.:<) t u p = T_U Contravariant Contravariant p t u infixr 2 Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
newtype T_U ct cu p t u a Source #
T_U (p (t a) (u a)) |
type (>:.:<) t u p = T_U Contravariant Contravariant p t u infixr 2 Source #