TextShow.Data.Bifunctor

TextShow instances for data types in the bifunctors library.

Since: 2

Orphan instances

TextShow2 p => TextShow1 (Join * p)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Join * p a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Join * p a] -> Builder

TextShow2 p => TextShow1 (Fix * p)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Fix * p a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Fix * p a] -> Builder

TextShow (p a a) => TextShow (Join k p a)

Since: 2

Methods

showbPrec :: Int -> Join k p a -> Builder

showb :: Join k p a -> Builder

showbList :: [Join k p a] -> Builder

showtPrec :: Int -> Join k p a -> Text

showt :: Join k p a -> Text

showtList :: [Join k p a] -> Text

showtlPrec :: Int -> Join k p a -> Text

showtl :: Join k p a -> Text

showtlList :: [Join k p a] -> Text

TextShow (p (Fix k p a) a) => TextShow (Fix k p a)

Since: 2

Methods

showbPrec :: Int -> Fix k p a -> Builder

showb :: Fix k p a -> Builder

showbList :: [Fix k p a] -> Builder

showtPrec :: Int -> Fix k p a -> Text

showt :: Fix k p a -> Text

showtList :: [Fix k p a] -> Text

showtlPrec :: Int -> Fix k p a -> Text

showtl :: Fix k p a -> Text

showtlList :: [Fix k p a] -> Text

TextShow2 p0 => TextShow2 (WrappedBifunctor * * p0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> WrappedBifunctor * * p0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [WrappedBifunctor * * p0 a b] -> Builder

TextShow1 g0 => TextShow2 (Joker * * g0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Joker * * g0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Joker * * g0 a b] -> Builder

TextShow2 p0 => TextShow2 (Flip * * p0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Flip * * p0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Flip * * p0 a b] -> Builder

TextShow1 f0 => TextShow2 (Clown * * f0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Clown * * f0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Clown * * f0 a b] -> Builder

(TextShow2 p, TextShow a) => TextShow1 (WrappedBifunctor * * p a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> WrappedBifunctor * * p a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [WrappedBifunctor * * p a a] -> Builder

TextShow1 g => TextShow1 (Joker k * g a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Joker k * g a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Joker k * g a a] -> Builder

(TextShow2 p, TextShow a) => TextShow1 (Flip * * p a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Flip * * p a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Flip * * p a a] -> Builder

TextShow (f a) => TextShow1 (Clown * k1 f a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Clown * k1 f a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Clown * k1 f a a] -> Builder

(TextShow2 f0, TextShow2 g0) => TextShow2 (Product * * f0 g0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Product * * f0 g0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Product * * f0 g0 a b] -> Builder

(TextShow2 p0, TextShow2 q0) => TextShow2 (Sum * * p0 q0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Sum * * p0 q0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Sum * * p0 q0 a b] -> Builder

TextShow (p a b) => TextShow (WrappedBifunctor k k1 p a b)

Since: 2

Methods

showbPrec :: Int -> WrappedBifunctor k k1 p a b -> Builder

showb :: WrappedBifunctor k k1 p a b -> Builder

showbList :: [WrappedBifunctor k k1 p a b] -> Builder

showtPrec :: Int -> WrappedBifunctor k k1 p a b -> Text

showt :: WrappedBifunctor k k1 p a b -> Text

showtList :: [WrappedBifunctor k k1 p a b] -> Text

showtlPrec :: Int -> WrappedBifunctor k k1 p a b -> Text

showtl :: WrappedBifunctor k k1 p a b -> Text

showtlList :: [WrappedBifunctor k k1 p a b] -> Text

TextShow (g b) => TextShow (Joker k k1 g a b)

Since: 2

Methods

showbPrec :: Int -> Joker k k1 g a b -> Builder

showb :: Joker k k1 g a b -> Builder

showbList :: [Joker k k1 g a b] -> Builder

showtPrec :: Int -> Joker k k1 g a b -> Text

showt :: Joker k k1 g a b -> Text

showtList :: [Joker k k1 g a b] -> Text

showtlPrec :: Int -> Joker k k1 g a b -> Text

showtl :: Joker k k1 g a b -> Text

showtlList :: [Joker k k1 g a b] -> Text

TextShow (p b a) => TextShow (Flip k k1 p a b)

Since: 2

Methods

showbPrec :: Int -> Flip k k1 p a b -> Builder

showb :: Flip k k1 p a b -> Builder

showbList :: [Flip k k1 p a b] -> Builder

showtPrec :: Int -> Flip k k1 p a b -> Text

showt :: Flip k k1 p a b -> Text

showtList :: [Flip k k1 p a b] -> Text

showtlPrec :: Int -> Flip k k1 p a b -> Text

showtl :: Flip k k1 p a b -> Text

showtlList :: [Flip k k1 p a b] -> Text

TextShow (f a) => TextShow (Clown k k1 f a b)

Since: 2

Methods

showbPrec :: Int -> Clown k k1 f a b -> Builder

showb :: Clown k k1 f a b -> Builder

showbList :: [Clown k k1 f a b] -> Builder

showtPrec :: Int -> Clown k k1 f a b -> Text

showt :: Clown k k1 f a b -> Text

showtList :: [Clown k k1 f a b] -> Text

showtlPrec :: Int -> Clown k k1 f a b -> Text

showtl :: Clown k k1 f a b -> Text

showtlList :: [Clown k k1 f a b] -> Text

(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Product * * f g a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Product * * f g a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Product * * f g a a] -> Builder

(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Sum * * f g a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Sum * * f g a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Sum * * f g a a] -> Builder

(TextShow1 f0, TextShow2 p0) => TextShow2 (Tannen * * * f0 p0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Tannen * * * f0 p0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Tannen * * * f0 p0 a b] -> Builder

(TextShow (f a b), TextShow (g a b)) => TextShow (Product k k1 f g a b)

Since: 2

Methods

showbPrec :: Int -> Product k k1 f g a b -> Builder

showb :: Product k k1 f g a b -> Builder

showbList :: [Product k k1 f g a b] -> Builder

showtPrec :: Int -> Product k k1 f g a b -> Text

showt :: Product k k1 f g a b -> Text

showtList :: [Product k k1 f g a b] -> Text

showtlPrec :: Int -> Product k k1 f g a b -> Text

showtl :: Product k k1 f g a b -> Text

showtlList :: [Product k k1 f g a b] -> Text

(TextShow (f a b), TextShow (g a b)) => TextShow (Sum k k1 f g a b)

Since: 2

Methods

showbPrec :: Int -> Sum k k1 f g a b -> Builder

showb :: Sum k k1 f g a b -> Builder

showbList :: [Sum k k1 f g a b] -> Builder

showtPrec :: Int -> Sum k k1 f g a b -> Text

showt :: Sum k k1 f g a b -> Text

showtList :: [Sum k k1 f g a b] -> Text

showtlPrec :: Int -> Sum k k1 f g a b -> Text

showtl :: Sum k k1 f g a b -> Text

showtlList :: [Sum k k1 f g a b] -> Text

(TextShow1 f, TextShow2 p, TextShow a) => TextShow1 (Tannen * * * f p a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Tannen * * * f p a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Tannen * * * f p a a] -> Builder

TextShow (f (p a b)) => TextShow (Tannen k k1 k2 f p a b)

Since: 2

Methods

showbPrec :: Int -> Tannen k k1 k2 f p a b -> Builder

showb :: Tannen k k1 k2 f p a b -> Builder

showbList :: [Tannen k k1 k2 f p a b] -> Builder

showtPrec :: Int -> Tannen k k1 k2 f p a b -> Text

showt :: Tannen k k1 k2 f p a b -> Text

showtList :: [Tannen k k1 k2 f p a b] -> Text

showtlPrec :: Int -> Tannen k k1 k2 f p a b -> Text

showtl :: Tannen k k1 k2 f p a b -> Text

showtlList :: [Tannen k k1 k2 f p a b] -> Text

(TextShow2 p0, TextShow1 f0, TextShow1 g0) => TextShow2 (Biff * * * * p0 f0 g0)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Biff * * * * p0 f0 g0 a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Biff * * * * p0 f0 g0 a b] -> Builder

(TextShow2 p, TextShow1 f, TextShow1 g, TextShow a) => TextShow1 (Biff * * * * p f g a)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Biff * * * * p f g a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Biff * * * * p f g a a] -> Builder

TextShow (p (f a) (g b)) => TextShow (Biff k k1 k2 k3 p f g a b)

Since: 2

Methods

showbPrec :: Int -> Biff k k1 k2 k3 p f g a b -> Builder

showb :: Biff k k1 k2 k3 p f g a b -> Builder

showbList :: [Biff k k1 k2 k3 p f g a b] -> Builder

showtPrec :: Int -> Biff k k1 k2 k3 p f g a b -> Text

showt :: Biff k k1 k2 k3 p f g a b -> Text

showtList :: [Biff k k1 k2 k3 p f g a b] -> Text

showtlPrec :: Int -> Biff k k1 k2 k3 p f g a b -> Text

showtl :: Biff k k1 k2 k3 p f g a b -> Text

showtlList :: [Biff k k1 k2 k3 p f g a b] -> Text