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 loosely based off of the Generics.Deriving.Show module from the generic-deriving library.

Since: 2

Generic adapter newtypes

newtype FromGeneric a

An adapter newtype, suitable for DerivingVia. The TextShow instance for FromGeneric leverages a Generic-based default. That is,

showbPrec p (FromGeneric x) = genericShowbPrec p x

Since: 3.7.4

Constructors

FromGeneric

Fields

• fromGeneric :: a

Instances

Foldable FromGeneric

Defined in TextShow.Generic

Methods

fold :: Monoid m => FromGeneric m -> m

foldMap :: Monoid m => (a -> m) -> FromGeneric a -> m

foldMap' :: Monoid m => (a -> m) -> FromGeneric a -> m

foldr :: (a -> b -> b) -> b -> FromGeneric a -> b

foldr' :: (a -> b -> b) -> b -> FromGeneric a -> b

foldl :: (b -> a -> b) -> b -> FromGeneric a -> b

foldl' :: (b -> a -> b) -> b -> FromGeneric a -> b

foldr1 :: (a -> a -> a) -> FromGeneric a -> a

foldl1 :: (a -> a -> a) -> FromGeneric a -> a

toList :: FromGeneric a -> [a]

null :: FromGeneric a -> Bool

length :: FromGeneric a -> Int

elem :: Eq a => a -> FromGeneric a -> Bool

maximum :: Ord a => FromGeneric a -> a

minimum :: Ord a => FromGeneric a -> a

sum :: Num a => FromGeneric a -> a

product :: Num a => FromGeneric a -> a

Traversable FromGeneric

Defined in TextShow.Generic

Methods

traverse :: Applicative f => (a -> f b) -> FromGeneric a -> f (FromGeneric b)

sequenceA :: Applicative f => FromGeneric (f a) -> f (FromGeneric a)

mapM :: Monad m => (a -> m b) -> FromGeneric a -> m (FromGeneric b)

sequence :: Monad m => FromGeneric (m a) -> m (FromGeneric a)

Functor FromGeneric

Defined in TextShow.Generic

Methods

fmap :: (a -> b) -> FromGeneric a -> FromGeneric b

(<$) :: a -> FromGeneric b -> FromGeneric a

Data a => Data (FromGeneric a)

Defined in TextShow.Generic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FromGeneric a -> c (FromGeneric a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FromGeneric a)

toConstr :: FromGeneric a -> Constr

dataTypeOf :: FromGeneric a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FromGeneric a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FromGeneric a))

gmapT :: (forall b. Data b => b -> b) -> FromGeneric a -> FromGeneric a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FromGeneric a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FromGeneric a -> r

gmapQ :: (forall d. Data d => d -> u) -> FromGeneric a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FromGeneric a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FromGeneric a -> m (FromGeneric a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FromGeneric a -> m (FromGeneric a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FromGeneric a -> m (FromGeneric a)

Generic (FromGeneric a)

Defined in TextShow.Generic

Associated Types

type Rep (FromGeneric a) :: Type -> Type

Methods

from :: FromGeneric a -> Rep (FromGeneric a) x

to :: Rep (FromGeneric a) x -> FromGeneric a

Read a => Read (FromGeneric a)

Defined in TextShow.Generic

Methods

readsPrec :: Int -> ReadS (FromGeneric a)

readList :: ReadS [FromGeneric a]

readPrec :: ReadPrec (FromGeneric a)

readListPrec :: ReadPrec [FromGeneric a]

Show a => Show (FromGeneric a)

Defined in TextShow.Generic

Methods

showsPrec :: Int -> FromGeneric a -> ShowS

show :: FromGeneric a -> String

showList :: [FromGeneric a] -> ShowS

Eq a => Eq (FromGeneric a)

Defined in TextShow.Generic

Methods

(==) :: FromGeneric a -> FromGeneric a -> Bool

(/=) :: FromGeneric a -> FromGeneric a -> Bool

Ord a => Ord (FromGeneric a)

Defined in TextShow.Generic

Methods

compare :: FromGeneric a -> FromGeneric a -> Ordering

(<) :: FromGeneric a -> FromGeneric a -> Bool

(<=) :: FromGeneric a -> FromGeneric a -> Bool

(>) :: FromGeneric a -> FromGeneric a -> Bool

(>=) :: FromGeneric a -> FromGeneric a -> Bool

max :: FromGeneric a -> FromGeneric a -> FromGeneric a

min :: FromGeneric a -> FromGeneric a -> FromGeneric a

(Generic a, GTextShowB (Rep a ())) => TextShow (FromGeneric a)

Since: 3.7.4

Defined in TextShow.Generic

Methods

showbPrec :: Int -> FromGeneric a -> Builder

showb :: FromGeneric a -> Builder

showbList :: [FromGeneric a] -> Builder

showtPrec :: Int -> FromGeneric a -> Text

showt :: FromGeneric a -> Text

showtList :: [FromGeneric a] -> Text

showtlPrec :: Int -> FromGeneric a -> Text

showtl :: FromGeneric a -> Text

showtlList :: [FromGeneric a] -> Text

Generic1 FromGeneric

Defined in TextShow.Generic

Associated Types

type Rep1 FromGeneric :: k -> Type

Methods

from1 :: forall (a :: k). FromGeneric a -> Rep1 FromGeneric a

to1 :: forall (a :: k). Rep1 FromGeneric a -> FromGeneric a

Lift a => Lift (FromGeneric a :: Type)

Defined in TextShow.Generic

Methods

lift :: Quote m => FromGeneric a -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => FromGeneric a -> Code m (FromGeneric a)

type Rep (FromGeneric a)

Defined in TextShow.Generic

type Rep (FromGeneric a) = D1 ('MetaData "FromGeneric" "TextShow.Generic" "text-show-3.10-4oaWXJVD4dqWldBonHjwo" 'True) (C1 ('MetaCons "FromGeneric" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromGeneric") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type Rep1 FromGeneric

Defined in TextShow.Generic

type Rep1 FromGeneric = D1 ('MetaData "FromGeneric" "TextShow.Generic" "text-show-3.10-4oaWXJVD4dqWldBonHjwo" 'True) (C1 ('MetaCons "FromGeneric" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromGeneric") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

newtype FromGeneric1 f a

An adapter newtype, suitable for DerivingVia. The TextShow1 instance for FromGeneric1 leverages a Generic1-based default. That is,

liftShowbPrec sp sl p (FromGeneric1 x) = genericLiftShowbPrec sp sl p x

Since: 3.7.4

Constructors

FromGeneric1

Fields

• fromGeneric1 :: f a

Instances

Generic1 (FromGeneric1 f :: k -> Type)

Defined in TextShow.Generic

Associated Types

type Rep1 (FromGeneric1 f) :: k -> Type

Methods

from1 :: forall (a :: k0). FromGeneric1 f a -> Rep1 (FromGeneric1 f) a

to1 :: forall (a :: k0). Rep1 (FromGeneric1 f) a -> FromGeneric1 f a

Lift (f a) => Lift (FromGeneric1 f a :: Type)

Defined in TextShow.Generic

Methods

lift :: Quote m => FromGeneric1 f a -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => FromGeneric1 f a -> Code m (FromGeneric1 f a)

Foldable f => Foldable (FromGeneric1 f)

Defined in TextShow.Generic

Methods

fold :: Monoid m => FromGeneric1 f m -> m

foldMap :: Monoid m => (a -> m) -> FromGeneric1 f a -> m

foldMap' :: Monoid m => (a -> m) -> FromGeneric1 f a -> m

foldr :: (a -> b -> b) -> b -> FromGeneric1 f a -> b

foldr' :: (a -> b -> b) -> b -> FromGeneric1 f a -> b

foldl :: (b -> a -> b) -> b -> FromGeneric1 f a -> b

foldl' :: (b -> a -> b) -> b -> FromGeneric1 f a -> b

foldr1 :: (a -> a -> a) -> FromGeneric1 f a -> a

foldl1 :: (a -> a -> a) -> FromGeneric1 f a -> a

toList :: FromGeneric1 f a -> [a]

null :: FromGeneric1 f a -> Bool

length :: FromGeneric1 f a -> Int

elem :: Eq a => a -> FromGeneric1 f a -> Bool

maximum :: Ord a => FromGeneric1 f a -> a

minimum :: Ord a => FromGeneric1 f a -> a

sum :: Num a => FromGeneric1 f a -> a

product :: Num a => FromGeneric1 f a -> a

Traversable f => Traversable (FromGeneric1 f)

Defined in TextShow.Generic

Methods

traverse :: Applicative f0 => (a -> f0 b) -> FromGeneric1 f a -> f0 (FromGeneric1 f b)

sequenceA :: Applicative f0 => FromGeneric1 f (f0 a) -> f0 (FromGeneric1 f a)

mapM :: Monad m => (a -> m b) -> FromGeneric1 f a -> m (FromGeneric1 f b)

sequence :: Monad m => FromGeneric1 f (m a) -> m (FromGeneric1 f a)

Functor f => Functor (FromGeneric1 f)

Defined in TextShow.Generic

Methods

fmap :: (a -> b) -> FromGeneric1 f a -> FromGeneric1 f b

(<$) :: a -> FromGeneric1 f b -> FromGeneric1 f a

(Generic1 f, GTextShowB1 (Rep1 f)) => TextShow1 (FromGeneric1 f)

Since: 3.7.4

Defined in TextShow.Generic

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> FromGeneric1 f a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [FromGeneric1 f a] -> Builder

(Data (f a), Typeable f, Typeable a) => Data (FromGeneric1 f a)

Defined in TextShow.Generic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FromGeneric1 f a -> c (FromGeneric1 f a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FromGeneric1 f a)

toConstr :: FromGeneric1 f a -> Constr

dataTypeOf :: FromGeneric1 f a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FromGeneric1 f a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FromGeneric1 f a))

gmapT :: (forall b. Data b => b -> b) -> FromGeneric1 f a -> FromGeneric1 f a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FromGeneric1 f a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FromGeneric1 f a -> r

gmapQ :: (forall d. Data d => d -> u) -> FromGeneric1 f a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FromGeneric1 f a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FromGeneric1 f a -> m (FromGeneric1 f a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FromGeneric1 f a -> m (FromGeneric1 f a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FromGeneric1 f a -> m (FromGeneric1 f a)

Generic (FromGeneric1 f a)

Defined in TextShow.Generic

Associated Types

type Rep (FromGeneric1 f a) :: Type -> Type

Methods

from :: FromGeneric1 f a -> Rep (FromGeneric1 f a) x

to :: Rep (FromGeneric1 f a) x -> FromGeneric1 f a

Read (f a) => Read (FromGeneric1 f a)

Defined in TextShow.Generic

Methods

readsPrec :: Int -> ReadS (FromGeneric1 f a)

readList :: ReadS [FromGeneric1 f a]

readPrec :: ReadPrec (FromGeneric1 f a)

readListPrec :: ReadPrec [FromGeneric1 f a]

Show (f a) => Show (FromGeneric1 f a)

Defined in TextShow.Generic

Methods

showsPrec :: Int -> FromGeneric1 f a -> ShowS

show :: FromGeneric1 f a -> String

showList :: [FromGeneric1 f a] -> ShowS

Eq (f a) => Eq (FromGeneric1 f a)

Defined in TextShow.Generic

Methods

(==) :: FromGeneric1 f a -> FromGeneric1 f a -> Bool

(/=) :: FromGeneric1 f a -> FromGeneric1 f a -> Bool

Ord (f a) => Ord (FromGeneric1 f a)

Defined in TextShow.Generic

Methods

compare :: FromGeneric1 f a -> FromGeneric1 f a -> Ordering

(<) :: FromGeneric1 f a -> FromGeneric1 f a -> Bool

(<=) :: FromGeneric1 f a -> FromGeneric1 f a -> Bool

(>) :: FromGeneric1 f a -> FromGeneric1 f a -> Bool

(>=) :: FromGeneric1 f a -> FromGeneric1 f a -> Bool

max :: FromGeneric1 f a -> FromGeneric1 f a -> FromGeneric1 f a

min :: FromGeneric1 f a -> FromGeneric1 f a -> FromGeneric1 f a

(Generic1 f, GTextShowB (Rep1 f a)) => TextShow (FromGeneric1 f a)

Since: 3.10

Defined in TextShow.Generic

Methods

showbPrec :: Int -> FromGeneric1 f a -> Builder

showb :: FromGeneric1 f a -> Builder

showbList :: [FromGeneric1 f a] -> Builder

showtPrec :: Int -> FromGeneric1 f a -> Text

showt :: FromGeneric1 f a -> Text

showtList :: [FromGeneric1 f a] -> Text

showtlPrec :: Int -> FromGeneric1 f a -> Text

showtl :: FromGeneric1 f a -> Text

showtlList :: [FromGeneric1 f a] -> Text

type Rep1 (FromGeneric1 f :: k -> Type)

Defined in TextShow.Generic

type Rep1 (FromGeneric1 f :: k -> Type) = D1 ('MetaData "FromGeneric1" "TextShow.Generic" "text-show-3.10-4oaWXJVD4dqWldBonHjwo" 'True) (C1 ('MetaCons "FromGeneric1" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromGeneric1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

type Rep (FromGeneric1 f a)

Defined in TextShow.Generic

type Rep (FromGeneric1 f a) = D1 ('MetaData "FromGeneric1" "TextShow.Generic" "text-show-3.10-4oaWXJVD4dqWldBonHjwo" 'True) (C1 ('MetaCons "FromGeneric1" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromGeneric1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

Generic show functions

TextShow instances can be easily defined for data types that are Generic instances. If you are using GHC 8.6 or later, the easiest way to do this is to use the DerivingVia extension.

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

data D a = D a
  deriving (Generic, Generic1)
  deriving TextShow  via FromGeneric  (D a)
  deriving TextShow1 via FromGeneric1 D

Or, if you are using a version of GHC older than 8.6, one can alternatively define these instances like so:

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

instance TextShow1 D where
    liftShowbPrec = genericLiftShowbPrec

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

A Generic implementation of showt.

Since: 2

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

A Generic implementation of showtl.

Since: 2

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

A Generic implementation of showPrect.

Since: 2

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

A Generic implementation of showtlPrec.

Since: 2

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

A Generic implementation of showtList.

Since: 2

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

A Generic implementation of showtlList.

Since: 2

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

A Generic implementation of showb.

Since: 2

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

A Generic implementation of showbPrec.

Since: 2

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

A Generic implementation of showbList.

Since: 2

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

A Generic implementation of printT.

Since: 2

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

A Generic implementation of printTL.

Since: 2

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

A Generic implementation of hPrintT.

Since: 2

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

A Generic implementation of hPrintTL.

Since: 2

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

A Generic1 implementation of genericLiftShowbPrec.

Since: 2

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

A Generic/Generic1 implementation of showbPrec1.

Since: 2

Internals

Builder

class GTextShowB a where

Class of generic representation types that can be converted to a Builder. Since: 3.10

Methods

gShowbPrec :: Int -> a -> Builder

Instances

GTextShowB (V1 p)

Defined in TextShow.Generic

Methods

gShowbPrec :: Int -> V1 p -> Builder

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

Defined in TextShow.Generic

Methods

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

(Constructor c, GTextShowConB (f p), IsNullary f) => GTextShowB (C1 c f p)

Defined in TextShow.Generic

Methods

gShowbPrec :: Int -> C1 c f p -> Builder

GTextShowB (f p) => GTextShowB (D1 d f p)

Defined in TextShow.Generic

Methods

gShowbPrec :: Int -> D1 d f p -> Builder

class GTextShowConB a where

Methods

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

Instances

TextShow p => GTextShowConB (Par1 p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> Par1 p -> Builder

GTextShowConB (U1 p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> U1 p -> Builder

GTextShowConB (UChar p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> UChar p -> Builder

GTextShowConB (UDouble p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> UDouble p -> Builder

GTextShowConB (UFloat p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> UFloat p -> Builder

GTextShowConB (UInt p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> UInt p -> Builder

GTextShowConB (UWord p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> UWord p -> Builder

(TextShow1 f, TextShow p) => GTextShowConB (Rec1 f p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> Rec1 f p -> Builder

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

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> (f :*: g) p -> Builder

TextShow c => GTextShowConB (K1 i c p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> K1 i c p -> Builder

(Selector s, GTextShowConB (f p)) => GTextShowConB (S1 s f p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> S1 s f p -> Builder

(TextShow1 f, GTextShowConB (g p)) => GTextShowConB ((f :.: g) p)

Defined in TextShow.Generic

Methods

gShowbPrecCon :: ConType -> Int -> (f :.: g) p -> Builder

class (forall a. TextShow a => GTextShowB (f a)) => GTextShowB1 f where

Methods

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

Instances

GTextShowB1 (V1 :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

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

Defined in TextShow.Generic

Methods

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

(Constructor c, GTextShowConB1 f, IsNullary f) => GTextShowB1 (C1 c f)

Defined in TextShow.Generic

Methods

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

GTextShowB1 f => GTextShowB1 (D1 d f)

Defined in TextShow.Generic

Methods

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

class (forall a. TextShow a => GTextShowConB (f a)) => GTextShowConB1 f where

Methods

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

Instances

GTextShowConB1 Par1

Defined in TextShow.Generic

Methods

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

GTextShowConB1 (U1 :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

GTextShowConB1 (UChar :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

GTextShowConB1 (UDouble :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

GTextShowConB1 (UFloat :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

GTextShowConB1 (UInt :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

GTextShowConB1 (UWord :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

TextShow1 f => GTextShowConB1 (Rec1 f)

Defined in TextShow.Generic

Methods

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

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

Defined in TextShow.Generic

Methods

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

TextShow c => GTextShowConB1 (K1 i c :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

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

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

Defined in TextShow.Generic

Methods

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

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

Defined in TextShow.Generic

Methods

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

Strict Text

class GTextShowT a where

Class of generic representation types that can be converted to a Text. Since: 3.10

Methods

gShowtPrec :: Int -> a -> Text

Instances

GTextShowT (V1 p)

Defined in TextShow.Generic

Methods

gShowtPrec :: Int -> V1 p -> Text

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

Defined in TextShow.Generic

Methods

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

(Constructor c, GTextShowConT (f p), IsNullary f) => GTextShowT (C1 c f p)

Defined in TextShow.Generic

Methods

gShowtPrec :: Int -> C1 c f p -> Text

GTextShowT (f p) => GTextShowT (D1 d f p)

Defined in TextShow.Generic

Methods

gShowtPrec :: Int -> D1 d f p -> Text

class GTextShowConT a where

Methods

gShowtPrecCon :: ConType -> Int -> a -> Text

Instances

TextShow p => GTextShowConT (Par1 p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> Par1 p -> Text

GTextShowConT (U1 p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> U1 p -> Text

GTextShowConT (UChar p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> UChar p -> Text

GTextShowConT (UDouble p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> UDouble p -> Text

GTextShowConT (UFloat p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> UFloat p -> Text

GTextShowConT (UInt p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> UInt p -> Text

GTextShowConT (UWord p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> UWord p -> Text

(TextShow1 f, TextShow p) => GTextShowConT (Rec1 f p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> Rec1 f p -> Text

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

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> (f :*: g) p -> Text

TextShow c => GTextShowConT (K1 i c p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> K1 i c p -> Text

(Selector s, GTextShowConT (f p)) => GTextShowConT (S1 s f p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> S1 s f p -> Text

(TextShow1 f, GTextShowConT (g p)) => GTextShowConT ((f :.: g) p)

Defined in TextShow.Generic

Methods

gShowtPrecCon :: ConType -> Int -> (f :.: g) p -> Text

class (forall a. TextShow a => GTextShowT (f a)) => GTextShowT1 f where

Methods

gLiftShowtPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> f a -> Text

Instances

GTextShowT1 (V1 :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> V1 a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> (f :+: g) a -> Text

(Constructor c, GTextShowConT1 f, IsNullary f) => GTextShowT1 (C1 c f)

Defined in TextShow.Generic

Methods

gLiftShowtPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> C1 c f a -> Text

GTextShowT1 f => GTextShowT1 (D1 d f)

Defined in TextShow.Generic

Methods

gLiftShowtPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> D1 d f a -> Text

class (forall a. TextShow a => GTextShowConT (f a)) => GTextShowConT1 f where

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> f a -> Text

Instances

GTextShowConT1 Par1

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> Par1 a -> Text

GTextShowConT1 (U1 :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> U1 a -> Text

GTextShowConT1 (UChar :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UChar a -> Text

GTextShowConT1 (UDouble :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UDouble a -> Text

GTextShowConT1 (UFloat :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UFloat a -> Text

GTextShowConT1 (UInt :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UInt a -> Text

GTextShowConT1 (UWord :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UWord a -> Text

TextShow1 f => GTextShowConT1 (Rec1 f)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> Rec1 f a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> (f :*: g) a -> Text

TextShow c => GTextShowConT1 (K1 i c :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> K1 i c a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> S1 s f a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> (f :.: g) a -> Text

Lazy Text

class GTextShowTL a where

Class of generic representation types that can be converted to a Text. Since: 3.10

Methods

gShowtlPrec :: Int -> a -> Text

Instances

GTextShowTL (V1 p)

Defined in TextShow.Generic

Methods

gShowtlPrec :: Int -> V1 p -> Text

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

Defined in TextShow.Generic

Methods

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

(Constructor c, GTextShowConTL (f p), IsNullary f) => GTextShowTL (C1 c f p)

Defined in TextShow.Generic

Methods

gShowtlPrec :: Int -> C1 c f p -> Text

GTextShowTL (f p) => GTextShowTL (D1 d f p)

Defined in TextShow.Generic

Methods

gShowtlPrec :: Int -> D1 d f p -> Text

class GTextShowConTL a where

Methods

gShowtlPrecCon :: ConType -> Int -> a -> Text

Instances

TextShow p => GTextShowConTL (Par1 p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> Par1 p -> Text

GTextShowConTL (U1 p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> U1 p -> Text

GTextShowConTL (UChar p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> UChar p -> Text

GTextShowConTL (UDouble p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> UDouble p -> Text

GTextShowConTL (UFloat p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> UFloat p -> Text

GTextShowConTL (UInt p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> UInt p -> Text

GTextShowConTL (UWord p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> UWord p -> Text

(TextShow1 f, TextShow p) => GTextShowConTL (Rec1 f p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> Rec1 f p -> Text

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

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> (f :*: g) p -> Text

TextShow c => GTextShowConTL (K1 i c p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> K1 i c p -> Text

(Selector s, GTextShowConTL (f p)) => GTextShowConTL (S1 s f p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> S1 s f p -> Text

(TextShow1 f, GTextShowConTL (g p)) => GTextShowConTL ((f :.: g) p)

Defined in TextShow.Generic

Methods

gShowtlPrecCon :: ConType -> Int -> (f :.: g) p -> Text

class (forall a. TextShow a => GTextShowTL (f a)) => GTextShowTL1 f where

Methods

gLiftShowtlPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> f a -> Text

Instances

GTextShowTL1 (V1 :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> V1 a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtlPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> (f :+: g) a -> Text

(Constructor c, GTextShowConTL1 f, IsNullary f) => GTextShowTL1 (C1 c f)

Defined in TextShow.Generic

Methods

gLiftShowtlPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> C1 c f a -> Text

GTextShowTL1 f => GTextShowTL1 (D1 d f)

Defined in TextShow.Generic

Methods

gLiftShowtlPrec :: (Int -> a -> Text) -> ([a] -> Text) -> Int -> D1 d f a -> Text

class (forall a. TextShow a => GTextShowConTL (f a)) => GTextShowConTL1 f where

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> f a -> Text

Instances

GTextShowConTL1 Par1

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> Par1 a -> Text

GTextShowConTL1 (U1 :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> U1 a -> Text

GTextShowConTL1 (UChar :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UChar a -> Text

GTextShowConTL1 (UDouble :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UDouble a -> Text

GTextShowConTL1 (UFloat :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UFloat a -> Text

GTextShowConTL1 (UInt :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UInt a -> Text

GTextShowConTL1 (UWord :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> UWord a -> Text

TextShow1 f => GTextShowConTL1 (Rec1 f)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> Rec1 f a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> (f :*: g) a -> Text

TextShow c => GTextShowConTL1 (K1 i c :: TYPE LiftedRep -> Type)

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> K1 i c a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> S1 s f a -> Text

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

Defined in TextShow.Generic

Methods

gLiftShowtlPrecCon :: (Int -> a -> Text) -> ([a] -> Text) -> ConType -> Int -> (f :.: g) a -> Text

Other internals

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 Par1

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k). Par1 a -> Bool

IsNullary (U1 :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). U1 a -> Bool

IsNullary (UChar :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). UChar a -> Bool

IsNullary (UDouble :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). UDouble a -> Bool

IsNullary (UFloat :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). UFloat a -> Bool

IsNullary (UInt :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). UInt a -> Bool

IsNullary (UWord :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). UWord a -> Bool

IsNullary (Rec1 f :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). Rec1 f a -> Bool

IsNullary (f :*: g :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). (f :*: g) a -> Bool

IsNullary (K1 i c :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). K1 i c a -> Bool

IsNullary f => IsNullary (S1 s f :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). S1 s f a -> Bool

IsNullary (f :.: g :: k -> Type)

Defined in TextShow.Generic

Methods

isNullary :: forall (a :: k0). (f :.: g) a -> Bool

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

Data ConType

Defined in TextShow.Generic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConType -> c ConType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConType

toConstr :: ConType -> Constr

dataTypeOf :: ConType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ConType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConType)

gmapT :: (forall b. Data b => b -> b) -> ConType -> ConType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConType -> r

gmapQ :: (forall d. Data d => d -> u) -> ConType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ConType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConType -> m ConType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConType -> m ConType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConType -> m ConType

Generic ConType

Defined in TextShow.Generic

Associated Types

type Rep ConType :: Type -> Type

Methods

from :: ConType -> Rep ConType x

to :: Rep ConType x -> ConType

Read ConType

Defined in TextShow.Generic

Methods

readsPrec :: Int -> ReadS ConType

readList :: ReadS [ConType]

readPrec :: ReadPrec ConType

readListPrec :: ReadPrec [ConType]

Show ConType

Defined in TextShow.Generic

Methods

showsPrec :: Int -> ConType -> ShowS

show :: ConType -> String

showList :: [ConType] -> ShowS

Eq ConType

Defined in TextShow.Generic

Methods

(==) :: ConType -> ConType -> Bool

(/=) :: ConType -> ConType -> Bool

Ord ConType

Defined in TextShow.Generic

Methods

compare :: ConType -> ConType -> Ordering

(<) :: ConType -> ConType -> Bool

(<=) :: ConType -> ConType -> Bool

(>) :: ConType -> ConType -> Bool

(>=) :: ConType -> ConType -> Bool

max :: ConType -> ConType -> ConType

min :: ConType -> ConType -> ConType

TextShow ConType

Defined in TextShow.Generic

Methods

showbPrec :: Int -> ConType -> Builder

showb :: ConType -> Builder

showbList :: [ConType] -> Builder

showtPrec :: Int -> ConType -> Text

showt :: ConType -> Text

showtList :: [ConType] -> Text

showtlPrec :: Int -> ConType -> Text

showtl :: ConType -> Text

showtlList :: [ConType] -> Text

Lift ConType

Defined in TextShow.Generic

Methods

lift :: Quote m => ConType -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => ConType -> Code m ConType

type Rep ConType

Defined in TextShow.Generic

type Rep ConType = D1 ('MetaData "ConType" "TextShow.Generic" "text-show-3.10-4oaWXJVD4dqWldBonHjwo" 'False) ((C1 ('MetaCons "Rec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tup" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pref" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Inf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))