Type.Show

Documentation

class Typeable a => TypeShow a where

Methods

showType :: String

Instances

KnownNat n => TypeShow (n :: Nat)

Defined in Type.Show

Methods

showType :: String

Typeable a => TypeShow (a :: k)

Defined in Type.Show

Methods

showType :: String

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

Defined in Type.Show

Methods

showType :: String

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

Defined in Type.Show

Methods

showType :: String

printType :: forall a m. (TypeShow a, MonadIO m) => m ()

ppPrintType :: forall a m. (TypeShow a, MonadIO m) => m ()

ppShowType :: forall a. TypeShow a => String

ppTypeDoc :: forall a. TypeShow a => Doc

class ListElemsShow a where

Methods

showListElems :: String

Instances

ListElemsShow ([] :: [k])

Defined in Type.Show

Methods

showListElems :: String

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

Defined in Type.Show

Methods

showListElems :: String

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

Defined in Type.Show

Methods

showListElems :: String