Type.Show_old

Documentation

class TypeShow a where

Methods

showType :: Proxy a -> String

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

Instances

KnownNat n => TypeShow Nat n

Methods

showType :: Proxy n a -> String

ListElemsShow [k] a => TypeShow [k] a

Methods

showType :: Proxy a a -> String

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

Methods

showType :: Proxy ((k2, k1) a b) a -> 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

Minimal complete definition

showListElems

Methods

showListElems :: Proxy a -> String

Instances

ListElemsShow [k] ([] k)

Methods

showListElems :: Proxy [k] a -> String

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

Methods

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

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

Methods

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