TextShow2 p => TextShow1 (Fix p) Source # | Since: 2 |
Instance details |
TextShow2 p => TextShow1 (Join p) Source # | Since: 2 |
Instance details |
TextShow (p (Fix p a) a) => TextShow (Fix p a) Source # | Since: 2 |
Instance details |
TextShow (p a a) => TextShow (Join p a) Source # | Since: 2 |
Instance details |
TextShow1 f => TextShow2 (Clown f :: Type -> Type -> Type) Source # | Since: 2 |
Instance details |
TextShow2 p => TextShow2 (Flip p) Source # | Since: 2 |
Instance details |
TextShow1 g => TextShow2 (Joker g :: Type -> Type -> Type) Source # | Since: 2 |
Instance details |
TextShow2 p => TextShow2 (WrappedBifunctor p) Source # | Since: 2 |
Instance details |
TextShow (f a) => TextShow1 (Clown f a :: Type -> Type) Source # | Since: 2 |
Instance details |
(TextShow2 p, TextShow a) => TextShow1 (Flip p a) Source # | Since: 2 |
Instance details |
TextShow1 g => TextShow1 (Joker g a) Source # | Since: 2 |
Instance details |
(TextShow2 p, TextShow a) => TextShow1 (WrappedBifunctor p a) Source # | Since: 2 |
Instance details |
(TextShow2 f, TextShow2 g) => TextShow2 (Product f g) Source # | Since: 2 |
Instance details |
(TextShow2 p, TextShow2 q) => TextShow2 (Sum p q) Source # | Since: 2 |
Instance details |
TextShow (f a) => TextShow (Clown f a b) Source # | Since: 2 |
Instance details |
TextShow (p b a) => TextShow (Flip p a b) Source # | Since: 2 |
Instance details |
TextShow (g b) => TextShow (Joker g a b) Source # | Since: 2 |
Instance details |
TextShow (p a b) => TextShow (WrappedBifunctor p a b) Source # | Since: 2 |
Instance details |
(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Product f g a) Source # | Since: 2 |
Instance details |
(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Sum f g a) Source # | Since: 2 |
Instance details |
(TextShow1 f, TextShow2 p) => TextShow2 (Tannen f p) Source # | Since: 2 |
Instance details |
(TextShow (f a b), TextShow (g a b)) => TextShow (Product f g a b) Source # | Since: 2 |
Instance details |
(TextShow (f a b), TextShow (g a b)) => TextShow (Sum f g a b) Source # | Since: 2 |
Instance details |
(TextShow1 f, TextShow2 p, TextShow a) => TextShow1 (Tannen f p a) Source # | Since: 2 |
Instance details |
TextShow (f (p a b)) => TextShow (Tannen f p a b) Source # | Since: 2 |
Instance details |
(TextShow2 p, TextShow1 f, TextShow1 g) => TextShow2 (Biff p f g) Source # | Since: 2 |
Instance details |
(TextShow2 p, TextShow1 f, TextShow1 g, TextShow a) => TextShow1 (Biff p f g a) Source # | Since: 2 |
Instance details |
TextShow (p (f a) (g b)) => TextShow (Biff p f g a b) Source # | Since: 2 |
Instance details |