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

Comparison operators, normal haskell operators with : at the end.

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

Comparison operators, normal haskell operators with : at the end.

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

Comparison operators, normal haskell operators with : at the end.

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

Comparison operators, normal haskell operators with : at the end.

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

Comparison operators, normal haskell operators with : at the end.

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

Comparison operators, normal haskell operators with : at the end.

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

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

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

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

The automatic dereferencing -> in C.

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

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