Lift a type from a Typeable constraint to a Template Haskell type

Version on this page:
LTS Haskell 22.11:
Stackage Nightly 2024-02-22:
Latest on Hackage:

See all snapshots lift-type appears in

BSD-3-Clause licensed by Matt Parsons
Maintained by [email protected]
This version can be pinned in stack with:lift-type-,1106

Module documentation for

Used by 1 package in lts-18.28(full list with versions):


This library provides a utility function liftType which accepts a type application argument and returns the Template Haskell Type representation of it.


Changelog for lift-typeable

  • Support GHC 8.2.2, which evidently required TypeInType for the forall k (a :: k) signature.

  • Initial release