FFICXX.Generate.Type.Class

Documentation

data CTypes

C types

Constructors

CTString

CTChar

CTInt

CTUInt

CTLong

CTULong

CTDouble

CTBool

CTDoubleStar

CTVoidStar

CTIntStar

CTCharStarStar

CPointer CTypes

CRef CTypes

Instances

Show CTypes

Methods

showsPrec :: Int -> CTypes -> ShowS

show :: CTypes -> String

showList :: [CTypes] -> ShowS

data CPPTypes

C++ types

Constructors

CPTClass Class

CPTClassRef Class

CPTClassCopy Class

Instances

Show CPPTypes

Methods

showsPrec :: Int -> CPPTypes -> ShowS

show :: CPPTypes -> String

showList :: [CPPTypes] -> ShowS

data IsConst

const flag

Constructors

Const

NoConst

Instances

Show IsConst

Methods

showsPrec :: Int -> IsConst -> ShowS

show :: IsConst -> String

showList :: [IsConst] -> ShowS

data Types

Constructors

Void

SelfType

CT CTypes IsConst

CPT CPPTypes IsConst

TemplateApp

Fields

• tapp_hstemplate :: TemplateClass
• tapp_HaskellTypeForParam :: String
• tapp_CppTypeForParam :: String

TemplateAppRef

Fields

• tappref_hstemplate :: TemplateClass
• tappref_HaskellTypeForParam :: String
• tappref_CppTypeForParam :: String

TemplateType TemplateClass

TemplateParam String

Instances

Show Types

Methods

showsPrec :: Int -> Types -> ShowS

show :: Types -> String

showList :: [Types] -> ShowS

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

short_ :: Types

cdouble_ :: Types

double_ :: Types

doublep_ :: Types

float_ :: Types

bool_ :: Types

void_ :: Types

voidp_ :: Types

intp_ :: Types

intref_ :: Types

charpp_ :: 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)

short :: String -> (Types, String)

cdouble :: String -> (Types, String)

double :: String -> (Types, String)

doublep :: String -> (Types, String)

float :: String -> (Types, String)

bool :: String -> (Types, String)

intp :: String -> (Types, String)

intref :: String -> (Types, String)

charpp :: 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)

hsCTypeName :: CTypes -> String

type Args = [(Types, String)]

data Function

Constructors

Constructor

Fields

• func_args :: Args
• func_alias :: Maybe String

Virtual

Fields

• func_ret :: Types
• func_name :: String
• func_args :: Args
• func_alias :: Maybe String

NonVirtual

Fields

• func_ret :: Types
• func_name :: String
• func_args :: Args
• func_alias :: Maybe String

Static

Fields

• func_ret :: Types
• func_name :: String
• func_args :: Args
• func_alias :: Maybe String

Destructor

Fields

• func_alias :: Maybe String

Instances

Show Function

Methods

showsPrec :: Int -> Function -> ShowS

show :: Function -> String

showList :: [Function] -> ShowS

data TopLevelFunction

Constructors

TopLevelFunction

Fields

• toplevelfunc_ret :: Types
• toplevelfunc_name :: String
• toplevelfunc_args :: Args
• toplevelfunc_alias :: Maybe String

TopLevelVariable

Fields

• toplevelvar_ret :: Types
• toplevelvar_name :: String
• toplevelvar_alias :: Maybe String

Instances

Show TopLevelFunction

Methods

showsPrec :: Int -> TopLevelFunction -> ShowS

show :: TopLevelFunction -> String

showList :: [TopLevelFunction] -> ShowS

hsFrontNameForTopLevelFunction :: TopLevelFunction -> String

isNewFunc :: Function -> Bool

isDeleteFunc :: Function -> Bool

isVirtualFunc :: Function -> Bool

isNonVirtualFunc :: Function -> Bool

isStaticFunc :: Function -> Bool

virtualFuncs :: [Function] -> [Function]

constructorFuncs :: [Function] -> [Function]

nonVirtualNotNewFuncs :: [Function] -> [Function]

staticFuncs :: [Function] -> [Function]

argToString :: (Types, String) -> String

argsToString :: Args -> String

argsToStringNoSelf :: Args -> String

argToCallString :: (Types, String) -> String

argsToCallString :: Args -> String

rettypeToString :: Types -> String

tmplArgToString :: TemplateClass -> (Types, String) -> String

tmplAllArgsToString :: Selfness -> TemplateClass -> Args -> String

tmplArgToCallString :: (Types, String) -> String

tmplAllArgsToCallString :: Args -> String

tmplRetTypeToString

Arguments

:: Bool

is Simple type?

-> Types

-> String

newtype ProtectedMethod

Constructors

Protected

Fields

• unProtected :: [String]

Instances

Monoid ProtectedMethod

Methods

mempty :: ProtectedMethod

mappend :: ProtectedMethod -> ProtectedMethod -> ProtectedMethod

mconcat :: [ProtectedMethod] -> ProtectedMethod

data AddCInc

Constructors

AddCInc FilePath String

data AddCSrc

Constructors

AddCSrc FilePath String

data Cabal

Constructors

Cabal

Fields

• cabal_pkgname :: String
• cabal_cheaderprefix :: String
• cabal_moduleprefix :: String
• cabal_additional_c_incs :: [AddCInc]
• cabal_additional_c_srcs :: [AddCSrc]

data CabalAttr

Constructors

CabalAttr

Fields

• cabalattr_license :: Maybe String
• cabalattr_licensefile :: Maybe String
• cabalattr_extraincludedirs :: [FilePath]
• cabalattr_extralibdirs :: [FilePath]
• cabalattr_extrafiles :: [FilePath]

Instances

Default CabalAttr

Methods

def :: CabalAttr

data Class

Constructors

Class

Fields

• class_cabal :: Cabal
• class_name :: String
• class_parents :: [Class]
• class_protected :: ProtectedMethod
• class_alias :: Maybe String
• class_funcs :: [Function]

AbstractClass

Fields

• class_cabal :: Cabal
• class_name :: String
• class_parents :: [Class]
• class_protected :: ProtectedMethod
• class_alias :: Maybe String
• class_funcs :: [Function]

Instances

Eq Class

Methods

(==) :: Class -> Class -> Bool

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

Ord Class

Methods

compare :: Class -> Class -> Ordering

(<) :: Class -> Class -> Bool

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

(>) :: Class -> Class -> Bool

(>=) :: Class -> Class -> Bool

max :: Class -> Class -> Class

min :: Class -> Class -> Class

Show Class

Methods

showsPrec :: Int -> Class -> ShowS

show :: Class -> String

showList :: [Class] -> ShowS

data TemplateFunction

Constructors

TFun

Fields

• tfun_ret :: Types
• tfun_name :: String
• tfun_oname :: String
• tfun_args :: Args
• tfun_alias :: Maybe String

TFunNew

Fields

• tfun_new_args :: Args

TFunDelete

data TemplateClass

Constructors

TmplCls

Fields

• tclass_cabal :: Cabal
• tclass_name :: String
• tclass_oname :: String
• tclass_param :: String
• tclass_funcs :: [TemplateFunction]

Instances

Eq TemplateClass

Methods

(==) :: TemplateClass -> TemplateClass -> Bool

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

Ord TemplateClass

Methods

compare :: TemplateClass -> TemplateClass -> Ordering

(<) :: TemplateClass -> TemplateClass -> Bool

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

(>) :: TemplateClass -> TemplateClass -> Bool

(>=) :: TemplateClass -> TemplateClass -> Bool

max :: TemplateClass -> TemplateClass -> TemplateClass

min :: TemplateClass -> TemplateClass -> TemplateClass

Show TemplateClass

Methods

showsPrec :: Int -> TemplateClass -> ShowS

show :: TemplateClass -> String

showList :: [TemplateClass] -> ShowS

data ClassGlobal

Constructors

ClassGlobal

Fields

• cgDaughterSelfMap :: DaughterMap
• cgDaughterMap :: DaughterMap

data Selfness

Constructors

Self

NoSelf

isAbstractClass :: Class -> Bool

Check abstract class

type DaughterMap = Map String [Class]

class_allparents :: Class -> [Class]

getClassModuleBase :: Class -> String

getTClassModuleBase :: TemplateClass -> String

mkDaughterMap :: [Class] -> DaughterMap

Daughter map not including itself

mkDaughterSelfMap :: [Class] -> DaughterMap

Daughter Map including itself as a daughter

ctypToHsTyp :: Maybe Class -> Types -> String

convertC2HS :: CTypes -> Type ()

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

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

typeclassName :: Class -> String

typeclassNameT :: TemplateClass -> String

typeclassNameFromStr :: String -> String

hsClassName

Arguments

:: Class

-> (String, String)

High-level, Raw-level

hsTemplateClassName

Arguments

:: TemplateClass

-> (String, String)

High-level, Raw-level

existConstructorName :: Class -> String

hscFuncName :: Class -> Function -> String

hsFuncName :: Class -> Function -> String

hsFuncXformer :: Function -> String

genericFuncRet :: Function -> Types

genericFuncArgs :: Function -> Args

aliasedFuncName :: Class -> Function -> String

cppStaticName :: Class -> Function -> String

cppFuncName :: Class -> Function -> String

constructorName :: Class -> String

nonvirtualName :: Class -> String -> String

destructorName :: String

classConstraints :: Class -> Context ()

extractArgRetTypes :: Maybe Class -> Bool -> (Args, Types) -> ([Type ()], [Asst ()])

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

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

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

hsFFIFuncTyp :: Maybe (Selfness, Class) -> (Args, Types) -> Type ()

this is for FFI type.