derive-2.5.13: A program and library to derive instances for data types

Safe Haskell | None

Data.Derive.Typeable

Description

Derivation for the `Typeable` class, as described in the Scrap Your Boilerplate papers. This derivation generates instances for all kinds of TypeableK classes; as such we do NOT require the GHC-specific generic downkinding instances to provide lower kind instances.

Also creates a `typename_<the type name>` value to hold the `TypeRep`.

# Documentation

makeTypeable :: Derivation Source