Data.Comp.Multi.Show

This module defines showing of (higher-order) signatures, which lifts to showing of (higher-order) terms and contexts. All definitions are generalised versions of those in Data.Comp.Show.

Documentation

class ShowHF f where

Signature printing. An instance ShowHF f gives rise to an instance KShow (HTerm f).

Methods

showHF :: Alg f (K String)

showHF' :: f (K String) :=> String

Instances

(ShowHF f, HFunctor f) => ShowHF (Cxt h f)

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

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