Data.Comp.Param.Multi.Show

Contents

Description

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

Synopsis

Documentation

class ShowHD f where Source #

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

Minimal complete definition

Methods

Instances

(ShowHD f, Show p) => ShowHD (f :&: p) Source #
Instance details Defined in Data.Comp.Param.Multi.Show Methods showHD :: (f :&: p) Name (K (FreshM String)) i -> FreshM String Source #
(ShowHD f, ShowHD g) => ShowHD (f :+: g) Source #
Instance details Defined in Data.Comp.Param.Multi.Show Methods showHD :: (f :+: g) Name (K (FreshM String)) i -> FreshM String Source #
(HDifunctor f, ShowHD f) => ShowHD (Cxt h f) Source #	From an `ShowHD` higher-order difunctor an `ShowHD` instance of the corresponding term type can be derived.
Instance details Defined in Data.Comp.Param.Multi.Show Methods showHD :: Cxt h f Name (K (FreshM String)) i -> FreshM String Source #

Orphan instances

(HDifunctor f, ShowHD f) => Show (Term f i) Source #	Printing of terms.
Instance details Methods showsPrec :: Int -> Term f i -> ShowS # show :: Term f i -> String # showList :: [Term f i] -> ShowS #
(ShowHD f, Show p) => ShowHD (f :&: p) Source #
Instance details Methods showHD :: (f :&: p) Name (K (FreshM String)) i -> FreshM String Source #
(ShowHD f, ShowHD g) => ShowHD (f :+: g) Source #
Instance details Methods showHD :: (f :+: g) Name (K (FreshM String)) i -> FreshM String Source #
(HDifunctor f, ShowHD f) => ShowHD (Cxt h f) Source #	From an `ShowHD` higher-order difunctor an `ShowHD` instance of the corresponding term type can be derived.
Instance details Methods showHD :: Cxt h f Name (K (FreshM String)) i -> FreshM String Source #