Data/Typeable.hs-boot

   1
   2 {-# OPTIONS -fno-implicit-prelude #-}
   3
   4 module Data.Typeable where
   5
   6 import GHC.Base
   7
   8 data TypeRep
   9 data TyCon
  10
  11 mkTyCon :: String -> TyCon
  12 mkTyConApp :: TyCon -> [TypeRep] -> TypeRep
  13
  14 class Typeable a where
  15   typeOf :: a -> TypeRep
  16