Copyright	(c) 2008--2010 Universiteit Utrecht
License	BSD3
Maintainer	generics@haskell.org
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Generics.MultiRec.Show

Contents

Generic show
Utilities

Description

Generic show.

Synopsis

class HFunctor phi f => HShow phi f where
- hShowsPrecAlg :: Algebra' phi f [Int -> ShowS]
class Show1 f where
- show1 :: f [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
spaces :: [ShowS] -> ShowS
commas :: [ShowS] -> ShowS
intersperse :: String -> [ShowS] -> ShowS

Generic show

class HFunctor phi f => HShow phi f where Source #

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.

Methods

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

Instances

HShow phi U Source #
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi U [Int -> ShowS] Source #
Show a => HShow phi (K a) Source #	For constant types, we make use of the standard show function.
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi (K a) [Int -> ShowS] Source #
El phi xi => HShow phi (I xi) Source #
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi (I xi) [Int -> ShowS] Source #
(Constructor c, HShow phi f) => HShow phi (C c f) Source #
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi (C c f) [Int -> ShowS] Source #
(Show1 f, Traversable f, HShow phi g) => HShow phi (f :.: g) Source #
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi (f :.: g) [Int -> ShowS] Source #
HShow phi f => HShow phi (f :>: ix) Source #
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi (f :>: ix) [Int -> ShowS] Source #
(HShow phi f, HShow phi g) => HShow phi (f :*: g) Source #
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi (f :*: g) [Int -> ShowS] Source #
(HShow phi f, HShow phi g) => HShow phi (f :+: g) Source #
Instance details Defined in Generics.MultiRec.Show Methods hShowsPrecAlg :: Algebra' phi (f :+: g) [Int -> ShowS] Source #

class Show1 f where Source #

Methods

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

Instances

Show1 [] Source #
Instance details Defined in Generics.MultiRec.Show Methods show1 :: [[Int -> ShowS]] -> Int -> ShowS Source #
Show1 Maybe Source #
Instance details Defined in Generics.MultiRec.Show Methods show1 :: Maybe [Int -> ShowS] -> Int -> ShowS Source #

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 #

commas :: [ShowS] -> ShowS Source #

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