text-show-3.2: Efficient conversion of values into Text

Copyright(C) 2014-2016 Ryan Scott
LicenseBSD-style (see the file LICENSE)
MaintainerRyan Scott
StabilityProvisional
PortabilityGHC
Safe HaskellNone
LanguageHaskell2010

TextShow.GHC.Generics

Description

Monomorphic TextShow functions for generics-related data types.

Since: 2

Synopsis

Documentation

showbU1 :: U1 p -> Builder Source

Convert a U1 value to a Builder.

Since: 2

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

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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

Since: 3

showbFixityPrec :: Int -> Fixity -> Builder Source

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

Since: 2

showbArityPrec :: Int -> Arity -> Builder Source

Convert an Arity value to a Builder with the given precedence. This function is only available with base-4.8 or earlier.

Since: 2

showbUCharPrec :: Int -> UChar p -> Builder Source

Convert a UChar to a Builder with the given precedence.

Since: 2.1.2

showbUDoublePrec :: Int -> UDouble p -> Builder Source

Convert a UDouble to a Builder with the given precedence.

Since: 2.1.2

showbUFloatPrec :: Int -> UFloat p -> Builder Source

Convert a UFloat to a Builder with the given precedence.

Since: 2.1.2

showbUIntPrec :: Int -> UInt p -> Builder Source

Convert a UInt to a Builder with the given precedence.

Since: 2.1.2

showbUWordPrec :: Int -> UWord p -> Builder Source

Convert a UWord to a Builder with the given precedence.

Since: 2.1.2