compdata-0.5: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <[email protected]>

Data.Comp.Show

Description

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

Synopsis

Documentation

class ShowF f whereSource

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

Methods

showF :: f String -> StringSource

Instances

ShowF [] 
ShowF Maybe 
Show a0 => ShowF ((,) a0) 
(ShowF f, Show p) => ShowF (:&: f p) 
(ShowF f, ShowF g) => ShowF (:+: f g) 
(Functor f, ShowF f) => ShowF (Cxt h f)