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

Orphan instances

KShow (K ())

Methods

kshow :: K () i -> K String i

KShow (K String)

Methods

kshow :: K String i -> K String i

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

Methods

showHF :: Alg (Cxt h f) (K String)

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

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

Methods

kshow :: Cxt h f a i -> K String i

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

Methods

showHF :: Alg ((* :&: f) p) (K String)

showHF' :: (* :&: f) p (K String) :=> String

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

Methods

showHF :: Alg ((* :+: f) g) (K String)

showHF' :: (* :+: f) g (K String) :=> String

KShow (Cxt h f a) => Show (Cxt h f a i)

Methods

showsPrec :: Int -> Cxt h f a i -> ShowS

show :: Cxt h f a i -> String

showList :: [Cxt h f a i] -> ShowS