Data.Comp.Param.Show

Contents

Description

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

Synopsis

Documentation

class ShowD f where Source #

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

Minimal complete definition

Methods

Instances

(ShowD f, Show p) => ShowD (f :&: p) Source #
Instance details Defined in Data.Comp.Param.Show Methods showD :: (f :&: p) Name (FreshM String) -> FreshM String Source #
(ShowD f, ShowD g) => ShowD (f :+: g) Source #
Instance details Defined in Data.Comp.Param.Show Methods showD :: (f :+: g) Name (FreshM String) -> FreshM String Source #
(Difunctor f, ShowD f) => ShowD (Cxt h f) Source #	From an `ShowD` difunctor an `ShowD` instance of the corresponding term type can be derived.
Instance details Defined in Data.Comp.Param.Show Methods showD :: Cxt h f Name (FreshM String) -> FreshM String Source #

Orphan instances

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