| Safe Haskell | Safe-Inferred |
|---|
Test.QuickSpec.Utils.Typeable
Description
- data TypeRep
- class Typeable a
- class Typeable1 t
- class Typeable2 t
- typeOf :: Typeable a => a -> TypeRep
- typeOf1 :: Typeable1 t => t a -> TypeRep
- cast :: (Typeable a, Typeable b) => a -> Maybe b
- gcast :: (Typeable a, Typeable b) => c a -> Maybe (c b)
- mkTyConApp :: TyCon -> [TypeRep] -> TypeRep
- typeRepTyCon :: TypeRep -> TyCon
- splitTyConApp :: TypeRep -> (TyCon, [TypeRep])
- mkFunTy :: TypeRep -> TypeRep -> TypeRep
- unTypeRep :: TypeRep -> TypeRep
Documentation
class Typeable a
The class Typeable allows a concrete representation of a type to
be calculated.
Instances
class Typeable1 t
Variant for unary type constructors
class Typeable2 t
Variant for binary type constructors
mkTyConApp :: TyCon -> [TypeRep] -> TypeRepSource
typeRepTyCon :: TypeRep -> TyConSource
splitTyConApp :: TypeRep -> (TyCon, [TypeRep])Source