| 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
Instances
| Typeable1 [] | |
| Typeable1 Ratio | |
| Typeable1 StablePtr | |
| Typeable1 IO | |
| Typeable1 Ptr | |
| Typeable1 FunPtr | |
| Typeable1 Fixed | |
| Typeable1 Complex | |
| Typeable1 IORef | |
| Typeable1 MVar | |
| Typeable1 Maybe | |
| Typeable1 IntMap | |
| Typeable1 Expr | |
| (Typeable2 s, Typeable a) => Typeable1 (s a) | One Typeable1 instance for all Typeable2 instances |
class Typeable2 t
Variant for binary type constructors
mkTyConApp :: TyCon -> [TypeRep] -> TypeRepSource
typeRepTyCon :: TypeRep -> TyConSource
splitTyConApp :: TypeRep -> (TyCon, [TypeRep])Source