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

class ShowConstr f

Constructor printing.

class ShowF f

Signature printing. An instance ShowF f gives rise to an instance Show (Term f).

class ShowHF f

Signature printing. An instance ShowHF f gives rise to an instance KShow (HTerm f).

Show a term using ASCII art

Derive an instance of showConstr for a type constructor of any first-order kind taking at least one argument.

Derive an instance of ShowF for a type constructor of any first-order kind taking at least one argument.

class KShow a

Derive an instance of ShowHF for a type constructor of any higher-order kind taking at least two arguments.