Copyright	(c) 2011 Patrick Bahr
License	BSD3
Maintainer	Patrick Bahr <paba@diku.dk>
Stability	experimental
Portability	non-portable (GHC Extensions)
Safe Haskell	None
Language	Haskell98

Data.Comp.Multi.Show

Contents

Orphan instances

Description

This module defines showing of (higher-order) signatures, which lifts to showing of (higher-order) terms and contexts. All definitions are generalised versions of those in Data.Comp.Show.

Synopsis

class ShowHF f where
- showHF :: Alg f (K String)
- showHF' :: f (K String) :=> String
class KShow a where
- kshow :: a i -> K String i

Documentation

class ShowHF f where Source #

Signature printing. An instance ShowHF f gives rise to an instance KShow (HTerm f).

Minimal complete definition

Nothing

Methods

showHF :: Alg f (K String) Source #

showHF' :: f (K String) :=> String Source #

Instances

Instances details

All ShowHF fs => ShowHF (Sum fs) Source #
Instance details Defined in Data.Comp.Multi.Show Methods showHF :: Alg (Sum fs) (K String) Source # showHF' :: Sum fs (K String) :=> String Source #
(ShowHF f, HFunctor f) => ShowHF (Cxt h f) Source #
Instance details Defined in Data.Comp.Multi.Show Methods showHF :: Alg (Cxt h f) (K String) Source # showHF' :: Cxt h f (K String) :=> String Source #
(ShowHF f, Show p) => ShowHF (f :&: p) Source #
Instance details Defined in Data.Comp.Multi.Show Methods showHF :: Alg (f :&: p) (K String) Source # showHF' :: (f :&: p) (K String) :=> String Source #

class KShow a where Source #

Methods

kshow :: a i -> K String i Source #

Instances

Instances details

KShow (K ()) Source #
Instance details Defined in Data.Comp.Multi.Show Methods kshow :: K () i -> K String i Source #
KShow (K String) Source #
Instance details Defined in Data.Comp.Multi.Show Methods kshow :: K String i -> K String i Source #
(ShowHF f, HFunctor f, KShow a) => KShow (Cxt h f a) Source #
Instance details Defined in Data.Comp.Multi.Show Methods kshow :: Cxt h f a i -> K String i Source #

Orphan instances

KShow (K ()) Source #
Instance details Methods kshow :: K () i -> K String i Source #
KShow (K String) Source #
Instance details Methods kshow :: K String i -> K String i Source #
All ShowHF fs => ShowHF (Sum fs) Source #
Instance details Methods showHF :: Alg (Sum fs) (K String) Source # showHF' :: Sum fs (K String) :=> String Source #
(ShowHF f, HFunctor f) => ShowHF (Cxt h f) Source #
Instance details Methods showHF :: Alg (Cxt h f) (K String) Source # showHF' :: Cxt h f (K String) :=> String Source #
(ShowHF f, HFunctor f, KShow a) => KShow (Cxt h f a) Source #
Instance details Methods kshow :: Cxt h f a i -> K String i Source #
(ShowHF f, Show p) => ShowHF (f :&: p) Source #
Instance details Methods showHF :: Alg (f :&: p) (K String) Source # showHF' :: (f :&: p) (K String) :=> String Source #
KShow (Cxt h f a) => Show (Cxt h f a i) Source #
Instance details Methods showsPrec :: Int -> Cxt h f a i -> ShowS # show :: Cxt h f a i -> String # showList :: [Cxt h f a i] -> ShowS #