Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- gshowsPrec :: (Generic a, GShow0 (Rep a)) => Int -> a -> ShowS
- gprecShows :: (Generic a, GShow0 (Rep a)) => a -> PrecShowS
- type GShow0 = GShow Proxy
- gliftShowsPrec :: (Generic1 f, GShow1 (Rep1 f)) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS
- gLiftPrecShows :: GShow1 f => (Int -> a -> ShowS) -> ([a] -> ShowS) -> f a -> PrecShowS
- type ShowsPrec a = (Int -> a -> ShowS, [a] -> ShowS)
- type GShow1 = GShow Identity
- class GShow p f where
- class GShowC p c f where
- class GShowFields p f where
- class GShowNamed p f where
- class GShowSingle p f where
Documentation
gshowsPrec :: (Generic a, GShow0 (Rep a)) => Int -> a -> ShowS Source #
Generic showsPrec
.
instanceShow
MyType whereshowsPrec
=gshowsPrec
gliftShowsPrec :: (Generic1 f, GShow1 (Rep1 f)) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS Source #
class GShowFields p f where Source #
gPrecShowsFields :: p (ShowsPrec a) -> f a -> [PrecShowS] Source #
GShowFields p (U1 *) Source # | |
(GShowFields p f, GShowFields p g) => GShowFields p ((:*:) * f g) Source # | |
GShowSingle p f => GShowFields p (M1 * S c f) Source # | |
class GShowNamed p f where Source #
gPrecShowsNamed :: p (ShowsPrec a) -> f a -> ShowFields Source #
GShowNamed p (U1 *) Source # | |
(GShowNamed p f, GShowNamed p g) => GShowNamed p ((:*:) * f g) Source # | |
(Selector Meta c, GShowSingle p f) => GShowNamed p (M1 * S c f) Source # | |
class GShowSingle p f where Source #
gPrecShowsSingle :: p (ShowsPrec a) -> f a -> PrecShowS Source #
GShowSingle Identity Par1 Source # | |
Show1 f => GShowSingle Identity (Rec1 * f) Source # | |
Show a => GShowSingle p (K1 * i a) Source # | |
(GShowSingle Identity f, GShowSingle p g) => GShowSingle p ((:.:) * * f g) Source # | |