Typeable overhaul (see #5275)
[ghc.git] / libraries / base / Data / Typeable.hs-boot
1 {-# LANGUAGE NoImplicitPrelude #-}
2
3 module Data.Typeable where
4
5 import Data.Maybe
6 import GHC.Base
7 import {-# SOURCE #-} Data.Typeable.Internal
8
9 mkTyConApp   :: TyCon -> [TypeRep] -> TypeRep
10
11 cast :: (Typeable a, Typeable b) => a -> Maybe b
12
13 class Typeable a where
14   typeOf :: a -> TypeRep
15