TextShow.Data.Functor.Trans

Monomorphic TextShow functions for functor transformers.

Note that :

• An instance for Identity is found in text-show, since it is a part of base-4.8.0.0 and later.
• Instances for Compose, Product, and Sum are found in text-show, since they are part of base-4.9.0.0 and later.

Since: 2

Documentation

liftShowbConstantPrec :: (Int -> a -> Builder) -> Int -> Constant a b -> Builder

Convert a Constant value to a Builder with the given show function and precedence.

Since: 3

liftShowbReversePrec :: TextShow1 f => (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Reverse f a -> Builder

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

Since: 3

Orphan instances

TextShow2 (Constant *)

Methods

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

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

TextShow1 f => TextShow1 (Reverse * f)

Methods

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

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

TextShow a => TextShow1 (Constant * a)

Methods

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

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

(TextShow1 f, TextShow a) => TextShow (Reverse * f a)

Methods

showbPrec :: Int -> Reverse * f a -> Builder

showb :: Reverse * f a -> Builder

showbList :: [Reverse * f a] -> Builder

showtPrec :: Int -> Reverse * f a -> Text

showt :: Reverse * f a -> Text

showtList :: [Reverse * f a] -> Text

showtlPrec :: Int -> Reverse * f a -> Text

showtl :: Reverse * f a -> Text

showtlList :: [Reverse * f a] -> Text

TextShow a => TextShow (Constant k a b)

Methods

showbPrec :: Int -> Constant k a b -> Builder

showb :: Constant k a b -> Builder

showbList :: [Constant k a b] -> Builder

showtPrec :: Int -> Constant k a b -> Text

showt :: Constant k a b -> Text

showtList :: [Constant k a b] -> Text

showtlPrec :: Int -> Constant k a b -> Text

showtl :: Constant k a b -> Text

showtlList :: [Constant k a b] -> Text