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