Copyright | (C) 2014-2017 Ryan Scott |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Ryan Scott |
Stability | Provisional |
Portability | GHC |
Safe Haskell | None |
Language | Haskell2010 |
TextShow.Data.Bifunctor
Contents
Description
TextShow
instances for data types in the bifunctors
library.
Since: 2
Orphan instances
TextShow2 p => TextShow1 (Join * p) # | Since: 2 |
TextShow2 p => TextShow1 (Fix * p) # | Since: 2 |
TextShow (p a a) => TextShow (Join k p a) # | Since: 2 |
TextShow (p (Fix k p a) a) => TextShow (Fix k p a) # | Since: 2 |
TextShow2 p0 => TextShow2 (WrappedBifunctor * * p0) # | Since: 2 |
TextShow1 g0 => TextShow2 (Joker * * g0) # | Since: 2 |
TextShow2 p0 => TextShow2 (Flip * * p0) # | Since: 2 |
TextShow1 f0 => TextShow2 (Clown * * f0) # | Since: 2 |
(TextShow2 p, TextShow a) => TextShow1 (WrappedBifunctor * * p a) # | Since: 2 |
TextShow1 g => TextShow1 (Joker k * g a) # | Since: 2 |
(TextShow2 p, TextShow a) => TextShow1 (Flip * * p a) # | Since: 2 |
TextShow (f a) => TextShow1 (Clown * k1 f a) # | Since: 2 |
(TextShow2 f0, TextShow2 g0) => TextShow2 (Product * * f0 g0) # | Since: 2 |
(TextShow2 p0, TextShow2 q0) => TextShow2 (Sum * * p0 q0) # | Since: 2 |
TextShow (p a b) => TextShow (WrappedBifunctor k k1 p a b) # | Since: 2 |
TextShow (g b) => TextShow (Joker k k1 g a b) # | Since: 2 |
TextShow (p b a) => TextShow (Flip k k1 p a b) # | Since: 2 |
TextShow (f a) => TextShow (Clown k k1 f a b) # | Since: 2 |
(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Product * * f g a) # | Since: 2 |
(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Sum * * f g a) # | Since: 2 |
(TextShow1 f0, TextShow2 p0) => TextShow2 (Tannen * * * f0 p0) # | Since: 2 |
(TextShow (f a b), TextShow (g a b)) => TextShow (Product k k1 f g a b) # | Since: 2 |
(TextShow (f a b), TextShow (g a b)) => TextShow (Sum k k1 f g a b) # | Since: 2 |
(TextShow1 f, TextShow2 p, TextShow a) => TextShow1 (Tannen * * * f p a) # | Since: 2 |
TextShow (f (p a b)) => TextShow (Tannen k k1 k2 f p a b) # | Since: 2 |
(TextShow2 p0, TextShow1 f0, TextShow1 g0) => TextShow2 (Biff * * * * p0 f0 g0) # | Since: 2 |
(TextShow2 p, TextShow1 f, TextShow1 g, TextShow a) => TextShow1 (Biff * * * * p f g a) # | Since: 2 |
TextShow (p (f a) (g b)) => TextShow (Biff k k1 k2 k3 p f g a b) # | Since: 2 |