Generics.MultiRec.Show

Generic show.

Generic show

class HFunctor phi f => HShow phi f where

Methods

hShowsPrecAlg :: Algebra' phi f [Int -> ShowS]

Instances

HShow phi U

Show a => HShow phi (K a)

For constant types, we make use of the standard show function.

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

show :: (Fam phi, HShow phi (PF phi)) => phi ix -> ix -> String

Utilities

spaces :: [ShowS] -> ShowS