Copilot.Compile.C99.Translate

Documentation

transexpr :: Expr a -> State FunEnv Expr

Translates a Copilot expression into a C99 expression.

transop1 :: Op1 a b -> Expr -> Expr

Translates a Copilot unary operator and arguments into a C99 expression.

transop2 :: Op2 a b c -> Expr -> Expr -> Expr

Translates a Copilot binary operator and arguments into a C99 expression.

transop3 :: Op3 a b c d -> Expr -> Expr -> Expr -> Expr

Translates a Copilot ternaty operator and arguments into a C99 expression.

constty :: Type a -> a -> Expr

Give a C99 literal expression based on a value and a type.

explicitty :: Type a -> Expr -> Expr

transtype :: Type a -> Type

Translate a Copilot type to a C99 type.

transtypename :: Type a -> TypeName

Translate a Copilot type intro a C typename