Show -package:rebase package:compdata
This module defines showing of (higher-order) signatures, which lifts
to showing of (higher-order) terms and contexts. All definitions are
generalised versions of those in
Data.Comp.Show.
This module defines showing of signatures, which lifts to showing of
terms and contexts.
Signature printing. An instance ShowF f gives rise to an
instance Show (Term 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.
Derive an instance of
ShowHF for a type constructor of any
higher-order kind taking at least two arguments.