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
   9 data TypeRep
  10 data TyCon
  11
  12 mkTyCon      :: String -> TyCon
  13 mkTyConApp   :: TyCon -> [TypeRep] -> TypeRep
  14
  15 cast :: (Typeable a, Typeable b) => a -> Maybe b
  16
  17 class Typeable a where
  18   typeOf :: a -> TypeRep
  19