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