Safe Haskell | Safe-Inferred |
---|

- 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.

class Typeable1 t

Variant for unary type constructors

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