compdata-0.3: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerTom Hvitved <[email protected]>

Data.Comp.Param.Show

Description

This module defines showing of signatures, which lifts to showing of terms.

Synopsis

Documentation

class PShow a whereSource

Printing of parametric values.

Methods

pshow :: a -> FreshM StringSource

Instances

Show a => PShow a 
(ShowD f, PShow a) => PShow (Cxt h f Var a) 

class ShowD f whereSource

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

Methods

showD :: PShow a => f Var a -> FreshM StringSource

Instances

(ShowD f, PShow p) => ShowD (:&: f p) 
(ShowD f, ShowD g) => ShowD (:+: f g) 
ShowD f => ShowD (Cxt h f)

From an ShowD difunctor an ShowD instance of the corresponding term type can be derived.