| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Generic.Data.Internal.Show
Synopsis
- 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
- gPrecShows :: p (ShowsPrec a) -> f a -> PrecShowS
- class GShowC p c f where
- class GShowFields p f where
- gPrecShowsFields :: p (ShowsPrec a) -> f a -> [PrecShowS]
- class GShowNamed p f where
- gPrecShowsNamed :: p (ShowsPrec a) -> f a -> ShowFields
- class GShowSingle p f where
- gPrecShowsSingle :: p (ShowsPrec a) -> f a -> PrecShowS
Documentation
gshowsPrec :: (Generic a, GShow0 (Rep a)) => Int -> a -> ShowS #
Generic showsPrec.
instanceShowMyType whereshowsPrec=gshowsPrec
gliftShowsPrec :: (Generic1 f, GShow1 (Rep1 f)) => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS #
Generic liftShowsPrec.
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 | |
| GShow p f => GShow p (M1 D d f) # | |
Defined in Generic.Data.Internal.Show | |
Instances
| GShowNamed p f => GShowC p (MetaCons s y True) f # | |
| GShowFields p f => GShowC p (MetaCons s y False) f # | |
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 | |
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 | |
| Show1 f => GShowSingle Identity (Rec1 f) # | |
Defined in Generic.Data.Internal.Show | |
| 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 # | |
| (GShowSingle Identity f, GShowSingle p g) => GShowSingle p (f :.: g) # | |
Defined in Generic.Data.Internal.Show Methods gPrecShowsSingle :: p (ShowsPrec a) -> (f :.: g) a -> PrecShowS # | |