Data.Comp.MultiParam.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

(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.

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

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