Language.C.DSL.Exp

This module contians the DSL for writing CExprs. It doesn't export the orphan instance for IsString CExpr which can be found in Language.C.DSL.StringLike.

Documentation

str :: String -> CExpr

Lift a Haskell string into a literal C string.

cOp :: CBinaryOp -> CExpr -> CExpr -> CExpr

(==:) :: CExpr -> CExpr -> CExpr

Equality test, a ==: b is equivalent to a == b

(/=:) :: CExpr -> CExpr -> CExpr

Inequality test, a /=: b is equivalent to a != b

(<:) :: CExpr -> CExpr -> CExpr

Less-than test, a <: b is equivalent to a < b

(>:) :: CExpr -> CExpr -> CExpr

Greater-than test, a >: b is equivalent to a > b

(<=:) :: CExpr -> CExpr -> CExpr

Less than or equal to, a <=: b is equivalent to a <= b

(>=:) :: CExpr -> CExpr -> CExpr

Greater than or equal to, a >=: b is equivalent to a >= b

ternary :: CExpr -> CExpr -> CExpr -> CExpr

The ternary operator in C. ternary a b c will turn into a ? b : c.

var :: Ident -> CExpr

A function mapping identifier in C to be used as variables. Normally this can be avoided since Language.C.DSL.StringLike provides an IsString instance.

(#) :: CExpr -> [CExpr] -> CExpr

Function calls, f#[a, b, c] will become f(a, b, c). Note that f is also an expression.

(<--) :: CExpr -> CExpr -> CExpr infixl 3

The assignment operator. var <-- value will become var = value; in C.

assign :: CAssignOp -> CExpr -> CExpr -> CExpr

This is the more generalized version of '(<--)'. It allows any CAssignOp to be passed in to facilitate writing a += b and similar.

data UnOp

A simplified unary operator type. It can be converted to Cs version using toCUnaryOp.

Constructors

PlusPlus

MinusMinus

Minus

Plus

Not

Addr

The address of operator &.

Ind

The dereferencing operator in C *.

Instances

Eq UnOp

Show UnOp

toCUnaryOp :: UnOp -> CUnaryOp

Convert a UnOp to the corresponding CUnaryOp.

pre :: UnOp -> CExpr -> CExpr

Apply a unary operator prefix, op pre exp will transform into something like op exp in C. This only matters for PlusPlus and MinusMinus.

post :: CExpr -> UnOp -> CExpr

The postfix equivalent of pre.

star :: CExpr -> CExpr

A quick wrapper of pre Ind exp since it's so common.

comma :: [CExpr] -> CExpr

The C comma operator, comma [a, b, c] is equivalent to a, b, c in C.

castTo :: CExpr -> CDecl -> CExpr

Implements C style casts for expressions.

sizeOfDecl :: CDecl -> CExpr

size of for types.

sizeOf :: CExpr -> CExpr

size of for expressions. Carefully note that sizeOf "someType" will incorrectly treat someType as a variable, not a type.

(&) :: CExpr -> String -> CExpr infixl 8

Access a field of a struct, this C's . operator.

(&*) :: CExpr -> String -> CExpr infixl 8

The automatic dereferencing -> in C.

(!) :: CExpr -> CExpr -> CExpr infixl 8

This is the indexing operator in C, a ! i is a[i].