Provides a way to persist data from compile-time to runtime.

Latest on Hackage:

See all snapshots th-to-exp appears in

ISC licensed
Maintained by Alexis King

Module documentation for

This version can be pinned in stack with:[email protected]:e0435947c036b745ff9818353a7386c60c9d931c6cf1032ffe4dbe54e46a7dbe,1953

th-to-exp Build Status

th-to-exp is a package that provides a way to persist data from compile-time to runtime by producing Template Haskell expressions that evaluate to particular values. For example, if you have a value Just 1, then toExp (Just 1) will produce the expression [e| Just 1 |], which can be used in a splice. For a more direct example, here’s what that looks like without the quasiquote notation:

> toExp (Just 1)
AppE (ConE GHC.Base.Just) (LitE (IntegerL 1))

This is done by using a typeclass, ToExp, that can be automatically derived for types that have a Generic instance.