Generate

Documentation

data TypeResult a

Constructors

SimpleType a

EnumType a

OpaqueType Bool a

StorableType Bool a

Instances

Functor TypeResult

Defined in Generate

Methods

fmap :: (a -> b) -> TypeResult a -> TypeResult b

(<$) :: a -> TypeResult b -> TypeResult a

Eq a => Eq (TypeResult a)

Defined in Generate

Methods

(==) :: TypeResult a -> TypeResult a -> Bool

(/=) :: TypeResult a -> TypeResult a -> Bool

Ord a => Ord (TypeResult a)

Defined in Generate

Methods

compare :: TypeResult a -> TypeResult a -> Ordering

(<) :: TypeResult a -> TypeResult a -> Bool

(<=) :: TypeResult a -> TypeResult a -> Bool

(>) :: TypeResult a -> TypeResult a -> Bool

(>=) :: TypeResult a -> TypeResult a -> Bool

max :: TypeResult a -> TypeResult a -> TypeResult a

min :: TypeResult a -> TypeResult a -> TypeResult a

Show a => Show (TypeResult a)

Defined in Generate

Methods

showsPrec :: Int -> TypeResult a -> ShowS

show :: TypeResult a -> String

showList :: [TypeResult a] -> ShowS

isCShimType :: TypeResult a -> Bool

_StorableType :: forall a. Prism' (TypeResult a) (Bool, a)

_OpaqueType :: forall a. Prism' (TypeResult a) (Bool, a)

_EnumType :: forall a. Prism' (TypeResult a) a

_SimpleType :: forall a. Prism' (TypeResult a) a

unTypeResult :: TypeResult a -> a

fromThName :: Name -> Type

baseTypesTable :: Map TypeSpecifier Type

godotOpaqueStructs :: [Identifier]

godotStructs :: [Identifier]

godotEnums :: [Identifier]

createFuncTyIO :: (Functor t, Foldable t) => Type -> t Type -> Type

shimFunction :: GdnativeApiEntry -> (Name, Name, Dec, Maybe Doc, [(TypeResult Type, Bool)], TypeResult Type)

resolveType :: Type -> TypeResult Type

isStruct :: Identifier -> Bool

isEnumType :: Identifier -> Bool

isOpaqueStruct :: Identifier -> Bool

fromCIdent :: Identifier -> Name

lookupBase :: TypeSpecifier -> Maybe Type

unPtrT :: Type -> Type

marshalArg :: (TypeResult Type, Bool) -> Q (Either (Name -> Q Exp) (Q Exp), Type, Name -> Q Exp)

marshalRet :: TypeResult Type -> Q (Type, Maybe (Name -> Q Exp))

constructFunction :: Bool -> Name -> Int -> GdnativeApiEntry -> Q ([Dec], Maybe Doc)

generateCall

Arguments

:: Q Exp

the foreign function to call

-> [(Q Exp, Bool)]

in marshallers (len = arguments)

-> [Name -> Q Exp]

out argument marshallers (len = #outputs)

-> Maybe (Name -> Q Exp)

return value marshaller, if non-void

-> Q Exp

the full callee

apisToHs :: GdnativeApis -> Q [Dec]

apiToHs :: Bool -> GdnativeApi -> Q [Dec]