multirec-0.2: Generic programming with systems 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 f => HShow f where hShowsPrecAlg :: Algebra' s f (K0 [Int -> ShowS]) hShowsPrecAlg_ :: HShow f => s ix -> Algebra' s f (K0 [Int -> ShowS]) showsPrec :: forall s ix. (Ix s ix, HShow (PF s)) => s ix -> Int -> ix -> ShowS show :: forall s ix. (Ix s ix, HShow (PF s)) => s ix -> ix -> String spaces :: [ShowS] -> ShowS

Generic show

class HFunctor f => HShow f where Source

Methods hShowsPrecAlg :: Algebra' s f (K0 [Int -> ShowS]) Source Instances HShow U Show x => HShow (K x) HShow (I xi) HShow f => HShow (C c f) HShow f => HShow (f :>: ix) (HShow f, HShow g) => HShow (f :*: g) (HShow f, HShow g) => HShow (f :+: g)

hShowsPrecAlg_ :: HShow f => s ix -> Algebra' s f (K0 [Int -> ShowS]) Source

A variant of the algebra that takes an extra argument to fix the system s the algebra works on.

showsPrec :: forall s ix. (Ix s ix, HShow (PF s)) => s ix -> Int -> ix -> ShowS Source

show :: forall s ix. (Ix s ix, HShow (PF s)) => s ix -> ix -> String Source

Utilities

spaces :: [ShowS] -> ShowS Source

Produced by Haddock version 2.4.2