FFICXX.Generate.Code.Primitive

Documentation

data CFunSig

Constructors

CFunSig

Fields

• cArgTypes :: [Arg]
• cRetType :: Types

data HsFunSig

Constructors

HsFunSig

Fields

• hsSigTypes :: [Type ()]
• hsSigConstraints :: [Asst ()]

ctypToCType :: CTypes -> IsConst -> CType Identity

self_ :: Types

cstring_ :: Types

cint_ :: Types

int_ :: Types

uint_ :: Types

ulong_ :: Types

long_ :: Types

culong_ :: Types

clong_ :: Types

cchar_ :: Types

char_ :: Types

cshort_ :: Types

short_ :: Types

cdouble_ :: Types

double_ :: Types

doublep_ :: Types

cfloat_ :: Types

float_ :: Types

bool_ :: Types

void_ :: Types

voidp_ :: Types

intp_ :: Types

intref_ :: Types

charpp_ :: Types

ref_ :: CTypes -> Types

star_ :: CTypes -> Types

cstar_ :: CTypes -> Types

self :: String -> Arg

voidp :: String -> Arg

cstring :: String -> Arg

cint :: String -> Arg

int :: String -> Arg

uint :: String -> Arg

long :: String -> Arg

ulong :: String -> Arg

clong :: String -> Arg

culong :: String -> Arg

cchar :: String -> Arg

char :: String -> Arg

cshort :: String -> Arg

short :: String -> Arg

cdouble :: String -> Arg

double :: String -> Arg

doublep :: String -> Arg

cfloat :: String -> Arg

float :: String -> Arg

bool :: String -> Arg

intp :: String -> Arg

intref :: String -> Arg

charpp :: String -> Arg

ref :: CTypes -> String -> Arg

star :: CTypes -> String -> Arg

cstar :: CTypes -> String -> Arg

cppclass_ :: Class -> Types

cppclass :: Class -> String -> Arg

cppclassconst :: Class -> String -> Arg

cppclassref_ :: Class -> Types

cppclassref :: Class -> String -> Arg

cppclasscopy_ :: Class -> Types

cppclasscopy :: Class -> String -> Arg

cppclassmove_ :: Class -> Types

cppclassmove :: Class -> String -> Arg

argToCTypVar :: Arg -> (CType Identity, CName Identity)

argsToCTypVar :: [Arg] -> [(CType Identity, CName Identity)]

argsToCTypVarNoSelf :: [Arg] -> [(CType Identity, CName Identity)]

argToCallCExp :: Arg -> CExp Identity

returnCType :: Types -> CType Identity

c2Cxx :: Types -> CExp Identity -> CExp Identity

cxx2C :: Types -> CExp Identity -> CExp Identity

tmplAppTypeFromForm :: Form -> [CType Identity] -> CType Identity

tmplArgToCTypVar :: IsCPrimitive -> Arg -> (CType Identity, CName Identity)

tmplAllArgsToCTypVar :: IsCPrimitive -> Selfness -> TemplateClass -> [Arg] -> [(CType Identity, CName Identity)]

tmplArgToCallCExp :: IsCPrimitive -> Arg -> CExp Identity

tmplReturnCType :: IsCPrimitive -> Types -> CType Identity

tmplMemFuncArgToCTypVar :: Class -> Arg -> (CType Identity, CName Identity)

tmplMemFuncReturnCType :: Class -> Types -> CType Identity

convertC2HS :: CTypes -> Type ()

convertCpp2HS :: Maybe Class -> Types -> Type ()

convertCpp2HS4Tmpl

Arguments

:: Type ()

self

-> Maybe Class

-> [Type ()]

type paramemter splice

-> Types

-> Type ()

hsFuncXformer :: Function -> String

classConstraints :: Class -> Context ()

extractArgRetTypes

Arguments

:: Maybe Class

class (Nothing for top-level function)

-> Bool

is virtual function?

-> CFunSig

C type signature information for a given function -- (Args,Types) -- ^ (argument types, return type) of a given function

-> HsFunSig

Haskell type signature information for the function -- ([Type ()],[Asst ()]) -- ^ (types, class constraints)

functionSignature :: Class -> Function -> Type ()

functionSignatureT :: TemplateClass -> TemplateFunction -> Type ()

functionSignatureTT :: TemplateClass -> TemplateFunction -> Type ()

functionSignatureTMF :: Class -> TemplateMemberFunction -> Type ()

tmplAccessorToTFun :: Variable -> Accessor -> TemplateFunction

accessorCFunSig :: Types -> Accessor -> CFunSig

accessorSignature :: Class -> Variable -> Accessor -> Type ()

hsFFIFuncTyp :: Maybe (Selfness, Class) -> CFunSig -> Type ()

this is for FFI type.

genericFuncRet :: Function -> Types

genericFuncArgs :: Function -> [Arg]