typelevel-1.0.4: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Show

Documentation

class TypeShow a where Source

Methods

showType :: Proxy (a :: k) -> String Source

Instances

KnownNat n => TypeShow Nat n Source 
ListElemsShow [k] a => TypeShow [k] a Source 
(TypeShow k a, TypeShow k1 b) => TypeShow ((,) k k) ((,) k k a b) Source 

printType :: TypeShow a => Proxy a -> IO () Source

ppPrintType :: TypeShow a => Proxy a -> IO () Source

ppShowType :: TypeShow a => Proxy a -> String Source

ppTypeDoc :: TypeShow a => Proxy a -> Doc Source

class ListElemsShow a where Source

Methods

showListElems :: Proxy a -> String Source

Instances

ListElemsShow [k] ([] k) Source 
(TypeShow k a, ListElemsShow [k] as) => ListElemsShow [k] ((:) k a as) Source 
TypeShow k a => ListElemsShow [k] ((:) k a ([] k)) Source