derive-0.1.3: A program and library to derive instances for data typesSource codeContentsIndex
Data.Derive.TTypeable
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
makeTTypeable :: DerivationSource
Produced by Haddock version 2.4.2