Sets the Context for the current module. This function, if called, must be called before any of the other TH functions in this module. Fails if that's not the case.

Gets the current Context. Also makes sure that the current module is initialised.

Define macros that can be used in the nested Template Haskell expression. Macros can be used as @MACRO_NAME(input) in inline-c quotes, and will transform their input with the given function. They can be useful for passing in types when defining Haskell instances for C++ template types.

Given a C type name, return the Haskell type in Template Haskell. The first parameter controls whether function pointers should be mapped as pure or IO functions.

Simply appends some string to the module's C file. Use with care.

Data type representing a list of C definitions with a typed and named entry function.

We use it as a basis to inline and call C code.

Inlines a piece of code inline. The resulting Exp will have the type specified in the codeType.

In practice, this function outputs the C code to the module's C file, and then inserts a foreign call of type codeType calling the provided codeFunName.

Example:

c_add :: Int -> Int -> Int
c_add = $(do
  here <- TH.location
  inlineCode $ Code
    TH.Unsafe                   -- Call safety
    (Just here)
    [t| Int -> Int -> Int |]    -- Call type
    "francescos_add"            -- Call name
    -- C Code
    "int francescos_add(int x, int y) { int z = x + y; return z; }")

Same as inlineCItems, but with a single expression.

c_cos :: Double -> Double
c_cos = $(do
  here <- TH.location
  inlineExp
    TH.Unsafe
    here
    [t| Double -> Double |]
    (quickCParser_ "double" parseType)
    [("x", quickCParser_ "double" parseType)]
    "cos(x)")

Same as inlineCode, but accepts a string containing a list of C statements instead instead than a full-blown Code. A function containing the provided statement will be automatically generated.

c_cos :: Double -> Double
c_cos = $(do
 here <- TH.location
 inlineItems
  TH.Unsafe
  False
  Nothing
  here
  [t| Double -> Double |]
  (quickCParser_ "double" parseType)
  [("x", quickCParser_ "double" parseType)]
  "return cos(x);")