Data.Comp.Show

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

Documentation

class ShowF f where

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

Minimal complete definition

showF

Methods

showF :: f String -> String

Orphan instances

ShowF []

Methods

showF :: [String] -> String

ShowF Maybe

Methods

showF :: Maybe String -> String

Show a0 => ShowF ((,) a0)

Methods

showF :: (a0, String) -> String

(Functor f, ShowF f) => ShowF (Cxt h f)

Methods

showF :: Cxt h f String -> String

(Functor f, ShowF f, Show a) => Show (Cxt h f a)

Methods

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

show :: Cxt h f a -> String

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

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

Methods

showConstr :: (* :&: f) p a -> String

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

Methods

showConstr :: (* :+: f) g a -> String

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

Methods

showF :: (* :&: f) p String -> String

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

Methods

showF :: (* :+: f) g String -> String