Safe Haskell	Safe
Language	Haskell2010

Generic.Data.Internal.Show

Synopsis

Documentation

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

Generic showsPrec.

instance Show MyType where
  showsPrec = gshowsPrec

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

type GShow0 = GShow Proxy Source #

Generic representation of Show types.

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

Generic liftShowsPrec.

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

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

type GShow1 = GShow Identity Source #

Generic representation of Show1 types.

class GShow p f where Source #

Minimal complete definition

gPrecShows

Methods

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

Instances

GShow p (V1 *) Source #
Methods gPrecShows :: p (ShowsPrec a) -> V1 * a -> PrecShowS Source #
(GShow p f, GShow p g) => GShow p ((:+:) * f g) Source #
Methods gPrecShows :: p (ShowsPrec a) -> (* :+: f) g a -> PrecShowS Source #
(Constructor Meta c, GShowC p c f) => GShow p (M1 * C c f) Source #
Methods gPrecShows :: p (ShowsPrec a) -> M1 * C c f a -> PrecShowS Source #
GShow p f => GShow p (M1 * D d f) Source #
Methods gPrecShows :: p (ShowsPrec a) -> M1 * D d f a -> PrecShowS Source #

class GShowC p c f where Source #

Minimal complete definition

gPrecShowsC

Methods

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

Instances

GShowNamed p f => GShowC p (MetaCons s y True) f Source #
Methods gPrecShowsC :: p (ShowsPrec a) -> String -> Fixity -> M1 * C (MetaCons s y True) f a -> PrecShowS Source #
GShowFields p f => GShowC p (MetaCons s y False) f Source #
Methods gPrecShowsC :: p (ShowsPrec a) -> String -> Fixity -> M1 * C (MetaCons s y False) f a -> PrecShowS Source #

class GShowFields p f where Source #

Minimal complete definition

gPrecShowsFields

Methods

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

Instances

GShowFields p (U1 *) Source #
Methods gPrecShowsFields :: p (ShowsPrec a) -> U1 * a -> [PrecShowS] Source #
(GShowFields p f, GShowFields p g) => GShowFields p ((::) f g) Source #
Methods gPrecShowsFields :: p (ShowsPrec a) -> (* :*: f) g a -> [PrecShowS] Source #
GShowSingle p f => GShowFields p (M1 * S c f) Source #
Methods gPrecShowsFields :: p (ShowsPrec a) -> M1 * S c f a -> [PrecShowS] Source #

class GShowNamed p f where Source #

Minimal complete definition

gPrecShowsNamed

Methods

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

Instances

GShowNamed p (U1 *) Source #
Methods gPrecShowsNamed :: p (ShowsPrec a) -> U1 * a -> ShowFields Source #
(GShowNamed p f, GShowNamed p g) => GShowNamed p ((::) f g) Source #
Methods gPrecShowsNamed :: p (ShowsPrec a) -> (* :*: f) g a -> ShowFields Source #
(Selector Meta c, GShowSingle p f) => GShowNamed p (M1 * S c f) Source #
Methods gPrecShowsNamed :: p (ShowsPrec a) -> M1 * S c f a -> ShowFields Source #

class GShowSingle p f where Source #

Minimal complete definition

gPrecShowsSingle

Methods

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

Instances

GShowSingle Identity Par1 Source #
Methods gPrecShowsSingle :: Identity (ShowsPrec a) -> Par1 a -> PrecShowS Source #
Show1 f => GShowSingle Identity (Rec1 * f) Source #
Methods gPrecShowsSingle :: Identity (ShowsPrec a) -> Rec1 * f a -> PrecShowS Source #
Show a => GShowSingle p (K1 * i a) Source #
Methods gPrecShowsSingle :: p (ShowsPrec a) -> K1 * i a a -> PrecShowS Source #
(GShowSingle Identity f, GShowSingle p g) => GShowSingle p ((:.:) * * f g) Source #
Methods gPrecShowsSingle :: p (ShowsPrec a) -> (* :.: *) f g a -> PrecShowS Source #