TextShow.Data.Bifunctor

Monomorphic TextShow functions for data types in the bifunctors library.

Since: 2

Documentation

showbBiffPrec :: TextShow (p (f a) (g b)) => Int -> Biff p f g a b -> Builder

Convert a Biff value to a Builder with the given precedence.

Since: 2

liftShowbBiffPrec2 :: (TextShow2 p, TextShow1 f, TextShow1 g) => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Biff p f g a b -> Builder

Convert a Biff value to a Builder with the given show functions and precedence.

Since: 3

showbClownPrec :: TextShow (f a) => Int -> Clown f a b -> Builder

Convert a Clown value to a Builder with the given precedence.

Since: 2

liftShowbClownPrec :: TextShow1 f => (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Clown f a b -> Builder

Convert a Clown value to a Builder with the given show functions and precedence.

Since: 3

showbFixPrec :: TextShow (p (Fix p a) a) => Int -> Fix p a -> Builder

Convert a Fix value to a Builder with the given precedence.

Since: 3

liftShowbFixPrec :: TextShow2 p => (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Fix p a -> Builder

Convert a Fix value to a Builder with the given show functions and precedence.

Since: 3

showbFlipPrec :: TextShow (p b a) => Int -> Flip p a b -> Builder

Convert a Flip value to a Builder with the given precedence.

Since: 2

liftShowbFlipPrec2 :: TextShow2 p => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Flip p a b -> Builder

Convert a Flip value to a Builder with the given show functions and precedence.

Since: 3

showbJoinPrec :: TextShow (p a a) => Int -> Join p a -> Builder

Convert a Join value to a Builder with the given precedence.

Since: 2

liftShowbJoinPrec :: TextShow2 p => (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Join p a -> Builder

Convert a Join value to a Builder with the given show functions and precedence.

Since: 3

showbJokerPrec :: TextShow (g b) => Int -> Joker g a b -> Builder

Convert a Joker value to a Builder with the given precedence.

Since: 2

liftShowbJokerPrec :: TextShow1 g => (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Joker g a b -> Builder

Convert a Joker value to a Builder with the given show functions and precedence.

Since: 3

showbProductPrec :: (TextShow (f a b), TextShow (g a b)) => Int -> Product f g a b -> Builder

Convert a Product value to a Builder with the given precedence.

Since: 2

liftShowbProductPrec2 :: (TextShow2 f, TextShow2 g) => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Product f g a b -> Builder

Convert a Product value to a Builder with the given show functions and precedence.

Since: 3

showbSumPrec :: (TextShow (f a b), TextShow (g a b)) => Int -> Sum f g a b -> Builder

Convert a Sum value to a Builder with the given precedence.

Since: 3

liftShowbSumPrec2 :: (TextShow2 f, TextShow2 g) => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Sum f g a b -> Builder

Convert a Sum value to a Builder with the given show functions and precedence.

Since: 3

showbTannenPrec :: TextShow (f (p a b)) => Int -> Tannen f p a b -> Builder

Convert a Tannen value to a Builder with the given precedence.

Since: 2

liftShowbTannenPrec2 :: (TextShow1 f, TextShow2 p) => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Tannen f p a b -> Builder

Convert a Tannen value to a Builder with the given show functions and precedence.

Since: 3

showbWrappedBifunctorPrec :: TextShow (p a b) => Int -> WrappedBifunctor p a b -> Builder

Convert a WrappedBifunctor value to a Builder with the given precedence.

Since: 2

liftShowbWrappedBifunctorPrec2 :: TextShow2 p => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> WrappedBifunctor p a b -> Builder

Convert a WrappedBifunctor value to a Builder with the given show functions and precedence.

Since: 3

Orphan instances

TextShow2 p => TextShow1 (Join * p)

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)

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)

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)

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 p0 => TextShow2 (WrappedBifunctor * * p0)

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)

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)

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)

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)

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 * * g a)

Methods

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

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

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

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 * * f a)

Methods

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

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

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

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)

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

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)

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)

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)

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 (Product * * f g a)

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)

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)

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 * * f g a b)

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

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

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

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

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 * * * f p a b)

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 p0, TextShow1 f0, TextShow1 g0) => TextShow2 (Biff * * * * p0 f0 g0)

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)

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 * * * * p f g a b)

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