| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Lift.Internal
Description
Helper functions used in code that Language.Haskell.TH.Lift generates.
Note: this is an internal module, and as such, the API presented here is not guaranteed to be stable, even between minor releases of this library.
Synopsis
- errorQuoteExp :: String -> Q Exp
- unsafeSpliceCoerce :: forall (r :: RuntimeRep) (a :: TYPE r). Q Exp -> Q (TExp a)
Documentation
errorQuoteExp :: String -> Q Exp Source #
A type-restricted version of error that ensures makeLift always
returns a value of type q (where Expq is an instance of Quote),
even when used on an empty datatype.
unsafeSpliceCoerce :: forall (r :: RuntimeRep) (a :: TYPE r). Q Exp -> Q (TExp a) Source #
This is a cargo-culted version of unsafeSpliceCoerce from the
th-compat library, which has been copied here to avoid incurring a library
dependency.
Only available when built with template-haskell-2.9.0.0 or later.