| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.TypeRep.Types.Basic.Typeable
Description
Typeable instances for various types. The reason for having these in a
separate module is that it might be desired to have these instances with
other type representations.
For example, instead of the instance
(BoolType :<: t) => Typeable t Bool
one might want to have
Typeable MyTypeRep Bool