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

Copyright(C) 2014-2015 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

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

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

Since: 2

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

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

Since: 2

showbRec1PrecWith :: TextShow1 f => (Int -> p -> Builder) -> Int -> Rec1 f p -> Builder Source

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

Since: 2

showbK1PrecWith :: (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: 2

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

showbM1PrecWith :: TextShow1 f => (Int -> 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: 2

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

showbSumTypePrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :+: g) p -> Builder Source

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

Since: 2

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

showbProductTypePrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :*: g) p -> Builder Source

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

Since: 2

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

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

Since: 2

showbCompFunctorsPrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :.: g) p -> Builder Source

Convert a '(:.:)' value to a Builder with the given show function and precedence. This function is only available with base-4.4.0.0 or later.

Since: 2

showbFixityPrec :: Int -> Fixity -> Builder Source

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

Since: 2

showbAssociativity :: Associativity -> Builder Source

Convert an Associativity value to a Builder. This function is only available with base-4.4.0.0 or later.

Since: 2

showbArityPrec :: Int -> Arity -> Builder Source

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

Since: 2