TextShow.GHC.Generics

Monomorphic TextShow functions for generics-related data types.

Since: 2

Documentation

showbU1 :: U1 p -> Builder

Convert a U1 value to a Builder.

Since: 2

liftShowbPar1Prec :: (Int -> p -> Builder) -> Int -> Par1 p -> Builder

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

Since: 3

showbRec1Prec :: TextShow (f p) => Int -> Rec1 f p -> Builder

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

Since: 2

liftShowbRec1Prec :: TextShow1 f => (Int -> p -> Builder) -> ([p] -> Builder) -> Int -> Rec1 f p -> Builder

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

Since: 3

liftShowbK1Prec :: (Int -> c -> Builder) -> Int -> K1 i c p -> Builder

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

Since: 3

showbM1Prec :: TextShow (f p) => Int -> M1 i c f p -> Builder

Convert an M1 value to a Builder with the given precedence.

Since: 2

liftShowbM1Prec :: TextShow1 f => (Int -> p -> Builder) -> ([p] -> Builder) -> Int -> M1 i c f p -> Builder

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

Since: 3

showbSumTypePrec :: (TextShow (f p), TextShow (g p)) => Int -> (f :+: g) p -> Builder

Convert a '(:+:)' value to a Builder with the given precedence.

Since: 2

liftShowbSumTypePrec :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> ([p] -> Builder) -> Int -> (f :+: g) p -> Builder

Convert a '(:+:)' value to a Builder with the given show function and precedence.

Since: 3

showbProductTypePrec :: (TextShow (f p), TextShow (g p)) => Int -> (f :*: g) p -> Builder

Convert a '(:*:)' value to a Builder with the given precedence.

Since: 2

liftShowbProductTypePrec :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> ([p] -> Builder) -> Int -> (f :*: g) p -> Builder

Convert a '(:*:)' value to a Builder with the given show function and precedence.

Since: 3

showbCompFunctorsPrec :: TextShow (f (g p)) => Int -> (f :.: g) p -> Builder

Convert a '(:.:)' value to a Builder with the given precedence.

Since: 2

liftShowbCompFunctorsPrec :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> ([p] -> Builder) -> Int -> (f :.: g) p -> Builder

Convert a '(:.:)' value to a Builder with the given show function and precedence.

Since: 3

showbFixityPrec :: Int -> Fixity -> Builder

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

Since: 2

showbAssociativity :: Associativity -> Builder

Convert an Associativity value to a Builder.

Since: 2

showbSourceUnpackedness :: SourceUnpackedness -> Builder

Convert a SourceUnpackedness value to a Builder. This function is only available with base-4.9.0.0 or later.

Since: 3

showbSourceStrictness :: SourceStrictness -> Builder

Convert a SourceStrictness value to a Builder. This function is only available with base-4.9.0.0 or later.

Since: 3

showbDecidedStrictness :: DecidedStrictness -> Builder

Convert a DecidedStrictness value to a Builder. This function is only available with base-4.9.0.0 or later.

Since: 3

showbUCharPrec :: Int -> UChar p -> Builder

Convert a UChar to a Builder with the given precedence.

Since: 2.1.2

showbUDoublePrec :: Int -> UDouble p -> Builder

Convert a UDouble to a Builder with the given precedence.

Since: 2.1.2

showbUFloatPrec :: Int -> UFloat p -> Builder

Convert a UFloat to a Builder with the given precedence.

Since: 2.1.2

showbUIntPrec :: Int -> UInt p -> Builder

Convert a UInt to a Builder with the given precedence.

Since: 2.1.2

showbUWordPrec :: Int -> UWord p -> Builder

Convert a UWord to a Builder with the given precedence.

Since: 2.1.2

Orphan instances

TextShow1 U1

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> U1 a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [U1 a] -> Builder

TextShow1 Par1

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Par1 a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Par1 a] -> Builder

TextShow Fixity

Methods

showbPrec :: Int -> Fixity -> Builder

showb :: Fixity -> Builder

showbList :: [Fixity] -> Builder

showtPrec :: Int -> Fixity -> Text

showt :: Fixity -> Text

showtList :: [Fixity] -> Text

showtlPrec :: Int -> Fixity -> Text

showtl :: Fixity -> Text

showtlList :: [Fixity] -> Text

TextShow Associativity

Methods

showbPrec :: Int -> Associativity -> Builder

showb :: Associativity -> Builder

showbList :: [Associativity] -> Builder

showtPrec :: Int -> Associativity -> Text

showt :: Associativity -> Text

showtList :: [Associativity] -> Text

showtlPrec :: Int -> Associativity -> Text

showtl :: Associativity -> Text

showtlList :: [Associativity] -> Text

TextShow SourceUnpackedness

Methods

showbPrec :: Int -> SourceUnpackedness -> Builder

showb :: SourceUnpackedness -> Builder

showbList :: [SourceUnpackedness] -> Builder

showtPrec :: Int -> SourceUnpackedness -> Text

showt :: SourceUnpackedness -> Text

showtList :: [SourceUnpackedness] -> Text

showtlPrec :: Int -> SourceUnpackedness -> Text

showtl :: SourceUnpackedness -> Text

showtlList :: [SourceUnpackedness] -> Text

TextShow SourceStrictness

Methods

showbPrec :: Int -> SourceStrictness -> Builder

showb :: SourceStrictness -> Builder

showbList :: [SourceStrictness] -> Builder

showtPrec :: Int -> SourceStrictness -> Text

showt :: SourceStrictness -> Text

showtList :: [SourceStrictness] -> Text

showtlPrec :: Int -> SourceStrictness -> Text

showtl :: SourceStrictness -> Text

showtlList :: [SourceStrictness] -> Text

TextShow DecidedStrictness

Methods

showbPrec :: Int -> DecidedStrictness -> Builder

showb :: DecidedStrictness -> Builder

showbList :: [DecidedStrictness] -> Builder

showtPrec :: Int -> DecidedStrictness -> Text

showt :: DecidedStrictness -> Text

showtList :: [DecidedStrictness] -> Text

showtlPrec :: Int -> DecidedStrictness -> Text

showtl :: DecidedStrictness -> Text

showtlList :: [DecidedStrictness] -> Text

TextShow2 (K1 i)

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> K1 i a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [K1 i a b] -> Builder

TextShow1 f0 => TextShow1 (Rec1 f0)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Rec1 f0 a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Rec1 f0 a] -> Builder

TextShow1 (URec Char)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> URec Char a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [URec Char a] -> Builder

TextShow1 (URec Double)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> URec Double a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [URec Double a] -> Builder

TextShow1 (URec Float)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> URec Float a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [URec Float a] -> Builder

TextShow1 (URec Int)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> URec Int a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [URec Int a] -> Builder

TextShow1 (URec Word)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> URec Word a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [URec Word a] -> Builder

TextShow (U1 p)

Methods

showbPrec :: Int -> U1 p -> Builder

showb :: U1 p -> Builder

showbList :: [U1 p] -> Builder

showtPrec :: Int -> U1 p -> Text

showt :: U1 p -> Text

showtList :: [U1 p] -> Text

showtlPrec :: Int -> U1 p -> Text

showtl :: U1 p -> Text

showtlList :: [U1 p] -> Text

TextShow p0 => TextShow (Par1 p0)

Methods

showbPrec :: Int -> Par1 p0 -> Builder

showb :: Par1 p0 -> Builder

showbList :: [Par1 p0] -> Builder

showtPrec :: Int -> Par1 p0 -> Text

showt :: Par1 p0 -> Text

showtList :: [Par1 p0] -> Text

showtlPrec :: Int -> Par1 p0 -> Text

showtl :: Par1 p0 -> Text

showtlList :: [Par1 p0] -> Text

TextShow (UChar p)

Methods

showbPrec :: Int -> UChar p -> Builder

showb :: UChar p -> Builder

showbList :: [UChar p] -> Builder

showtPrec :: Int -> UChar p -> Text

showt :: UChar p -> Text

showtList :: [UChar p] -> Text

showtlPrec :: Int -> UChar p -> Text

showtl :: UChar p -> Text

showtlList :: [UChar p] -> Text

TextShow (UDouble p)

Methods

showbPrec :: Int -> UDouble p -> Builder

showb :: UDouble p -> Builder

showbList :: [UDouble p] -> Builder

showtPrec :: Int -> UDouble p -> Text

showt :: UDouble p -> Text

showtList :: [UDouble p] -> Text

showtlPrec :: Int -> UDouble p -> Text

showtl :: UDouble p -> Text

showtlList :: [UDouble p] -> Text

TextShow (UFloat p)

Methods

showbPrec :: Int -> UFloat p -> Builder

showb :: UFloat p -> Builder

showbList :: [UFloat p] -> Builder

showtPrec :: Int -> UFloat p -> Text

showt :: UFloat p -> Text

showtList :: [UFloat p] -> Text

showtlPrec :: Int -> UFloat p -> Text

showtl :: UFloat p -> Text

showtlList :: [UFloat p] -> Text

TextShow (UInt p)

Methods

showbPrec :: Int -> UInt p -> Builder

showb :: UInt p -> Builder

showbList :: [UInt p] -> Builder

showtPrec :: Int -> UInt p -> Text

showt :: UInt p -> Text

showtList :: [UInt p] -> Text

showtlPrec :: Int -> UInt p -> Text

showtl :: UInt p -> Text

showtlList :: [UInt p] -> Text

TextShow (UWord p)

Methods

showbPrec :: Int -> UWord p -> Builder

showb :: UWord p -> Builder

showbList :: [UWord p] -> Builder

showtPrec :: Int -> UWord p -> Text

showt :: UWord p -> Text

showtList :: [UWord p] -> Text

showtlPrec :: Int -> UWord p -> Text

showtl :: UWord p -> Text

showtlList :: [UWord p] -> Text

TextShow c => TextShow1 (K1 i c)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> K1 i c a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [K1 i c a] -> Builder

(TextShow1 f0, TextShow1 g0) => TextShow1 ((:+:) f0 g0)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> (f0 :+: g0) a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [(f0 :+: g0) a] -> Builder

(TextShow1 f0, TextShow1 g0) => TextShow1 ((:*:) f0 g0)

Methods

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

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

(TextShow1 f0, TextShow1 g0) => TextShow1 ((:.:) f0 g0)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> (f0 :.: g0) a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [(f0 :.: g0) a] -> Builder

TextShow (f p) => TextShow (Rec1 f p)

Methods

showbPrec :: Int -> Rec1 f p -> Builder

showb :: Rec1 f p -> Builder

showbList :: [Rec1 f p] -> Builder

showtPrec :: Int -> Rec1 f p -> Text

showt :: Rec1 f p -> Text

showtList :: [Rec1 f p] -> Text

showtlPrec :: Int -> Rec1 f p -> Text

showtl :: Rec1 f p -> Text

showtlList :: [Rec1 f p] -> Text

TextShow1 f => TextShow1 (M1 i c f)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> M1 i c f a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [M1 i c f a] -> Builder

TextShow c => TextShow (K1 i c p)

Methods

showbPrec :: Int -> K1 i c p -> Builder

showb :: K1 i c p -> Builder

showbList :: [K1 i c p] -> Builder

showtPrec :: Int -> K1 i c p -> Text

showt :: K1 i c p -> Text

showtList :: [K1 i c p] -> Text

showtlPrec :: Int -> K1 i c p -> Text

showtl :: K1 i c p -> Text

showtlList :: [K1 i c p] -> Text

(TextShow (f p), TextShow (g p)) => TextShow ((:+:) f g p)

Methods

showbPrec :: Int -> (f :+: g) p -> Builder

showb :: (f :+: g) p -> Builder

showbList :: [(f :+: g) p] -> Builder

showtPrec :: Int -> (f :+: g) p -> Text

showt :: (f :+: g) p -> Text

showtList :: [(f :+: g) p] -> Text

showtlPrec :: Int -> (f :+: g) p -> Text

showtl :: (f :+: g) p -> Text

showtlList :: [(f :+: g) p] -> Text

(TextShow (f p), TextShow (g p)) => TextShow ((:*:) f g p)

Methods

showbPrec :: Int -> (f :*: g) p -> Builder

showb :: (f :*: g) p -> Builder

showbList :: [(f :*: g) p] -> Builder

showtPrec :: Int -> (f :*: g) p -> Text

showt :: (f :*: g) p -> Text

showtList :: [(f :*: g) p] -> Text

showtlPrec :: Int -> (f :*: g) p -> Text

showtl :: (f :*: g) p -> Text

showtlList :: [(f :*: g) p] -> Text

TextShow (f (g p)) => TextShow ((:.:) f g p)

Methods

showbPrec :: Int -> (f :.: g) p -> Builder

showb :: (f :.: g) p -> Builder

showbList :: [(f :.: g) p] -> Builder

showtPrec :: Int -> (f :.: g) p -> Text

showt :: (f :.: g) p -> Text

showtList :: [(f :.: g) p] -> Text

showtlPrec :: Int -> (f :.: g) p -> Text

showtl :: (f :.: g) p -> Text

showtlList :: [(f :.: g) p] -> Text

TextShow (f p) => TextShow (M1 i c f p)

Methods

showbPrec :: Int -> M1 i c f p -> Builder

showb :: M1 i c f p -> Builder

showbList :: [M1 i c f p] -> Builder

showtPrec :: Int -> M1 i c f p -> Text

showt :: M1 i c f p -> Text

showtList :: [M1 i c f p] -> Text

showtlPrec :: Int -> M1 i c f p -> Text

showtl :: M1 i c f p -> Text

showtlList :: [M1 i c f p] -> Text