fficxx-0.5.1: automatic C++ binding generation

Safe Haskell	None
Language	Haskell98

FFICXX.Generate.Code.Primitive

Synopsis

data CFunSig = CFunSig {
- cArgTypes :: Args
- cRetType :: Types
}
data HsFunSig = HsFunSig {
- hsSigTypes :: [Type ()]
- hsSigConstraints :: [Asst ()]
}
cvarToStr :: CTypes -> IsConst -> String -> String
ctypToStr :: CTypes -> IsConst -> String
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 -> (Types, String)
voidp :: String -> (Types, String)
cstring :: String -> (Types, String)
cint :: String -> (Types, String)
int :: String -> (Types, String)
uint :: String -> (Types, String)
long :: String -> (Types, String)
ulong :: String -> (Types, String)
clong :: String -> (Types, String)
culong :: String -> (Types, String)
cchar :: String -> (Types, String)
char :: String -> (Types, String)
cshort :: String -> (Types, String)
short :: String -> (Types, String)
cdouble :: String -> (Types, String)
double :: String -> (Types, String)
doublep :: String -> (Types, String)
cfloat :: String -> (Types, String)
float :: String -> (Types, String)
bool :: String -> (Types, String)
intp :: String -> (Types, String)
intref :: String -> (Types, String)
charpp :: String -> (Types, String)
ref :: CTypes -> String -> (Types, String)
star :: CTypes -> String -> (Types, String)
cstar :: CTypes -> String -> (Types, String)
cppclass_ :: Class -> Types
cppclass :: Class -> String -> (Types, String)
cppclassconst :: Class -> String -> (Types, String)
cppclassref_ :: Class -> Types
cppclassref :: Class -> String -> (Types, String)
cppclasscopy_ :: Class -> Types
cppclasscopy :: Class -> String -> (Types, String)
cppclassmove_ :: Class -> Types
cppclassmove :: Class -> String -> (Types, String)
argToString :: (Types, String) -> String
argsToString :: Args -> String
argsToStringNoSelf :: Args -> String
argToCallString :: (Types, String) -> String
argsToCallString :: Args -> String
rettypeToString :: Types -> String
castC2Cpp :: Types -> String -> String
castCpp2C :: Types -> String -> String
tmplArgToString :: Bool -> TemplateClass -> (Types, String) -> String
tmplAllArgsToString :: Bool -> Selfness -> TemplateClass -> Args -> String
tmplArgToCallString :: Bool -> (Types, String) -> String
tmplAllArgsToCallString :: Bool -> Args -> String
tmplRetTypeToString :: Bool -> Types -> String
tmplMemFuncArgToString :: Class -> (Types, String) -> String
tmplMemFuncRetTypeToString :: Class -> Types -> String
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 ()
accessorCFunSig :: Types -> Accessor -> CFunSig
accessorSignature :: Class -> Variable -> Accessor -> Type ()
hsFFIFuncTyp :: Maybe (Selfness, Class) -> CFunSig -> Type ()
genericFuncRet :: Function -> Types
genericFuncArgs :: Function -> Args

Documentation

data CFunSig Source #

Constructors

CFunSig
Fields cArgTypes :: Args cRetType :: Types

data HsFunSig Source #

Constructors

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

cvarToStr :: CTypes -> IsConst -> String -> String Source #

ctypToStr :: CTypes -> IsConst -> String 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 -> (Types, String) Source #

voidp :: String -> (Types, String) Source #

cstring :: String -> (Types, String) Source #

cint :: String -> (Types, String) Source #

int :: String -> (Types, String) Source #

uint :: String -> (Types, String) Source #

long :: String -> (Types, String) Source #

ulong :: String -> (Types, String) Source #

clong :: String -> (Types, String) Source #

culong :: String -> (Types, String) Source #

cchar :: String -> (Types, String) Source #

char :: String -> (Types, String) Source #

cshort :: String -> (Types, String) Source #

short :: String -> (Types, String) Source #

cdouble :: String -> (Types, String) Source #

double :: String -> (Types, String) Source #

doublep :: String -> (Types, String) Source #

cfloat :: String -> (Types, String) Source #

float :: String -> (Types, String) Source #

bool :: String -> (Types, String) Source #

intp :: String -> (Types, String) Source #

intref :: String -> (Types, String) Source #

charpp :: String -> (Types, String) Source #

ref :: CTypes -> String -> (Types, String) Source #

star :: CTypes -> String -> (Types, String) Source #

cstar :: CTypes -> String -> (Types, String) Source #

cppclass_ :: Class -> Types Source #

cppclass :: Class -> String -> (Types, String) Source #

cppclassconst :: Class -> String -> (Types, String) Source #

cppclassref_ :: Class -> Types Source #

cppclassref :: Class -> String -> (Types, String) Source #

cppclasscopy_ :: Class -> Types Source #

cppclasscopy :: Class -> String -> (Types, String) Source #

cppclassmove_ :: Class -> Types Source #

cppclassmove :: Class -> String -> (Types, String) Source #

argToString :: (Types, String) -> String Source #

argsToString :: Args -> String Source #

argsToStringNoSelf :: Args -> String Source #

argToCallString :: (Types, String) -> String Source #

argsToCallString :: Args -> String Source #

rettypeToString :: Types -> String Source #

castC2Cpp :: Types -> String -> String Source #

castCpp2C :: Types -> String -> String Source #

tmplArgToString :: Bool -> TemplateClass -> (Types, String) -> String Source #

tmplAllArgsToString :: Bool -> Selfness -> TemplateClass -> Args -> String Source #

tmplArgToCallString Source #

Arguments

:: Bool	is primitive type?
-> (Types, String)
-> String

tmplAllArgsToCallString Source #

Arguments

:: Bool	is primitive type?
-> Args
-> String

tmplRetTypeToString Source #

Arguments

:: Bool	is primitive type?
-> Types
-> String

tmplMemFuncArgToString :: Class -> (Types, String) -> String Source #

tmplMemFuncRetTypeToString :: Class -> Types -> String 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 #

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 -> Args Source #