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 {-# SOURCE #-} GHC.IOBase
   9 import GHC.Show
  10
  11 data TypeRep
  12 data TyCon
  13
  14 mkTyCon      :: String -> TyCon
  15 mkTyConApp   :: TyCon -> [TypeRep] -> TypeRep
  16 showsTypeRep :: TypeRep -> ShowS
  17
  18 cast :: (Typeable a, Typeable b) => a -> Maybe b
  19
  20 class Typeable a where
  21   typeOf :: a -> TypeRep
  22
  23 instance Typeable Exception
  24