compdata-0.8.0.1: Compositional Data Types

Copyright(c) 2010-2011 Patrick Bahr, Tom Hvitved
LicenseBSD3
MaintainerPatrick Bahr <[email protected]>
Stabilityexperimental
Portabilitynon-portable (GHC Extensions)
Safe HaskellNone
LanguageHaskell98

Data.Comp.Show

Description

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

Synopsis

Documentation

class ShowF f where Source

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

Methods

showF :: f String -> String Source

Instances

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