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 p a)

Since: 2

Methods

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

showb :: Join p a -> Builder

showbList :: [Join p a] -> Builder

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

showt :: Join p a -> Text

showtList :: [Join p a] -> Text

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

showtl :: Join p a -> Text

showtlList :: [Join p a] -> Text

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

Since: 2

Methods

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

showb :: Fix p a -> Builder

showbList :: [Fix p a] -> Builder

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

showt :: Fix p a -> Text

showtList :: [Fix p a] -> Text

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

showtl :: Fix p a -> Text

showtlList :: [Fix p a] -> Text

TextShow2 p => TextShow2 (WrappedBifunctor p)

Since: 2

Methods

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

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

TextShow1 g => TextShow2 (Joker g :: Type -> Type -> Type)

Since: 2

Methods

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

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

TextShow2 p => TextShow2 (Flip p)

Since: 2

Methods

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

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

TextShow1 f => TextShow2 (Clown f :: Type -> Type -> Type)

Since: 2

Methods

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

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

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

Since: 2

Methods

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

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

TextShow1 g => TextShow1 (Joker g a)

Since: 2

Methods

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

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

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

Since: 2

Methods

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

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

TextShow (f a) => TextShow1 (Clown f a :: Type -> Type)

Since: 2

Methods

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

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

(TextShow2 p, TextShow2 q) => TextShow2 (Sum p q)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Sum p q a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Sum p q a b] -> Builder

(TextShow2 f, TextShow2 g) => TextShow2 (Product f g)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Product f g a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Product f g a b] -> Builder

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

Since: 2

Methods

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

showb :: WrappedBifunctor p a b -> Builder

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

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

showt :: WrappedBifunctor p a b -> Text

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

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

showtl :: WrappedBifunctor p a b -> Text

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

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

Since: 2

Methods

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

showb :: Joker g a b -> Builder

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

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

showt :: Joker g a b -> Text

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

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

showtl :: Joker g a b -> Text

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

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

Since: 2

Methods

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

showb :: Flip p a b -> Builder

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

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

showt :: Flip p a b -> Text

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

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

showtl :: Flip p a b -> Text

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

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

Since: 2

Methods

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

showb :: Clown f a b -> Builder

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

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

showt :: Clown f a b -> Text

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

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

showtl :: Clown f a b -> Text

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

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

Since: 2

Methods

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

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

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

Since: 2

Methods

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

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

(TextShow1 f, TextShow2 p) => TextShow2 (Tannen f p)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Tannen f p a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Tannen f p a b] -> Builder

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

Since: 2

Methods

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

showb :: Sum f g a b -> Builder

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

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

showt :: Sum f g a b -> Text

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

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

showtl :: Sum f g a b -> Text

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

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

Since: 2

Methods

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

showb :: Product f g a b -> Builder

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

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

showt :: Product f g a b -> Text

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

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

showtl :: Product f g a b -> Text

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

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

Since: 2

Methods

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

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

TextShow (f (p a b)) => TextShow (Tannen f p a b)

Since: 2

Methods

showbPrec :: Int -> Tannen f p a b -> Builder

showb :: Tannen f p a b -> Builder

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

showtPrec :: Int -> Tannen f p a b -> Text

showt :: Tannen f p a b -> Text

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

showtlPrec :: Int -> Tannen f p a b -> Text

showtl :: Tannen f p a b -> Text

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

(TextShow2 p, TextShow1 f, TextShow1 g) => TextShow2 (Biff p f g)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Biff p f g a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Biff p f g a b] -> Builder

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

Since: 2

Methods

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

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

TextShow (p (f a) (g b)) => TextShow (Biff p f g a b)

Since: 2

Methods

showbPrec :: Int -> Biff p f g a b -> Builder

showb :: Biff p f g a b -> Builder

showbList :: [Biff p f g a b] -> Builder

showtPrec :: Int -> Biff p f g a b -> Text

showt :: Biff p f g a b -> Text

showtList :: [Biff p f g a b] -> Text

showtlPrec :: Int -> Biff p f g a b -> Text

showtl :: Biff p f g a b -> Text

showtlList :: [Biff p f g a b] -> Text