Safe Haskell	Safe-Inferred
Language	Haskell2010

FFICXX.Runtime.TH

Synopsis

data IsCPrimitive
- = CPrim
- | NonCPrim
data TemplateParamInfo = TPInfo {
- tpinfoCxxType :: String
- tpinfoCxxHeaders :: [HeaderName]
- tpinfoCxxNamespaces :: [Namespace]
- tpinfoSuffix :: String
}
data FunctionParamInfo = FPInfo {
- fpinfoCxxArgTypes :: [(String, String)]
- fpinfoCxxRetType :: Maybe String
- fpinfoCxxHeaders :: [HeaderName]
- fpinfoCxxNamespaces :: [Namespace]
- fpinfoSuffix :: String
}
con :: String -> Type
mkInstance :: Cxt -> Type -> [Dec] -> Dec
mkTFunc :: (types, String, String -> String, types -> Q Type) -> Q Exp
mkMember :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec
mkNew :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec
mkDelete :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec
mkFunc :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec
dot2_ :: String -> String

Documentation

data IsCPrimitive Source #

Primitive C type like int, double should be treated differently than Non-primitive type. The primitive type detection is not yet automatic. So we manually mark template instantiation with this boolean parameter.

Constructors

CPrim
NonCPrim

Instances

Instances details

Show IsCPrimitive Source #
Instance details Defined in FFICXX.Runtime.TH Methods showsPrec :: Int -> IsCPrimitive -> ShowS # show :: IsCPrimitive -> String # showList :: [IsCPrimitive] -> ShowS #

data TemplateParamInfo Source #

template parameter: A,B,.. in TA,B..

Constructors

TPInfo
Fields tpinfoCxxType :: String tpinfoCxxHeaders :: [HeaderName] tpinfoCxxNamespaces :: [Namespace] tpinfoSuffix :: String

Instances

Instances details

Show TemplateParamInfo Source #
Instance details Defined in FFICXX.Runtime.TH Methods showsPrec :: Int -> TemplateParamInfo -> ShowS # show :: TemplateParamInfo -> String # showList :: [TemplateParamInfo] -> ShowS #

data FunctionParamInfo Source #

function pointer parameter A(B,C,..) in std::functionA(B,C,..)

Constructors

FPInfo
Fields fpinfoCxxArgTypes :: [(String, String)] fpinfoCxxRetType :: Maybe String fpinfoCxxHeaders :: [HeaderName] fpinfoCxxNamespaces :: [Namespace] fpinfoSuffix :: String

Instances

Instances details

Show FunctionParamInfo Source #
Instance details Defined in FFICXX.Runtime.TH Methods showsPrec :: Int -> FunctionParamInfo -> ShowS # show :: FunctionParamInfo -> String # showList :: [FunctionParamInfo] -> ShowS #

con :: String -> Type Source #

mkInstance :: Cxt -> Type -> [Dec] -> Dec Source #

mkTFunc :: (types, String, String -> String, types -> Q Type) -> Q Exp Source #

mkMember :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec Source #

mkNew :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec Source #

mkDelete :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec Source #

mkFunc :: String -> (types -> String -> Q Exp) -> types -> String -> Q Dec Source #

dot2_ :: String -> String Source #

utility function for converting . to '_'