Language.C.DSL.Decl

Documentation

decl :: CDeclSpec -> CDeclr -> Maybe CExpr -> CDecl

A low level way to declare something.

voidTy :: CDeclSpec

Simple types that can be used in declarations.

floatTy :: CDeclSpec

Simple types that can be used in declarations.

longTy :: CDeclSpec

Simple types that can be used in declarations.

intTy :: CDeclSpec

Simple types that can be used in declarations.

shortTy :: CDeclSpec

Simple types that can be used in declarations.

charTy :: CDeclSpec

Simple types that can be used in declarations.

doubleTy :: CDeclarationSpecifier NodeInfo

ptr :: CDeclr -> CDeclr

Modifies a declarator to be a pointer. For example ptr x would be *x in C.

char :: CDeclr -> Maybe CExpr -> CDecl

Clever functions that can be applied to declarators, for example int x .= 1 is equivalent to int x = 1. To leave a variable uninitialized int x Nothing does the job.

double :: CDeclr -> Maybe CExpr -> CDecl

Clever functions that can be applied to declarators, for example int x .= 1 is equivalent to int x = 1. To leave a variable uninitialized int x Nothing does the job.

float :: CDeclr -> Maybe CExpr -> CDecl

Clever functions that can be applied to declarators, for example int x .= 1 is equivalent to int x = 1. To leave a variable uninitialized int x Nothing does the job.

long :: CDeclr -> Maybe CExpr -> CDecl

Clever functions that can be applied to declarators, for example int x .= 1 is equivalent to int x = 1. To leave a variable uninitialized int x Nothing does the job.

int :: CDeclr -> Maybe CExpr -> CDecl

Clever functions that can be applied to declarators, for example int x .= 1 is equivalent to int x = 1. To leave a variable uninitialized int x Nothing does the job.

short :: CDeclr -> Maybe CExpr -> CDecl

Clever functions that can be applied to declarators, for example int x .= 1 is equivalent to int x = 1. To leave a variable uninitialized int x Nothing does the job.

charPtr :: CDeclr -> Maybe CExpr -> CDecl

Equivalent to the above but with pointer wrappers.

doublePtr :: CDeclr -> Maybe CExpr -> CDecl

Equivalent to the above but with pointer wrappers.

floatPtr :: CDeclr -> Maybe CExpr -> CDecl

Equivalent to the above but with pointer wrappers.

longPtr :: CDeclr -> Maybe CExpr -> CDecl

Equivalent to the above but with pointer wrappers.

intPtr :: CDeclr -> Maybe CExpr -> CDecl

Equivalent to the above but with pointer wrappers.

shortPtr :: CDeclr -> Maybe CExpr -> CDecl

Equivalent to the above but with pointer wrappers.

(.=) :: (Maybe CExpr -> CDecl) -> CExpr -> CDecl

Supplies an initializer for an expression.

uninit :: (Maybe CExpr -> CDecl) -> CDecl

Leave a declaration uninitialized. For example uninit $ char x.

csu :: CStructTag -> String -> [(String, CTypeSpec)] -> CDecl

struct :: String -> [(String, CTypeSpec)] -> CDecl

Create a structure or union, for example struct foo [(bar, intTy)] is typedef struct foo {int bar;} foo;

union :: String -> [(String, CTypeSpec)] -> CDecl

Create a structure or union, for example struct foo [(bar, intTy)] is typedef struct foo {int bar;} foo;

fun :: [CDeclSpec] -> String -> [Maybe CExpr -> CDecl] -> CStat -> CFunDef

class External a where

Methods

export :: a -> CExtDecl

Instances

External CFunDef

External CDecl

External CStrLit

transUnit :: [CExtDecl] -> CTranslUnit

Exports a series of declarations to a translation unit.