shithub: MicroHs

ref: f094734a68bceb5a7c03a42e4d4533ffa7b5e8f7
dir: /lib/Data/Typeable.hs-boot/

View raw version 
module Data.Typeable where
import Prelude()
import Data.Char_Type
import Data.Maybe_Type

type  Typeable :: forall k . k -> Constraint
class Typeable a where
  typeRep :: forall proxy . proxy a -> TypeRep

data TypeRep
mkTyConApp :: TyCon -> [TypeRep] -> TypeRep

data TyCon
mkTyCon :: String -> String -> TyCon

cast :: forall a b. (Typeable a, Typeable b) => a -> Maybe b