 | derive-0.1.1: A program and library to derive instances for data types | Source code | Contents | Index |
| Data.Derive.TTypeable |
| makeTTypeable :: Derivation | Source |
| |||||
| |||||
| Description | |||||
| Type level typeable, as used by the undecidable-instances version of the TypeEq class from Oleg and Lammel's HList library. The type numbers used are autmatically generated using a little-endian Enum representation of the type's name. Note that we truncate characters above 255, and ignore the module name, though the consequences are much less severe than in the Typeable case since no coercion is involved. | |||||
| Documentation | |||||
| |||||
| Produced by Haddock version 2.4.2 |