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

Copyright | (C) 2014-2015 Ryan Scott
License | BSD-style (see the file LICENSE)
Maintainer | Ryan Scott
Stability | Provisional
Portability | GHC
Safe Haskell | None
Language | Haskell2010

TextShow.GHC.Generics

Description

Monomorphic `TextShow` functions for generics-related data types.

Since: 2

Synopsis

- showbU1 :: U1 p -> Builder
- showbPar1PrecWith :: (Int -> p -> Builder) -> Int -> Par1 p -> Builder
- showbRec1Prec :: TextShow (f p) => Int -> Rec1 f p -> Builder
- showbRec1PrecWith :: TextShow1 f => (Int -> p -> Builder) -> Int -> Rec1 f p -> Builder
- showbK1PrecWith :: (Int -> c -> Builder) -> Int -> K1 i c p -> Builder
- showbM1Prec :: TextShow (f p) => Int -> M1 i c f p -> Builder
- showbM1PrecWith :: TextShow1 f => (Int -> p -> Builder) -> Int -> M1 i c f p -> Builder
- showbSumTypePrec :: (TextShow (f p), TextShow (g p)) => Int -> (f :+: g) p -> Builder
- showbSumTypePrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :+: g) p -> Builder
- showbProductTypePrec :: (TextShow (f p), TextShow (g p)) => Int -> (f :*: g) p -> Builder
- showbProductTypePrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :*: g) p -> Builder
- showbCompFunctorsPrec :: TextShow (f (g p)) => Int -> (f :.: g) p -> Builder
- showbCompFunctorsPrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :.: g) p -> Builder
- showbFixityPrec :: Int -> Fixity -> Builder
- showbAssociativity :: Associativity -> Builder
- showbArityPrec :: Int -> Arity -> Builder

# 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