Data.Comp.Param.Multi.Show

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

Documentation

class ShowHD f where

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

Minimal complete definition

showHD

Methods

showHD :: f Name (K (FreshM String)) i -> FreshM String

Instances

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

Defined in Data.Comp.Param.Multi.Show

Methods

showHD :: (f :&: p) Name (K (FreshM String)) i -> FreshM String

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

Defined in Data.Comp.Param.Multi.Show

Methods

showHD :: (f :+: g) Name (K (FreshM String)) i -> FreshM String

(HDifunctor f, ShowHD f) => ShowHD (Cxt h f)

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

Defined in Data.Comp.Param.Multi.Show

Methods

showHD :: Cxt h f Name (K (FreshM String)) i -> FreshM String

Orphan instances

(HDifunctor f, ShowHD f) => Show (Term f i)

Printing of terms.

Methods

showsPrec :: Int -> Term f i -> ShowS

show :: Term f i -> String

showList :: [Term f i] -> ShowS

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

Methods

showHD :: (f :&: p) Name (K (FreshM String)) i -> FreshM String

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

Methods

showHD :: (f :+: g) Name (K (FreshM String)) i -> FreshM String

(HDifunctor f, ShowHD f) => ShowHD (Cxt h f)

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

Methods

showHD :: Cxt h f Name (K (FreshM String)) i -> FreshM String