Generic.Data.Internal.Show

Generic implementation of Show

Warning

This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.

If something here seems useful, please report it or create a pull request to export it from an external module.

Documentation

gshowsPrec :: (Generic a, GShow0 (Rep a)) => Int -> a -> ShowS

Generic showsPrec.

instance Show MyType where
  showsPrec = gshowsPrec

gprecShows :: (Generic a, GShow0 (Rep a)) => a -> PrecShowS

type GShow0 = GShow Proxy

Generic representation of Show types.

gliftShowsPrec :: (Generic1 f, GShow1 (Rep1 f)) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS

Generic liftShowsPrec.

gLiftPrecShows :: GShow1 f => (Int -> a -> ShowS) -> ([a] -> ShowS) -> f a -> PrecShowS

type ShowsPrec a = (Int -> a -> ShowS, [a] -> ShowS)

type GShow1 = GShow Identity

Generic representation of Show1 types.

class GShow p f where

Methods

gPrecShows :: p (ShowsPrec a) -> f a -> PrecShowS

Instances

GShow p (V1 :: Type -> Type)

Defined in Generic.Data.Internal.Show

Methods

gPrecShows :: p (ShowsPrec a) -> V1 a -> PrecShowS

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

Defined in Generic.Data.Internal.Show

Methods

gPrecShows :: p (ShowsPrec a) -> (f :+: g) a -> PrecShowS

(Constructor c, GShowC p c f) => GShow p (M1 C c f)

Defined in Generic.Data.Internal.Show

Methods

gPrecShows :: p (ShowsPrec a) -> M1 C c f a -> PrecShowS

GShow p f => GShow p (M1 D d f)

Defined in Generic.Data.Internal.Show

Methods

gPrecShows :: p (ShowsPrec a) -> M1 D d f a -> PrecShowS

class GShowC p c f where

Methods

gPrecShowsC :: p (ShowsPrec a) -> String -> Fixity -> M1 C c f a -> PrecShowS

Instances

GShowNamed p f => GShowC p (MetaCons s y True) f

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsC :: p (ShowsPrec a) -> String -> Fixity -> M1 C (MetaCons s y True) f a -> PrecShowS

GShowFields p f => GShowC p (MetaCons s y False) f

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsC :: p (ShowsPrec a) -> String -> Fixity -> M1 C (MetaCons s y False) f a -> PrecShowS

class GShowFields p f where

Methods

gPrecShowsFields :: p (ShowsPrec a) -> f a -> [PrecShowS]

Instances

GShowFields p (U1 :: Type -> Type)

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsFields :: p (ShowsPrec a) -> U1 a -> [PrecShowS]

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

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsFields :: p (ShowsPrec a) -> (f :*: g) a -> [PrecShowS]

GShowSingle p f => GShowFields p (M1 S c f)

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsFields :: p (ShowsPrec a) -> M1 S c f a -> [PrecShowS]

class GShowNamed p f where

Methods

gPrecShowsNamed :: p (ShowsPrec a) -> f a -> ShowFields

Instances

GShowNamed p (U1 :: Type -> Type)

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsNamed :: p (ShowsPrec a) -> U1 a -> ShowFields

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

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsNamed :: p (ShowsPrec a) -> (f :*: g) a -> ShowFields

(Selector c, GShowSingle p f) => GShowNamed p (M1 S c f)

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsNamed :: p (ShowsPrec a) -> M1 S c f a -> ShowFields

class GShowSingle p f where

Methods

gPrecShowsSingle :: p (ShowsPrec a) -> f a -> PrecShowS

Instances

GShowSingle Identity Par1

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsSingle :: Identity (ShowsPrec a) -> Par1 a -> PrecShowS

Show1 f => GShowSingle Identity (Rec1 f)

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsSingle :: Identity (ShowsPrec a) -> Rec1 f a -> PrecShowS

Show a => GShowSingle p (K1 i a :: Type -> Type)

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsSingle :: p (ShowsPrec a0) -> K1 i a a0 -> PrecShowS

(Show1 f, GShowSingle p g) => GShowSingle p (f :.: g)

Defined in Generic.Data.Internal.Show

Methods

gPrecShowsSingle :: p (ShowsPrec a) -> (f :.: g) a -> PrecShowS