TextShow.Generic

Generic versions of TextShow and TextShow1 class functions, as an alternative to TextShow.TH, which uses Template Haskell. Because there is no Generic2 class, TextShow2 cannot be implemented generically.

This implementation is based off of the Generics.Deriving.Show module from the generic-deriving library.

Since: 2

Generic show functions

TextShow instances can be easily defined for data types that are Generic instances. The easiest way to do this is to use the DeriveGeneric extension.

{-# LANGUAGE DeriveGeneric #-}
import GHC.Generics
import TextShow
import TextShow.Generic

data D a = D a
  deriving (Generic, Generic1)

instance TextShow a => TextShow (D a) where
    showbPrec = genericShowbPrec

instance TextShow1 D where
    liftShowbPrec = genericLiftShowbPrec

Understanding a compiler error

Suppose you intend to use genericShowbPrec to define a TextShow instance.

data Oops = Oops
    -- forgot to add "deriving Generic" here!

instance TextShow Oops where
    showbPrec = genericShowbPrec

If you forget to add a deriving Generic clause to your data type, at compile-time, you will get an error message that begins roughly as follows:

No instance for (GTextShow (Rep Oops))

This error can be confusing, but don't let it intimidate you. The correct fix is simply to add the missing "deriving Generic" clause.

Similarly, if the compiler complains about not having an instance for (GTextShow1 (Rep1 Oops1)), add a "deriving Generic1" clause.

genericShowt :: (Generic a, GTextShow (Rep a)) => a -> Text

A Generic implementation of showt.

Since: 2

genericShowtl :: (Generic a, GTextShow (Rep a)) => a -> Text

A Generic implementation of showtl.

Since: 2

genericShowtPrec :: (Generic a, GTextShow (Rep a)) => Int -> a -> Text

A Generic implementation of showPrect.

Since: 2

genericShowtlPrec :: (Generic a, GTextShow (Rep a)) => Int -> a -> Text

A Generic implementation of showtlPrec.

Since: 2

genericShowtList :: (Generic a, GTextShow (Rep a)) => [a] -> Text

A Generic implementation of showtList.

Since: 2

genericShowtlList :: (Generic a, GTextShow (Rep a)) => [a] -> Text

A Generic implementation of showtlList.

Since: 2

genericShowb :: (Generic a, GTextShow (Rep a)) => a -> Builder

A Generic implementation of showb.

Since: 2

genericShowbPrec :: (Generic a, GTextShow (Rep a)) => Int -> a -> Builder

A Generic implementation of showbPrec.

Since: 2

genericShowbList :: (Generic a, GTextShow (Rep a)) => [a] -> Builder

A Generic implementation of showbList.

Since: 2

genericPrintT :: (Generic a, GTextShow (Rep a)) => a -> IO ()

A Generic implementation of printT.

Since: 2

genericPrintTL :: (Generic a, GTextShow (Rep a)) => a -> IO ()

A Generic implementation of printTL.

Since: 2

genericHPrintT :: (Generic a, GTextShow (Rep a)) => Handle -> a -> IO ()

A Generic implementation of hPrintT.

Since: 2

genericHPrintTL :: (Generic a, GTextShow (Rep a)) => Handle -> a -> IO ()

A Generic implementation of hPrintTL.

Since: 2

genericLiftShowbPrec :: (Generic1 f, GTextShow1 (Rep1 f)) => (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> f a -> Builder

A Generic1 implementation of genericLiftShowbPrec.

Since: 2

genericShowbPrec1 :: (Generic a, Generic1 f, GTextShow (Rep a), GTextShow1 (Rep1 f)) => Int -> f a -> Builder

A 'Generic'/'Generic1' implementation of showbPrec1.

Since: 2

The GTextShow and GTextShow1 classes

class GTextShow f where

Class of generic representation types (Rep) that can be converted to a Builder.

Since: 3

Methods

gShowbPrec :: Int -> f a -> Builder

This is used as the default generic implementation of showbPrec.

Instances

(GTextShow * f, GTextShow * g) => GTextShow * ((:+:) f g)

GTextShow * f => GTextShow * (D1 d f)

(Constructor c, GTextShowCon * f, IsNullary * f) => GTextShow * (C1 c f)

class GTextShowCon f where

Class of generic representation types (Rep) for which the ConType has been determined.

Methods

gShowbPrecCon :: ConType -> Int -> f a -> Builder

Convert value of a specific ConType to a Builder with the given precedence.

Instances

GTextShowCon * V1

GTextShowCon * U1

GTextShowCon * UChar

GTextShowCon * UDouble

GTextShowCon * UFloat

GTextShowCon * UInt

GTextShowCon * UWord

TextShow c => GTextShowCon * (K1 i c)

(GTextShowCon * f, GTextShowCon * g) => GTextShowCon * ((:*:) f g)

(Selector s, GTextShowCon * f) => GTextShowCon * (S1 s f)

class GTextShow1 f where

Class of generic representation types (Rep1) that can be converted to a Builder by lifting through a unary type constructor.

Since: 2

Methods

gLiftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> f a -> Builder

This is used as the default generic implementation of showbPrecWith.

Instances

GTextShow1 V1

(GTextShow1 f, GTextShow1 g) => GTextShow1 ((:+:) f g)

GTextShow1 f => GTextShow1 (D1 d f)

(Constructor c, GTextShow1Con f, IsNullary * f) => GTextShow1 (C1 c f)

class GTextShow1Con f where

Class of generic representation types (Rep1) for which the ConType has been determined.

Methods

gLiftShowbPrecCon :: ConType -> (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> f a -> Builder

Convert a value of a specific ConType to a Builder with the given show function and precedence.

Instances

GTextShow1Con U1

GTextShow1Con Par1

GTextShow1Con UChar

GTextShow1Con UDouble

GTextShow1Con UFloat

GTextShow1Con UInt

GTextShow1Con UWord

TextShow1 f => GTextShow1Con (Rec1 f)

TextShow c => GTextShow1Con (K1 i c)

(GTextShow1Con f, GTextShow1Con g) => GTextShow1Con ((:*:) f g)

(TextShow1 f, GTextShow1Con g) => GTextShow1Con ((:.:) f g)

(Selector s, GTextShow1Con f) => GTextShow1Con (S1 s f)

class IsNullary f where

Class of generic representation types that represent a constructor with zero or more fields.

Methods

isNullary :: f a -> Bool

Instances

IsNullary * U1

IsNullary * Par1

IsNullary * UChar

IsNullary * UDouble

IsNullary * UFloat

IsNullary * UInt

IsNullary * UWord

IsNullary * (Rec1 f)

IsNullary * (K1 i c)

IsNullary * ((:*:) f g)

IsNullary * ((:.:) f g)

IsNullary * f => IsNullary * (S1 s f)

data ConType

Whether a constructor is a record (Rec), a tuple (Tup), is prefix (Pref), or infix (Inf).

Since: 2

Constructors

Rec

Tup

Pref

Inf String

Instances

Eq ConType

Ord ConType

Read ConType

Show ConType

Generic ConType

Lift ConType

TextShow ConType

type Rep ConType