Generics.MultiRec.Show

Generic show.

Generic show

class HFunctor phi f => HShow phi f where

The list in the result type allows us to get at the fields of a constructor individually, which in turn allows us to insert additional stuff in between if record notation is used.

Minimal complete definition

hShowsPrecAlg

Methods

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

Instances

HShow phi U

Methods

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

Show a => HShow phi (K a)

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

Methods

hShowsPrecAlg :: Algebra' phi (K a) [Int -> ShowS]

El phi xi => HShow phi (I xi)

Methods

hShowsPrecAlg :: Algebra' phi (I xi) [Int -> ShowS]

(Constructor c, HShow phi f) => HShow phi (C c f)

Methods

hShowsPrecAlg :: Algebra' phi (C c f) [Int -> ShowS]

(Show1 f, Traversable f, HShow phi g) => HShow phi ((:.:) f g)

Methods

hShowsPrecAlg :: Algebra' phi (f :.: g) [Int -> ShowS]

HShow phi f => HShow phi ((:>:) f ix)

Methods

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

(HShow phi f, HShow phi g) => HShow phi ((:*:) f g)

Methods

hShowsPrecAlg :: Algebra' phi (f :*: g) [Int -> ShowS]

(HShow phi f, HShow phi g) => HShow phi ((:+:) f g)

Methods

hShowsPrecAlg :: Algebra' phi (f :+: g) [Int -> ShowS]

class Show1 f where

Minimal complete definition

show1

Methods

show1 :: f [Int -> ShowS] -> Int -> ShowS

Instances

Show1 []

Methods

show1 :: [[Int -> ShowS]] -> Int -> ShowS

Show1 Maybe

Methods

show1 :: Maybe [Int -> ShowS] -> 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

Utilities

spaces :: [ShowS] -> ShowS

commas :: [ShowS] -> ShowS

intersperse :: String -> [ShowS] -> ShowS