FFICXX.Runtime.CodeGen.Cxx

Documentation

newtype HeaderName

Constructors

HdrName

Fields

• unHdrName :: String

Instances

IsString HeaderName

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

fromString :: String -> HeaderName

Show HeaderName

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

showsPrec :: Int -> HeaderName -> ShowS

show :: HeaderName -> String

showList :: [HeaderName] -> ShowS

Eq HeaderName

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

(==) :: HeaderName -> HeaderName -> Bool

(/=) :: HeaderName -> HeaderName -> Bool

Ord HeaderName

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

compare :: HeaderName -> HeaderName -> Ordering

(<) :: HeaderName -> HeaderName -> Bool

(<=) :: HeaderName -> HeaderName -> Bool

(>) :: HeaderName -> HeaderName -> Bool

(>=) :: HeaderName -> HeaderName -> Bool

max :: HeaderName -> HeaderName -> HeaderName

min :: HeaderName -> HeaderName -> HeaderName

Hashable HeaderName

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

hashWithSalt :: Int -> HeaderName -> Int

hash :: HeaderName -> Int

newtype Namespace

Constructors

NS

Fields

• unNamespace :: String

Instances

IsString Namespace

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

fromString :: String -> Namespace

Show Namespace

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

Eq Namespace

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Ord Namespace

Defined in FFICXX.Runtime.CodeGen.Cxx

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

(<=) :: Namespace -> Namespace -> Bool

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

data PragmaParam

Constructors

Once

newtype NamePart (f :: Type -> Type)

parts for interpolation

Constructors

NamePart String

newtype CName (f :: Type -> Type)

Constructors

CName [NamePart f]

sname :: String -> CName Identity

renderCName :: CName Identity -> String

data CType (f :: Type -> Type)

Types

Constructors

CTVoid

CTSimple (CName f)

CTStar (CType f)

CTAuto

CTTApp

Fields

• (CName f)

  template type name

• [CType f]

  template parameters

CTConst (CType f)

CTScoped (CType f) (CType f)

CTVerbatim String

data COp

Operators

Constructors

CArrow

CAssign

renderCOp :: COp -> String

data CExp (f :: Type -> Type)

Constructors

CVar (CName f)

variable

CApp (CExp f) [CExp f]

C function app: f(a1,a2,..)

CTApp (CName f) [CType f] [CExp f]

template app : fT1,T2,..(a1,a2,..)

CBinOp COp (CExp f) (CExp f)

binary operator: x op y

CCast (CType f) (CExp f)

(type)exp

CAddr (CExp f)

&(exp)

CStar (CExp f)

• (exp)

CNew (CName f) [CExp f]

new operator: new Cstr(a1,a2,...)

CTNew (CName f) [CType f] [CExp f]

new operator for template class: new CstrT1,T2,..(a1,a2,..)

CTNewI (CName f) (CName f) [CType f] [CExp f]

new operator for inner class of template class: new CstrT1,T2,..::inner(a1,a2,..) -- TODO: make a generalization

CEMacroApp (CName f) [CName f]

macro function at expression level

CEVerbatim String

verbatim

CNull

empty C expression. (for convenience)

data CFunDecl (f :: Type -> Type)

Constructors

CFunDecl (CType f) (CName f) [(CType f, CName f)]

type func( type1 arg1, type2 arg2, ... )

data CVarDecl (f :: Type -> Type)

Constructors

CVarDecl

Fields

• (CType f)

  type

• (CName f)

  variable name

data CQual

Constructors

Inline

data CStatement (f :: Type -> Type)

Constructors

UsingNamespace Namespace

using namespace namespace;

TypeDef (CType f) (CName f)

typedef origtype newname;

CExpSA (CExp f)

C expression standalone;

CDeclaration (CFunDecl f)

function declaration;

CDefinition (Maybe CQual) (CFunDecl f) [CStatement f]

function definition;

CInit (CVarDecl f) (CExp f)

variable initialization;

CReturn (CExp f)

return statement;

CDelete (CExp f)

delete statement;

CMacroApp (CName f) [CName f]

C Macro application at statement level (temporary)

CExtern [CStatement f]

extern C {..}

Comment String

comment

CEmptyLine

for convenience

CVerbatim String

temporary verbatim

data CMacro (f :: Type -> Type)

Constructors

CRegular (CStatement f)

regular C++ statement

Include HeaderName

#include "header"

Pragma PragmaParam

#pragma

Undef (CName f)

#undef name

Define (CName f) [CName f] [CStatement f]

#define macro (type) definition

EmptyLine

just for convenience

Verbatim String

temporary verbatim

data CBlock (f :: Type -> Type)

Constructors

ExternC [CMacro f]

renderPragmaParam :: PragmaParam -> String

renderCType :: CType Identity -> String

renderCExp :: CExp Identity -> String

renderCQual :: CQual -> String

renderCFDecl :: CFunDecl Identity -> String

renderCVDecl :: CVarDecl Identity -> String

renderCStmt :: CStatement Identity -> String

render CStatement in a regular environment

renderCStmtInMacro :: CStatement Identity -> [String]

render CStatement in a macro definition environment

renderCMacro :: CMacro Identity -> String

renderBlock :: CBlock Identity -> String