Data.Comp.MultiParam.Show

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

Documentation

class PShow a where

Printing of parametric values.

Methods

pshow :: a i -> FreshM String

Instances

PShow Var

Show a => PShow (K a)

(ShowHD f, PShow a) => PShow (Cxt h f Var a)

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

class ShowHD f where

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

Methods

showHD :: PShow a => f Var a i -> FreshM String

Instances

(ShowHD f, PShow (K p)) => ShowHD (:&: f p)

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