fficxx-0.4: automatic C++ binding generation

Copyright(c) 2011-2017 Ian-Woo Kim
LicenseBSD3
MaintainerIan-Woo Kim <ianwookim@gmail.com>
Stabilityexperimental
PortabilityGHC
Safe HaskellNone
LanguageHaskell98

FFICXX.Generate.Util.HaskellSrcExts

Description

 

Documentation

tyapp :: Type () -> Type () -> Type () Source #

tyfun :: Type () -> Type () -> Type () Source #

tylist :: Type () -> Type () Source #

conDecl :: String -> [Type ()] -> ConDecl () Source #

lit :: Literal () -> Exp () Source #

con :: String -> Exp () Source #

mkPVarSig :: String -> Type () -> Pat () Source #

pbind :: Pat () -> Exp () -> Maybe (Binds ()) -> Decl () Source #

mkBind1 :: String -> [Pat ()] -> Exp () -> Maybe (Binds ()) -> Decl () Source #

mkFun :: String -> Type () -> [Pat ()] -> Exp () -> Maybe (Binds ()) -> [Decl ()] Source #

mkFunSig :: String -> Type () -> Decl () Source #

mkClass :: Context () -> String -> [TyVarBind ()] -> [ClassDecl ()] -> Decl () Source #

mkInstance :: Context () -> String -> [Type ()] -> [InstDecl ()] -> Decl () Source #

mkData :: String -> [TyVarBind ()] -> [QualConDecl ()] -> Maybe (Deriving ()) -> Decl () Source #

mkNewtype :: String -> [TyVarBind ()] -> [QualConDecl ()] -> Maybe (Deriving ()) -> Decl () Source #

mkModule :: String -> [ModulePragma ()] -> [ImportDecl ()] -> [Decl ()] -> Module () Source #

mkModuleE :: String -> [ModulePragma ()] -> [ExportSpec ()] -> [ImportDecl ()] -> [Decl ()] -> Module () Source #

dot :: Exp () -> Exp () -> Exp () Source #

tyForall :: Maybe [TyVarBind ()] -> Maybe (Context ()) -> Type () -> Type () Source #

tyParen :: Type () -> Type () Source #

classA :: QName () -> [Type ()] -> Asst () Source #

cxTuple :: [Asst ()] -> Context () Source #

irule :: Maybe [TyVarBind ()] -> Maybe (Context ()) -> InstHead () -> InstRule () Source #

ethingwith :: EWildcard () -> QName () -> [CName ()] -> ExportSpec () Source #

list :: [Exp ()] -> Exp () Source #

lambda :: [Pat ()] -> Exp () -> Exp () Source #

insType :: Type () -> Type () -> InstDecl () Source #

generator :: Pat () -> Exp () -> Stmt () Source #