Maintainer	mainland@eecs.harvard.edu
Safe Haskell	Safe-Infered

Language.C.Quote

Description

There are four modules that provide quasiquoters, each for a different C variant. C parses C99, GCC parses C99 plus GNU extensions, CUDA parses C99 plus GNU and CUDA extensions, and OpenCL parses C99 plus GNU and OpenCL extensions.

For version of GHC prior to 7.4, the quasiquoters generate Template Haskell expressions that use data constructors that must be in scope where the quasiquoted expression occurs. You will be safe if you add the following imports to any module using the quasiquoters provided by this package:

 import qualified Data.Loc
 import qualified Data.Symbol
 import qualified Language.C.Syntax

These modules may also be imported unqualified, of course. The quasiquoters also use some constructors defined in the standard Prelude, so if it is not imported by default, it must be imported qualified. On GHC 7.4 and above, you can use the quasiquoters without worrying about what names are in scope.

The following quasiquoters are defined:

cdecl: Declaration, of type InitGroup.
cedecl: External declarations (top-level declarations in a C file, including function definitions and declarations), of type Definition.
cenum: Component of an enum definition, of type CEnum.
cexp: Expression, of type Exp.
cfun: Function definition, of type Func.
cinit: Initializer, of type Initializer.
cparam: Declaration of a function parameter, of type Param.
csdecl: Declaration of a struct member, of type FieldGroup.
cty: A C type, of type Type.
cunit: A compilation unit, of type [Definition].

Antiquotations allow splicing in subterms during quotation. These subterms may bound to a Haskell variable or may be the value of a Haskell expression. Antiquotations appear in a quasiquotation in the form $ANTI:VARID, where ANTI is a valid antiquote specifier and VARID is a Haskell variable identifier, or in the form $ANTI:(EXP), where EXP is a Haskell expressions (the parentheses must appear in this case). The Haskell expression may itself contain a quasiquote, but in that case the final |] must be escaped as |]. Additionally, $VARID is shorthand for $exp:VARID and $(EXP) is shorthand for $exp:(EXP), i.e., exp is the default antiquote specifier. Valid antiquote specifiers are:

id: A C identifier. The argument must have type String.
int: An integer constant. The argument must be an instance of Integral.
uint: An unsigned integer constant. The argument must be an instance of Integral.
lint: A long integer constant. The argument must be an instance of Integral.
ulint: An unsigned long integer constant. The argument must be an instance of Integral.
float: A float constant. The argument must be an instance of Fractional.
double: A double constant. The argument must be an instance of Fractional.
long double: A long double constant. The argument must be an instance of Fractional.
char: A char constant. The argument must have type Char.
string: A string (char*) constant. The argument must have type String.
exp: A C expression. The argument must be an instance of ToExp.
func: A function definition. The argument must have type Func.
args: A list of function arguments. The argument must have type [Exp].
decl: A declaration. The argument must have type InitGroup.
decls: A list of declarations. The argument must have type [InitGroup].
sdecl: A struct member declaration. The argument must have type FieldGroup.
sdecls: A list of struct member declarations. The argument must have type [FieldGroup].
enum: An enum member. The argument must have type CEnum.
enums: An list of enum members. The argument must have type [CEnum].
esc: An arbitrary top-level C definition, such as an #include or a #define. The argument must have type String.
edecl: An external definition. The argument must have type Definition.
edecls: An list of external definitions. The argument must have type [Definition].
item: A statement block item. The argument must have type BlockItem.
items: A list of statement block item. The argument must have type [BlockItem].
stm: A statement. The argument must have type Stm.
stms: A list statements. The argument must have type [Stm].
ty: A C type. The argument must have type Type.
spec: A declaration specifier. The argument must have type DeclSpec.
param: A function parameter. The argument must have type Param.
params: A list of function parameters. The argument must have type [Param].
pragma: A pragma statement. The argument must have type String.