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