Show -package:rebase -package:base package:compdata -is:module

class ShowConstr f
compdata Data.Comp.Derive
Constructor printing.
class ShowF f
compdata Data.Comp.Derive Data.Comp.Show
Signature printing. An instance ShowF f gives rise to an instance Show (Term f).
class ShowHF f
compdata Data.Comp.Multi.Derive Data.Comp.Multi.Show
Signature printing. An instance ShowHF f gives rise to an instance KShow (HTerm f).
showConstr :: ShowConstr f => f a -> String
compdata Data.Comp.Derive
showF :: ShowF f => f String -> String
compdata Data.Comp.Derive Data.Comp.Show
showHF :: ShowHF f => Alg f (K String)
compdata Data.Comp.Multi.Derive Data.Comp.Multi.Show
showHF' :: ShowHF f => f (K String) :=> String
compdata Data.Comp.Multi.Derive Data.Comp.Multi.Show
showTerm :: Render f => Term f -> String
compdata Data.Comp.Render
Show a term using ASCII art
makeShowConstr :: Name -> Q [Dec]
compdata Data.Comp.Derive
Derive an instance of showConstr for a type constructor of any first-order kind taking at least one argument.
makeShowF :: Name -> Q [Dec]
compdata Data.Comp.Derive
Derive an instance of ShowF for a type constructor of any first-order kind taking at least one argument.
class KShow a
compdata Data.Comp.Multi.Derive
kshow :: KShow a => a i -> K String i
compdata Data.Comp.Multi.Derive
makeShowHF :: Name -> Q [Dec]
compdata Data.Comp.Multi.Derive
Derive an instance of ShowHF for a type constructor of any higher-order kind taking at least two arguments.