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