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 HShowF f where

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

Methods

hshowF :: HAlg f (K String)

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

Instances

(HShowF f, HFunctor f) => HShowF (HCxt h f)

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

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