Data.Comp.Param.Multi.Show

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

Documentation

class ShowHD f where

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

Methods

showHD :: f Name (K (FreshM String)) i -> FreshM String

Instances

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

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

(HDifunctor f, ShowHD f) => ShowHD (Cxt h f)

From an ShowHD higher-order difunctor an ShowHD instance of the corresponding term type can be derived.