Data.Comp.MultiParam.Show

Description

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

Synopsis

Documentation

class ShowHD f whereSource

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

Methods

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)