Type.Show_old

Documentation

class TypeShow a where

Minimal complete definition

Nothing

Methods

showType :: Proxy a -> String

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

Instances

KnownNat n => TypeShow (n :: Nat)

Defined in Type.Show_old

Methods

showType :: Proxy n -> String

ListElemsShow a => TypeShow (a :: [k])

Defined in Type.Show_old

Methods

showType :: Proxy a -> String

(TypeShow a, TypeShow b) => TypeShow ((,) a b :: (k2, k1))

Defined in Type.Show_old

Methods

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

showType' :: forall t. TypeShow t => String

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

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

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

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

class ListElemsShow a where

Methods

showListElems :: Proxy a -> String

Instances

ListElemsShow ([] :: [k])

Defined in Type.Show_old

Methods

showListElems :: Proxy [] -> String

(TypeShow a2, ListElemsShow as) => ListElemsShow (a2 ': as :: [a1])

Defined in Type.Show_old

Methods

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

TypeShow a => ListElemsShow (a ': ([] :: [k]) :: [k])

Defined in Type.Show_old

Methods

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