Data.Comp.Param.Show

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

Documentation

class ShowD f where

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

Methods

showD :: f Name (FreshM String) -> FreshM String

Instances

(ShowD f, Show p) => ShowD (:&: f p)

(ShowD f, ShowD g) => ShowD (:+: f g)

(Difunctor f, ShowD f) => ShowD (Cxt h f)

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