fficxx-0.6: Automatic C++ binding generation

Safe Haskell	None
Language	Haskell2010

FFICXX.Generate.Code.Primitive

Synopsis

data CFunSig = CFunSig {
- cArgTypes :: [Arg]
- cRetType :: Types
}
data HsFunSig = HsFunSig {
- 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 -> TemplateClass -> 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 :: Type () -> Maybe Class -> [Type ()] -> Types -> Type ()
hsFuncXformer :: Function -> String
classConstraints :: Class -> Context ()
extractArgRetTypes :: Maybe Class -> Bool -> CFunSig -> HsFunSig
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 ()
genericFuncRet :: Function -> Types
genericFuncArgs :: Function -> [Arg]

Documentation

data CFunSig Source #

Constructors

CFunSig
Fields cArgTypes :: [Arg] cRetType :: Types

data HsFunSig Source #

Constructors

HsFunSig
Fields hsSigTypes :: [Type ()] hsSigConstraints :: [Asst ()]

ctypToCType :: CTypes -> IsConst -> CType Identity Source #

self_ :: Types Source #

cstring_ :: Types Source #

cint_ :: Types Source #

int_ :: Types Source #

uint_ :: Types Source #

ulong_ :: Types Source #

long_ :: Types Source #

culong_ :: Types Source #

clong_ :: Types Source #

cchar_ :: Types Source #

char_ :: Types Source #

cshort_ :: Types Source #

short_ :: Types Source #

cdouble_ :: Types Source #

double_ :: Types Source #

doublep_ :: Types Source #

cfloat_ :: Types Source #

float_ :: Types Source #

bool_ :: Types Source #

void_ :: Types Source #

voidp_ :: Types Source #

intp_ :: Types Source #

intref_ :: Types Source #

charpp_ :: Types Source #

ref_ :: CTypes -> Types Source #

star_ :: CTypes -> Types Source #

cstar_ :: CTypes -> Types Source #

self :: String -> Arg Source #

voidp :: String -> Arg Source #

cstring :: String -> Arg Source #

cint :: String -> Arg Source #

int :: String -> Arg Source #

uint :: String -> Arg Source #

long :: String -> Arg Source #

ulong :: String -> Arg Source #

clong :: String -> Arg Source #

culong :: String -> Arg Source #

cchar :: String -> Arg Source #

char :: String -> Arg Source #

cshort :: String -> Arg Source #

short :: String -> Arg Source #

cdouble :: String -> Arg Source #

double :: String -> Arg Source #

doublep :: String -> Arg Source #

cfloat :: String -> Arg Source #

float :: String -> Arg Source #

bool :: String -> Arg Source #

intp :: String -> Arg Source #

intref :: String -> Arg Source #

charpp :: String -> Arg Source #

ref :: CTypes -> String -> Arg Source #

star :: CTypes -> String -> Arg Source #

cstar :: CTypes -> String -> Arg Source #

cppclass_ :: Class -> Types Source #

cppclass :: Class -> String -> Arg Source #

cppclassconst :: Class -> String -> Arg Source #

cppclassref_ :: Class -> Types Source #

cppclassref :: Class -> String -> Arg Source #

cppclasscopy_ :: Class -> Types Source #

cppclasscopy :: Class -> String -> Arg Source #

cppclassmove_ :: Class -> Types Source #

cppclassmove :: Class -> String -> Arg Source #

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

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

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

argToCallCExp :: Arg -> CExp Identity Source #

returnCType :: Types -> CType Identity Source #

c2Cxx :: Types -> CExp Identity -> CExp Identity Source #

cxx2C :: Types -> CExp Identity -> CExp Identity Source #

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

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

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

tmplArgToCallCExp :: IsCPrimitive -> Arg -> CExp Identity Source #

tmplReturnCType :: IsCPrimitive -> Types -> CType Identity Source #

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

tmplMemFuncReturnCType :: Class -> Types -> CType Identity Source #

convertC2HS :: CTypes -> Type () Source #

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

convertCpp2HS4Tmpl Source #

Arguments

:: Type ()	self
-> Maybe Class
-> [Type ()]	type paramemter splice
-> Types
-> Type ()

hsFuncXformer :: Function -> String Source #

classConstraints :: Class -> Context () Source #

extractArgRetTypes Source #

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 () Source #

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

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

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

tmplAccessorToTFun :: Variable -> Accessor -> TemplateFunction Source #

accessorCFunSig :: Types -> Accessor -> CFunSig Source #

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

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

this is for FFI type.

genericFuncRet :: Function -> Types Source #

genericFuncArgs :: Function -> [Arg] Source #