Data/Typeable.hs-boot

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