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

Safe HaskellNone
LanguageHaskell2010

Type.Show_old

Documentation

class TypeShow a where Source #

Minimal complete definition

Nothing

Methods

showType :: Proxy a -> String Source #

showType :: Typeable a => Proxy a -> String Source #

Instances
KnownNat n => TypeShow (n :: Nat) Source # 
Instance details

Defined in Type.Show_old

Methods

showType :: Proxy n -> String Source #

ListElemsShow a => TypeShow (a :: [k]) Source # 
Instance details

Defined in Type.Show_old

Methods

showType :: Proxy a -> String Source #

(TypeShow a, TypeShow b) => TypeShow ((,) a b :: (k2, k1)) Source # 
Instance details

Defined in Type.Show_old

Methods

showType :: Proxy (a, b) -> String Source #

showType' :: forall t. TypeShow t => String 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]) Source # 
Instance details

Defined in Type.Show_old

Methods

showListElems :: Proxy [] -> String Source #

(TypeShow a2, ListElemsShow as) => ListElemsShow (a2 ': as :: [a1]) Source # 
Instance details

Defined in Type.Show_old

Methods

showListElems :: Proxy (a2 ': as) -> String Source #

TypeShow a => ListElemsShow (a ': ([] :: [k]) :: [k]) Source # 
Instance details

Defined in Type.Show_old

Methods

showListElems :: Proxy (a ': []) -> String Source #