multirec-0.3: Generic programming for families of recursive datatypes
Source code
Contents
Index
Generics.MultiRec.Show
Portability
non-portable
Stability
experimental
Maintainer
generics@haskell.org
Contents
Generic show
Utilities
Description
Generic show.
Synopsis
class
HFunctor
phi f =>
HShow
phi f
where
hShowsPrecAlg
::
Algebra'
phi f [
Int
->
ShowS
]
showsPrec
:: (
Fam
phi,
HShow
phi (
PF
phi)) => phi ix ->
Int
-> ix ->
ShowS
show
:: (
Fam
phi,
HShow
phi (
PF
phi)) => phi ix -> ix ->
String
spaces
:: [
ShowS
] ->
ShowS
Generic show
class
HFunctor
phi f =>
HShow
phi f
where
Source
Methods
hShowsPrecAlg
::
Algebra'
phi f [
Int
->
ShowS
]
Source
Instances
HShow
phi
U
Show
a =>
HShow
phi (
K
a)
El
phi xi =>
HShow
phi (
I
xi)
(
Constructor
c,
HShow
phi f) =>
HShow
phi (
C
c f)
HShow
phi f =>
HShow
phi (f
:>:
ix)
(
HShow
phi f,
HShow
phi g) =>
HShow
phi (f
:*:
g)
(
HShow
phi f,
HShow
phi g) =>
HShow
phi (f
:+:
g)
showsPrec
:: (
Fam
phi,
HShow
phi (
PF
phi)) => phi ix ->
Int
-> ix ->
ShowS
Source
show
:: (
Fam
phi,
HShow
phi (
PF
phi)) => phi ix -> ix ->
String
Source
Utilities
spaces
:: [
ShowS
] ->
ShowS
Source
Produced by
Haddock
version 2.4.2