Data/Typeable.hs-boot

   1
   2 {-# OPTIONS_GHC -XNoImplicitPrelude #-}
   3
   4 module Data.Typeable where
   5
   6 import Data.Maybe
   7 import GHC.Base
   8 import GHC.Show
   9
  10 data TypeRep
  11 data TyCon
  12
  13 mkTyCon      :: String -> TyCon
  14 mkTyConApp   :: TyCon -> [TypeRep] -> TypeRep
  15 showsTypeRep :: TypeRep -> ShowS
  16
  17 cast :: (Typeable a, Typeable b) => a -> Maybe b
  18
  19 class Typeable a where
  20   typeOf :: a -> TypeRep
  21