Data.Comp.Show

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

Documentation

class ShowF f where

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

Methods

showF :: f String -> String

Instances

ShowF []

ShowF Maybe

Show a0 => ShowF ((,) a)

(Functor f, ShowF f) => ShowF (Cxt h f)

(ShowF f, Show p) => ShowF ((:&:) * f p)

(ShowF f, ShowF g) => ShowF ((:+:) * f g)