Data/Typeable.hs-boot

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