2 {-# OPTIONS_GHC -XNoImplicitPrelude #-}
4 module Data.Typeable where
13 mkTyCon :: String -> TyCon
14 mkTyConApp :: TyCon -> [TypeRep] -> TypeRep
15 showsTypeRep :: TypeRep -> ShowS
17 cast :: (Typeable a, Typeable b) => a -> Maybe b
19 class Typeable a where
20 typeOf :: a -> TypeRep