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).

Methods

showF :: f String -> String

Instances

ShowF []

Defined in Data.Comp.Show

Methods

showF :: [String] -> String

ShowF Maybe

Defined in Data.Comp.Show

Methods

showF :: Maybe String -> String

Show a => ShowF ((,) a)

Defined in Data.Comp.Show

Methods

showF :: (a, String) -> String

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

Defined in Data.Comp.Show

Methods

showF :: Cxt h f String -> String

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

Defined in Data.Comp.Show

Methods

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

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

Defined in Data.Comp.Show

Methods

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

Orphan instances

ShowF []

Methods

showF :: [String] -> String

ShowF Maybe

Methods

showF :: Maybe String -> String

Show a => ShowF ((,) a)

Methods

showF :: (a, 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