| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Data.Serde.Internal.TH
Description
template Haskell generator
Documentation
runqq1 :: String -> Q [Dec] Source #
run quasi-quote body, and replace Q state (to get the shadowable data types)
Arguments
| :: (RunUserCoercion -> Q [Dec]) | generate coercions between shadow and regular data types |
| -> (Name -> Q [Dec]) | derive coercions for shadow data, regular data with no shadows, and newtypes |
| -> [Name] | preparations for shadow types |
| -> Q [Dec] | generated coercions |
using the stored state (from last quasi-quote run), run user code to generate coercions
data RunUserCoercion Source #
arguments to user code that generates coercions
Constructors
| RunUserCoercion | |
Fields
| |