Copyright	(c) 2011 Patrick Bahr
License	BSD3
Maintainer	Patrick Bahr <[email protected]>
Stability	experimental
Portability	non-portable (GHC Extensions)
Safe Haskell	None
Language	Haskell98

Data.Comp.Multi.Show

Description

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.

Synopsis

Documentation

class ShowHF f where Source

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

Minimal complete definition

Nothing

Methods

showHF :: Alg f (K String) Source

showHF' :: f (K String) :=> String Source

Instances

(ShowHF f, HFunctor f) => ShowHF (Cxt h f)
(ShowHF f, Show p) => ShowHF ((:&:) * f p)
(ShowHF f, ShowHF g) => ShowHF ((:+:) * f g)