-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Generate Haskell bindings for GObject Introspection capable libraries
--   
--   Generate Haskell bindings for GObject Introspection capable libraries.
--   This includes most notably Gtk+, but many other libraries in the
--   GObject ecosystem provide introspection data too.
@package haskell-gi
@version 0.14

module Data.GI.CodeGen.Util
prime :: Text -> Text
parenthesize :: Text -> Text
padTo :: Int -> Text -> Text
withComment :: Text -> Text -> Text

-- | Capitalize the first character of the given string.
ucFirst :: Text -> Text

-- | Make the first character of the given string lowercase.
lcFirst :: Text -> Text

-- | Construct the <a>Text</a> representation of a showable.
tshow :: Show a => a -> Text

-- | Throw an error with the given <a>Text</a>.
terror :: Text -> a


-- | Project information to include in generated bindings, should be kept
--   in sync with haskell-gi.cabal
module Data.GI.CodeGen.ProjectInfo
homepage :: Text
authors :: Text
license :: Text
licenseText :: Text
maintainers :: Text

module Data.GI.CodeGen.PkgConfig

-- | Get the pkg-config name and associated installed version of a given
--   gobject-introspection namespace. Since the mapping is not one-to-one
--   some guessing is involved, although in most cases the required
--   information is listed in the GIR file.
pkgConfigGetVersion :: Text -> Text -> [Text] -> Bool -> Map Text Text -> IO (Maybe (Text, Text))

module Data.GI.CodeGen.GType
data GType :: *
gtypeIsA :: GType -> GType -> Bool
gtypeIsBoxed :: GType -> Bool


-- | A minimal wrapper for libgirepository.
module Data.GI.CodeGen.LibGIRepository

-- | Ensure that the given version of the namespace is loaded. If that is
--   not possible we error out.
girRequire :: Text -> Text -> IO Typelib

-- | Find out the size of a struct, and the map from field names to offsets
--   inside the struct.
girStructSizeAndOffsets :: Text -> Text -> IO (Int, Map Text Int)

-- | Find out the size of a union, and the map from field names to offsets
--   inside the union.
girUnionSizeAndOffsets :: Text -> Text -> IO (Int, Map Text Int)

-- | Load a GType given the namespace where it lives and the type init
--   function.
girLoadGType :: Text -> Text -> IO GType
instance BoxedObject BaseInfo

module Data.GI.GIR.Repository

-- | Try to load the `.gir` file corresponding to the given repository
readGiRepository :: Bool -> Text -> Maybe Text -> [FilePath] -> IO Document


-- | Some helpers for making traversals of GIR documents easier.
module Data.GI.GIR.XMLUtils

-- | Turn a node into an element (if it is indeed an element node).
nodeToElement :: Node -> Maybe Element

-- | Find all children of the given element which are XML Elements
--   themselves.
subelements :: Element -> [Element]

-- | The local name of an element.
localName :: Element -> Text

-- | Lookup an attribute for an element (with no prefix).
lookupAttr :: Name -> Element -> Maybe Text

-- | GIR namespaces we know about.
data GIRXMLNamespace
GLibGIRNS :: GIRXMLNamespace
CGIRNS :: GIRXMLNamespace

-- | Lookup an attribute for an element, given the namespace where it
--   lives.
lookupAttrWithNamespace :: GIRXMLNamespace -> Name -> Element -> Maybe Text

-- | Restrict to those with the given local name.
childElemsWithLocalName :: Text -> Element -> [Element]

-- | Restrict to those with given name.
childElemsWithNSName :: GIRXMLNamespace -> Text -> Element -> [Element]

-- | Find the first child element with the given name.
firstChildWithLocalName :: Text -> Element -> Maybe Element

-- | Get the content of a given element, if it exists.
getElementContent :: Element -> Maybe Text

-- | Construct a <a>Name</a> by only giving the local name.
xmlLocalName :: Text -> Name

-- | Construct a <a>Name</a> specifying a namespace too.
xmlNSName :: GIRXMLNamespace -> Text -> Name
instance Show GIRXMLNamespace

module Data.GI.GIR.Deprecation

-- | Deprecation information on a symbol.
data DeprecationInfo

-- | Encode the given <a>DeprecationInfo</a> for the given symbol as a
--   deprecation pragma.
deprecatedPragma :: Text -> Maybe DeprecationInfo -> Text

-- | Parse the deprecation information for the given element of the GIR
--   file.
queryDeprecated :: Element -> Maybe DeprecationInfo
instance Show DeprecationInfo
instance Eq DeprecationInfo


-- | Parsing of documentation nodes.
module Data.GI.GIR.Documentation

-- | Documentation for a given element.
data Documentation
Documentation :: Text -> Documentation
docText :: Documentation -> Text

-- | Parse the documentation node for the given element of the GIR file.
queryDocumentation :: Element -> Maybe Documentation
instance Show Documentation
instance Eq Documentation


-- | Basic types used in GIR parsing.
module Data.GI.GIR.BasicTypes

-- | Name for a symbol in the GIR file.
data Name
Name :: Text -> Text -> Name
namespace :: Name -> Text
name :: Name -> Text

-- | Transfer mode for an argument or property.
data Transfer
TransferNothing :: Transfer
TransferContainer :: Transfer
TransferEverything :: Transfer

-- | An alias, which is simply (Namespace, name).
newtype Alias
Alias :: (Text, Text) -> Alias

-- | This type represents the types found in GObject Introspection
--   interfaces: the types of constants, arguments, etc.
data Type
TBasicType :: BasicType -> Type

-- | GError
TError :: Type

-- | GVariant
TVariant :: Type

-- | GParamSpec
TParamSpec :: Type

-- | Zero terminated, Array Fixed Size, Array Length, Element Type
TCArray :: Bool -> Int -> Int -> Type -> Type

-- | GArray
TGArray :: Type -> Type

-- | GPtrArray
TPtrArray :: Type -> Type

-- | GByteArray
TByteArray :: Type

-- | GList
TGList :: Type -> Type

-- | GSList
TGSList :: Type -> Type

-- | GHashTable
TGHash :: Type -> Type -> Type

-- | A reference to some API in the GIR
TInterface :: Text -> Text -> Type

-- | Basic types. These are generally trivial to marshal, and the GIR
--   assumes that they are defined.
data BasicType

-- | gboolean
TBoolean :: BasicType

-- | gint
TInt :: BasicType

-- | guint
TUInt :: BasicType

-- | glong
TLong :: BasicType

-- | gulong
TULong :: BasicType

-- | gint8
TInt8 :: BasicType

-- | guint8
TUInt8 :: BasicType

-- | gint16
TInt16 :: BasicType

-- | guint16
TUInt16 :: BasicType

-- | gint32
TInt32 :: BasicType

-- | guint32
TUInt32 :: BasicType

-- | gint64
TInt64 :: BasicType

-- | guint64
TUInt64 :: BasicType

-- | gfloat
TFloat :: BasicType

-- | gdouble
TDouble :: BasicType

-- | gunichar
TUniChar :: BasicType

-- | GType
TGType :: BasicType

-- | gchar*, encoded as UTF-8
TUTF8 :: BasicType

-- | gchar*, encoding a filename
TFileName :: BasicType

-- | gpointer
TPtr :: BasicType

-- | gintptr
TIntPtr :: BasicType

-- | guintptr
TUIntPtr :: BasicType
instance Eq Name
instance Ord Name
instance Show Name
instance Show Transfer
instance Eq Transfer
instance Ord Transfer
instance Ord Alias
instance Eq Alias
instance Show Alias
instance Eq BasicType
instance Show BasicType
instance Ord BasicType
instance Eq Type
instance Show Type
instance Ord Type


-- | The Parser monad.
module Data.GI.GIR.Parser

-- | Monad where parsers live: we carry a context around, and can throw
--   errors that abort the parsing.
type Parser a = ReaderT ParseContext (Except ParseError) a

-- | A message describing a parsing error in human readable form.
type ParseError = Text

-- | Throw a parse error.
parseError :: ParseError -> Parser a

-- | Run the given parser, returning either success or an error.
runParser :: Text -> Map Alias Type -> Element -> Parser a -> Either ParseError a

-- | Get the qualified name for the current element.
parseName :: Parser Name

-- | Parse the deprecation text, if present.
parseDeprecation :: Parser (Maybe DeprecationInfo)

-- | Parse the documentation text, if present.
parseDocumentation :: Parser (Maybe Documentation)

-- | Parse a signed integral number.
parseIntegral :: Integral a => Text -> Parser a

-- | A boolean value given by a numerical constant.
parseBool :: Text -> Parser Bool

-- | Parse all the introspectable subelements with the given local name.
parseChildrenWithLocalName :: Text -> Parser a -> Parser [a]

-- | Parse all subelements with the given local name.
parseAllChildrenWithLocalName :: Text -> Parser a -> Parser [a]

-- | Parse all introspectable children with the given namespace and local
--   name.
parseChildrenWithNSName :: GIRXMLNamespace -> Text -> Parser a -> Parser [a]

-- | Return the value of an attribute for the given element. If the
--   attribute is not present this throws an error.
getAttr :: Name -> Parser Text

-- | Like <a>getAttr</a>, but allow for specifying the namespace.
getAttrWithNamespace :: GIRXMLNamespace -> Name -> Parser Text

-- | Return the value of an attribute if it is present, and Nothing
--   otherwise.
queryAttr :: Name -> Parser (Maybe Text)

-- | Like <a>queryAttr</a>, but allow for specifying the namespace.
queryAttrWithNamespace :: GIRXMLNamespace -> Name -> Parser (Maybe Text)

-- | Ask for an optional attribute, applying the given parser to it. If the
--   argument does not exist return the default value provided.
optionalAttr :: Name -> a -> (Text -> Parser a) -> Parser a

-- | Return the current namespace.
currentNamespace :: Parser Text

-- | Build a <a>Name</a> out of the (possibly qualified) supplied name. If
--   the supplied name is unqualified we qualify with the current
--   namespace, and otherwise we simply parse it.
qualifyName :: Text -> Parser Name

-- | Check whether there is an alias for the given name, and return the
--   corresponding type in case it exists, and otherwise a TInterface.
resolveQualifiedTypeName :: Text -> Text -> Parser Type

-- | Name for a symbol in the GIR file.
data Name
Name :: Text -> Text -> Name
namespace :: Name -> Text
name :: Name -> Text
data Element :: *

-- | GIR namespaces we know about.
data GIRXMLNamespace
GLibGIRNS :: GIRXMLNamespace
CGIRNS :: GIRXMLNamespace

-- | Deprecation information on a symbol.
data DeprecationInfo

-- | Documentation for a given element.
data Documentation
instance Show ParseContext


-- | Parsing type information from GIR files.
module Data.GI.GIR.Type

-- | Parse the type of a node (which will be described by a child node
--   named "type" or "array").
parseType :: Parser Type

-- | Like <a>parseType</a>, but allow for <tt>none</tt>, returned as
--   <a>Nothing</a>.
parseOptionalType :: Parser (Maybe Type)


-- | Parsing of Enums.
module Data.GI.GIR.Enum
data Enumeration
Enumeration :: [(Text, Int64)] -> Maybe Text -> Maybe Text -> Int -> Maybe DeprecationInfo -> Enumeration
enumValues :: Enumeration -> [(Text, Int64)]
errorDomain :: Enumeration -> Maybe Text
enumTypeInit :: Enumeration -> Maybe Text

-- | Bytes used for storage of this struct.
enumStorageBytes :: Enumeration -> Int
enumDeprecated :: Enumeration -> Maybe DeprecationInfo

-- | Parse an "enumeration" element from the GIR file.
parseEnum :: Parser (Name, Enumeration)
instance Show Enumeration


-- | Parsing of bitfields, a.k.a. flags. They are represented in the same
--   way as enums, so this is a thin wrapper over that code.
module Data.GI.GIR.Flags
data Flags
Flags :: Enumeration -> Flags
parseFlags :: Parser (Name, Flags)
instance Show Flags

module Data.GI.GIR.Arg
data Arg
Arg :: Text -> Type -> Direction -> Bool -> Scope -> Int -> Int -> Bool -> Transfer -> Arg

-- | <a>C</a> name for the argument. For a escaped name valid in Haskell
--   code, use <a>escapedArgName</a>.
argCName :: Arg -> Text
argType :: Arg -> Type
direction :: Arg -> Direction
mayBeNull :: Arg -> Bool
argScope :: Arg -> Scope
argClosure :: Arg -> Int
argDestroy :: Arg -> Int
argCallerAllocates :: Arg -> Bool
transfer :: Arg -> Transfer
data Direction
DirectionIn :: Direction
DirectionOut :: Direction
DirectionInout :: Direction
data Scope
ScopeTypeInvalid :: Scope
ScopeTypeCall :: Scope
ScopeTypeAsync :: Scope
ScopeTypeNotified :: Scope
parseArg :: Parser Arg
parseTransfer :: Parser Transfer
instance Show Direction
instance Eq Direction
instance Ord Direction
instance Show Scope
instance Eq Scope
instance Ord Scope
instance Show Arg
instance Eq Arg
instance Ord Arg

module Data.GI.GIR.Callable
data Callable
Callable :: Maybe Type -> Bool -> Transfer -> [Arg] -> Bool -> Maybe DeprecationInfo -> Callable
returnType :: Callable -> Maybe Type
returnMayBeNull :: Callable -> Bool
returnTransfer :: Callable -> Transfer
args :: Callable -> [Arg]
skipReturn :: Callable -> Bool
callableDeprecated :: Callable -> Maybe DeprecationInfo
parseCallable :: Parser Callable
instance Show Callable
instance Eq Callable


-- | Parsing of callbacks.
module Data.GI.GIR.Callback
data Callback
Callback :: Callable -> Callback
parseCallback :: Parser (Name, Callback)
instance Show Callback

module Data.GI.GIR.Function
data Function
Function :: Text -> Bool -> Maybe Text -> Callable -> Function
fnSymbol :: Function -> Text
fnThrows :: Function -> Bool
fnMovedTo :: Function -> Maybe Text
fnCallable :: Function -> Callable
parseFunction :: Parser (Name, Function)
instance Show Function

module Data.GI.GIR.Method
data Method
Method :: Name -> Text -> Bool -> MethodType -> Maybe Text -> Callable -> Method
methodName :: Method -> Name
methodSymbol :: Method -> Text
methodThrows :: Method -> Bool
methodType :: Method -> MethodType
methodMovedTo :: Method -> Maybe Text
methodCallable :: Method -> Callable
data MethodType

-- | Constructs an instance of the parent type
Constructor :: MethodType

-- | A function in the namespace
MemberFunction :: MethodType

-- | A function taking the parent instance as first argument.
OrdinaryMethod :: MethodType
parseMethod :: MethodType -> Parser Method
instance Eq MethodType
instance Show MethodType
instance Eq Method
instance Show Method

module Data.GI.GIR.Signal
data Signal
Signal :: Text -> Callable -> Maybe DeprecationInfo -> Signal
sigName :: Signal -> Text
sigCallable :: Signal -> Callable
sigDeprecated :: Signal -> Maybe DeprecationInfo
parseSignal :: Parser Signal
instance Show Signal
instance Eq Signal


-- | Parsing of constants in GIR files.
module Data.GI.GIR.Constant

-- | Info about a constant.
data Constant
Constant :: Type -> Text -> Maybe DeprecationInfo -> Constant
constantType :: Constant -> Type
constantValue :: Constant -> Text
constantDeprecated :: Constant -> Maybe DeprecationInfo

-- | Parse a "constant" element from the GIR file.
parseConstant :: Parser (Name, Constant)
instance Show Constant


-- | Parsing of object<i>struct</i>union fields.
module Data.GI.GIR.Field
data Field
Field :: Text -> Bool -> Type -> Maybe Callback -> Int -> [FieldInfoFlag] -> Maybe DeprecationInfo -> Field
fieldName :: Field -> Text
fieldVisible :: Field -> Bool
fieldType :: Field -> Type
fieldCallback :: Field -> Maybe Callback
fieldOffset :: Field -> Int
fieldFlags :: Field -> [FieldInfoFlag]
fieldDeprecated :: Field -> Maybe DeprecationInfo
data FieldInfoFlag
parseFields :: Parser [Field]
instance Show FieldInfoFlag
instance Show Field


-- | Parsing of structs.
module Data.GI.GIR.Struct
data Struct
Struct :: Bool -> Maybe Text -> Int -> Maybe Name -> Bool -> [Field] -> [Method] -> Maybe DeprecationInfo -> Maybe Documentation -> Struct
structIsBoxed :: Struct -> Bool
structTypeInit :: Struct -> Maybe Text
structSize :: Struct -> Int
gtypeStructFor :: Struct -> Maybe Name
structIsDisguised :: Struct -> Bool
structFields :: Struct -> [Field]
structMethods :: Struct -> [Method]
structDeprecated :: Struct -> Maybe DeprecationInfo
structDocumentation :: Struct -> Maybe Documentation
parseStruct :: Parser (Name, Struct)
instance Show Struct


-- | Parsing of unions.
module Data.GI.GIR.Union
data Union
Union :: Bool -> Int -> Maybe Text -> [Field] -> [Method] -> Maybe DeprecationInfo -> Union
unionIsBoxed :: Union -> Bool
unionSize :: Union -> Int
unionTypeInit :: Union -> Maybe Text
unionFields :: Union -> [Field]
unionMethods :: Union -> [Method]
unionDeprecated :: Union -> Maybe DeprecationInfo
parseUnion :: Parser (Name, Union)
instance Show Union

module Data.GI.GIR.Property
data Property
Property :: Text -> Type -> [PropertyFlag] -> Maybe Bool -> Maybe Bool -> Transfer -> Maybe DeprecationInfo -> Property
propName :: Property -> Text
propType :: Property -> Type
propFlags :: Property -> [PropertyFlag]
propReadNullable :: Property -> Maybe Bool
propWriteNullable :: Property -> Maybe Bool
propTransfer :: Property -> Transfer
propDeprecated :: Property -> Maybe DeprecationInfo
data PropertyFlag
PropertyReadable :: PropertyFlag
PropertyWritable :: PropertyFlag
PropertyConstruct :: PropertyFlag
PropertyConstructOnly :: PropertyFlag
parseProperty :: Parser Property
instance Show PropertyFlag
instance Eq PropertyFlag
instance Show Property
instance Eq Property

module Data.GI.GIR.Interface
data Interface
Interface :: Maybe Text -> [Name] -> [Property] -> [Signal] -> [Method] -> Maybe DeprecationInfo -> Interface
ifTypeInit :: Interface -> Maybe Text
ifPrerequisites :: Interface -> [Name]
ifProperties :: Interface -> [Property]
ifSignals :: Interface -> [Signal]
ifMethods :: Interface -> [Method]
ifDeprecated :: Interface -> Maybe DeprecationInfo
parseInterface :: Parser (Name, Interface)
instance Show Interface


-- | Parsing of objects.
module Data.GI.GIR.Object
data Object
Object :: Maybe Name -> Text -> Text -> [Name] -> Maybe DeprecationInfo -> Maybe Documentation -> [Method] -> [Property] -> [Signal] -> Object
objParent :: Object -> Maybe Name
objTypeInit :: Object -> Text
objTypeName :: Object -> Text
objInterfaces :: Object -> [Name]
objDeprecated :: Object -> Maybe DeprecationInfo
objDocumentation :: Object -> Maybe Documentation
objMethods :: Object -> [Method]
objProperties :: Object -> [Property]
objSignals :: Object -> [Signal]
parseObject :: Parser (Name, Object)
instance Show Object


-- | Type constructors.
module Data.GI.CodeGen.Type

-- | This type represents the types found in GObject Introspection
--   interfaces: the types of constants, arguments, etc.
data Type
TBasicType :: BasicType -> Type

-- | GError
TError :: Type

-- | GVariant
TVariant :: Type

-- | GParamSpec
TParamSpec :: Type

-- | Zero terminated, Array Fixed Size, Array Length, Element Type
TCArray :: Bool -> Int -> Int -> Type -> Type

-- | GArray
TGArray :: Type -> Type

-- | GPtrArray
TPtrArray :: Type -> Type

-- | GByteArray
TByteArray :: Type

-- | GList
TGList :: Type -> Type

-- | GSList
TGSList :: Type -> Type

-- | GHashTable
TGHash :: Type -> Type -> Type

-- | A reference to some API in the GIR
TInterface :: Text -> Text -> Type

-- | Basic types. These are generally trivial to marshal, and the GIR
--   assumes that they are defined.
data BasicType

-- | gboolean
TBoolean :: BasicType

-- | gint
TInt :: BasicType

-- | guint
TUInt :: BasicType

-- | glong
TLong :: BasicType

-- | gulong
TULong :: BasicType

-- | gint8
TInt8 :: BasicType

-- | guint8
TUInt8 :: BasicType

-- | gint16
TInt16 :: BasicType

-- | guint16
TUInt16 :: BasicType

-- | gint32
TInt32 :: BasicType

-- | guint32
TUInt32 :: BasicType

-- | gint64
TInt64 :: BasicType

-- | guint64
TUInt64 :: BasicType

-- | gfloat
TFloat :: BasicType

-- | gdouble
TDouble :: BasicType

-- | gunichar
TUniChar :: BasicType

-- | GType
TGType :: BasicType

-- | gchar*, encoded as UTF-8
TUTF8 :: BasicType

-- | gchar*, encoding a filename
TFileName :: BasicType

-- | gpointer
TPtr :: BasicType

-- | gintptr
TIntPtr :: BasicType

-- | guintptr
TUIntPtr :: BasicType

-- | Embed in the <a>IO</a> monad.
io :: TypeRep -> TypeRep

-- | A <tt>Ptr</tt> to the type.
ptr :: TypeRep -> TypeRep

-- | A <tt>FunPtr</tt> to the type.
funptr :: TypeRep -> TypeRep

-- | Type constructor applied to the given types.
con :: Text -> [TypeRep] -> TypeRep

-- | Embed in the <a>Maybe</a> monad.
maybeT :: TypeRep -> TypeRep

module Data.GI.GIR.Alias

-- | Find all aliases in a given document.
documentListAliases :: Document -> Map Alias Type

module Data.GI.CodeGen.API
data API
APIConst :: Constant -> API
APIFunction :: Function -> API
APICallback :: Callback -> API
APIEnum :: Enumeration -> API
APIFlags :: Flags -> API
APIInterface :: Interface -> API
APIObject :: Object -> API
APIStruct :: Struct -> API
APIUnion :: Union -> API
data GIRInfo
GIRInfo :: [Text] -> Text -> Text -> [(Name, API)] -> Map Text Name -> GIRInfo
girPCPackages :: GIRInfo -> [Text]
girNSName :: GIRInfo -> Text
girNSVersion :: GIRInfo -> Text
girAPIs :: GIRInfo -> [(Name, API)]
girCTypes :: GIRInfo -> Map Text Name

-- | Load and parse a GIR file, including its dependencies.
loadGIRInfo :: Bool -> Text -> Maybe Text -> [FilePath] -> [GIRRule] -> IO (GIRInfo, [GIRInfo])

-- | Bare minimum loading and parsing of a single repository, without
--   loading or parsing its dependencies, resolving aliases, or fixing up
--   structs or interfaces.
loadRawGIRInfo :: Bool -> Text -> Maybe Text -> [FilePath] -> IO GIRInfo

-- | A rule for modifying the GIR file.
data GIRRule

-- | (Path to element, attrName), newValue
GIRSetAttr :: (GIRPath, Name) -> Text -> GIRRule

-- | Path to a node in the GIR file, starting from the document root of the
--   GIR file. This is a very simplified version of something like XPath.
type GIRPath = [GIRNodeSpec]

-- | Node selector for a path in the GIR file.
data GIRNodeSpec

-- | Node with the given "name" attr.
GIRNamed :: Text -> GIRNodeSpec

-- | Node of the given type.
GIRType :: Text -> GIRNodeSpec

-- | Combination of the above.
GIRTypedName :: Text -> Text -> GIRNodeSpec

-- | Name for a symbol in the GIR file.
data Name
Name :: Text -> Text -> Name
namespace :: Name -> Text
name :: Name -> Text

-- | Transfer mode for an argument or property.
data Transfer
TransferNothing :: Transfer
TransferContainer :: Transfer
TransferEverything :: Transfer
data Direction
DirectionIn :: Direction
DirectionOut :: Direction
DirectionInout :: Direction
data Scope
ScopeTypeInvalid :: Scope
ScopeTypeCall :: Scope
ScopeTypeAsync :: Scope
ScopeTypeNotified :: Scope

-- | Encode the given <a>DeprecationInfo</a> for the given symbol as a
--   deprecation pragma.
deprecatedPragma :: Text -> Maybe DeprecationInfo -> Text

-- | Deprecation information on a symbol.
data DeprecationInfo
data PropertyFlag
PropertyReadable :: PropertyFlag
PropertyWritable :: PropertyFlag
PropertyConstruct :: PropertyFlag
PropertyConstructOnly :: PropertyFlag
data MethodType

-- | Constructs an instance of the parent type
Constructor :: MethodType

-- | A function in the namespace
MemberFunction :: MethodType

-- | A function taking the parent instance as first argument.
OrdinaryMethod :: MethodType

-- | Info about a constant.
data Constant
Constant :: Type -> Text -> Maybe DeprecationInfo -> Constant
constantType :: Constant -> Type
constantValue :: Constant -> Text
constantDeprecated :: Constant -> Maybe DeprecationInfo
data Arg
Arg :: Text -> Type -> Direction -> Bool -> Scope -> Int -> Int -> Bool -> Transfer -> Arg

-- | <a>C</a> name for the argument. For a escaped name valid in Haskell
--   code, use <a>escapedArgName</a>.
argCName :: Arg -> Text
argType :: Arg -> Type
direction :: Arg -> Direction
mayBeNull :: Arg -> Bool
argScope :: Arg -> Scope
argClosure :: Arg -> Int
argDestroy :: Arg -> Int
argCallerAllocates :: Arg -> Bool
transfer :: Arg -> Transfer
data Callable
Callable :: Maybe Type -> Bool -> Transfer -> [Arg] -> Bool -> Maybe DeprecationInfo -> Callable
returnType :: Callable -> Maybe Type
returnMayBeNull :: Callable -> Bool
returnTransfer :: Callable -> Transfer
args :: Callable -> [Arg]
skipReturn :: Callable -> Bool
callableDeprecated :: Callable -> Maybe DeprecationInfo
data Function
Function :: Text -> Bool -> Maybe Text -> Callable -> Function
fnSymbol :: Function -> Text
fnThrows :: Function -> Bool
fnMovedTo :: Function -> Maybe Text
fnCallable :: Function -> Callable
data Signal
Signal :: Text -> Callable -> Maybe DeprecationInfo -> Signal
sigName :: Signal -> Text
sigCallable :: Signal -> Callable
sigDeprecated :: Signal -> Maybe DeprecationInfo
data Property
Property :: Text -> Type -> [PropertyFlag] -> Maybe Bool -> Maybe Bool -> Transfer -> Maybe DeprecationInfo -> Property
propName :: Property -> Text
propType :: Property -> Type
propFlags :: Property -> [PropertyFlag]
propReadNullable :: Property -> Maybe Bool
propWriteNullable :: Property -> Maybe Bool
propTransfer :: Property -> Transfer
propDeprecated :: Property -> Maybe DeprecationInfo
data Field
Field :: Text -> Bool -> Type -> Maybe Callback -> Int -> [FieldInfoFlag] -> Maybe DeprecationInfo -> Field
fieldName :: Field -> Text
fieldVisible :: Field -> Bool
fieldType :: Field -> Type
fieldCallback :: Field -> Maybe Callback
fieldOffset :: Field -> Int
fieldFlags :: Field -> [FieldInfoFlag]
fieldDeprecated :: Field -> Maybe DeprecationInfo
data Struct
Struct :: Bool -> Maybe Text -> Int -> Maybe Name -> Bool -> [Field] -> [Method] -> Maybe DeprecationInfo -> Maybe Documentation -> Struct
structIsBoxed :: Struct -> Bool
structTypeInit :: Struct -> Maybe Text
structSize :: Struct -> Int
gtypeStructFor :: Struct -> Maybe Name
structIsDisguised :: Struct -> Bool
structFields :: Struct -> [Field]
structMethods :: Struct -> [Method]
structDeprecated :: Struct -> Maybe DeprecationInfo
structDocumentation :: Struct -> Maybe Documentation
data Callback
Callback :: Callable -> Callback
data Interface
Interface :: Maybe Text -> [Name] -> [Property] -> [Signal] -> [Method] -> Maybe DeprecationInfo -> Interface
ifTypeInit :: Interface -> Maybe Text
ifPrerequisites :: Interface -> [Name]
ifProperties :: Interface -> [Property]
ifSignals :: Interface -> [Signal]
ifMethods :: Interface -> [Method]
ifDeprecated :: Interface -> Maybe DeprecationInfo
data Method
Method :: Name -> Text -> Bool -> MethodType -> Maybe Text -> Callable -> Method
methodName :: Method -> Name
methodSymbol :: Method -> Text
methodThrows :: Method -> Bool
methodType :: Method -> MethodType
methodMovedTo :: Method -> Maybe Text
methodCallable :: Method -> Callable
data Object
Object :: Maybe Name -> Text -> Text -> [Name] -> Maybe DeprecationInfo -> Maybe Documentation -> [Method] -> [Property] -> [Signal] -> Object
objParent :: Object -> Maybe Name
objTypeInit :: Object -> Text
objTypeName :: Object -> Text
objInterfaces :: Object -> [Name]
objDeprecated :: Object -> Maybe DeprecationInfo
objDocumentation :: Object -> Maybe Documentation
objMethods :: Object -> [Method]
objProperties :: Object -> [Property]
objSignals :: Object -> [Signal]
data Enumeration
Enumeration :: [(Text, Int64)] -> Maybe Text -> Maybe Text -> Int -> Maybe DeprecationInfo -> Enumeration
enumValues :: Enumeration -> [(Text, Int64)]
errorDomain :: Enumeration -> Maybe Text
enumTypeInit :: Enumeration -> Maybe Text

-- | Bytes used for storage of this struct.
enumStorageBytes :: Enumeration -> Int
enumDeprecated :: Enumeration -> Maybe DeprecationInfo
data Flags
Flags :: Enumeration -> Flags
data Union
Union :: Bool -> Int -> Maybe Text -> [Field] -> [Method] -> Maybe DeprecationInfo -> Union
unionIsBoxed :: Union -> Bool
unionSize :: Union -> Int
unionTypeInit :: Union -> Maybe Text
unionFields :: Union -> [Field]
unionMethods :: Union -> [Method]
unionDeprecated :: Union -> Maybe DeprecationInfo
instance Show GIRNodeSpec
instance Show GIRRule
instance Show API
instance Show GIRNamespace
instance Show GIRInfoParse
instance Show GIRInfo

module Data.GI.CodeGen.Overrides
data Overrides

-- | Parse the given config file (as a set of lines) for a given
--   introspection namespace, filling in the configuration as needed. In
--   case the parsing fails we return a description of the error instead.
parseOverridesFile :: [Text] -> IO (Either Text Overrides)

-- | Load a given API, applying filtering. Load also any necessary
--   dependencies.
filterAPIsAndDeps :: Overrides -> GIRInfo -> [GIRInfo] -> (Map Name API, Map Name API)
instance Show Overrides
instance Show ParserFlag
instance Show ParserState
instance Monoid Overrides

module Data.GI.CodeGen.Config
data Config
Config :: Maybe Text -> Bool -> Overrides -> Config

-- | Name of the module being generated.
modName :: Config -> Maybe Text

-- | Whether to print extra info.
verbose :: Config -> Bool

-- | List of loaded overrides for the code generator.
overrides :: Config -> Overrides

module Data.GI.CodeGen.Code
data Code

-- | No code
NoCode :: Code

-- | A single line, indented to current indentation
Line :: Text -> Code

-- | Indented region
Indent :: Code -> Code

-- | The basic sequence of code
Sequence :: (Seq Code) -> Code

-- | A grouped set of lines
Group :: Code -> Code

-- | Information on a generated module.
data ModuleInfo
ModuleInfo :: ModuleName -> Code -> Code -> Map Text ModuleInfo -> Deps -> Seq Export -> Set Text -> Set Text -> Set ModuleFlag -> Maybe Text -> BaseVersion -> ModuleInfo

-- | Full module name: [<a>GI</a>, <a>Gtk</a>, <a>Label</a>].
moduleName :: ModuleInfo -> ModuleName

-- | Generated code for the module.
moduleCode :: ModuleInfo -> Code

-- | Interface going into the .hs-boot file.
bootCode :: ModuleInfo -> Code

-- | Indexed by the relative module name.
submodules :: ModuleInfo -> Map Text ModuleInfo

-- | Set of dependencies for this module.
moduleDeps :: ModuleInfo -> Deps

-- | Exports for the module.
moduleExports :: ModuleInfo -> Seq Export

-- | Set of language pragmas for the module.
modulePragmas :: ModuleInfo -> Set Text

-- | GHC options for compiling the module.
moduleGHCOpts :: ModuleInfo -> Set Text

-- | Flags for the module.
moduleFlags :: ModuleInfo -> Set ModuleFlag

-- | Documentation for the module.
moduleDoc :: ModuleInfo -> Maybe Text

-- | Minimal version of base the module will work on.
moduleMinBase :: ModuleInfo -> BaseVersion

-- | Flags for module code generation.
data ModuleFlag

-- | Use the standard prelude, instead of the haskell-gi-base short one.
ImplicitPrelude :: ModuleFlag

-- | Do not import a <a>Types</a> submodule.
NoTypesImport :: ModuleFlag

-- | Do not import a <a>Callbacks</a> submodule.
NoCallbacksImport :: ModuleFlag

-- | Reexport the module (as is) from .Types
Reexport :: ModuleFlag
type BaseCodeGen excType a = ReaderT CodeGenConfig (StateT ModuleInfo (ExceptT excType IO)) a

-- | The code generator monad, for generators that cannot throw errors. The
--   fact that they cannot throw errors is encoded in the forall, which
--   disallows any operation on the error, except discarding it or passing
--   it along without inspecting. This last operation is useful in order to
--   allow embedding <a>CodeGen</a> computations inside <a>ExcCodeGen</a>
--   computations, while disallowing the opposite embedding without
--   explicit error handling.
type CodeGen a = forall e. BaseCodeGen e a

-- | Code generators that can throw errors.
type ExcCodeGen a = BaseCodeGen CGError a
data CGError
CGErrorNotImplemented :: Text -> CGError
CGErrorBadIntrospectionInfo :: Text -> CGError
CGErrorMissingInfo :: Text -> CGError

-- | Like <a>evalCodeGen</a>, but discard the resulting output value.
genCode :: Config -> Map Name API -> ModuleName -> CodeGen () -> IO ModuleInfo

-- | Run a code generator, and return the information for the generated
--   module together with the return value of the generator.
evalCodeGen :: Config -> Map Name API -> ModuleName -> CodeGen a -> IO (a, ModuleInfo)

-- | Write down the code for a module and its submodules to disk under the
--   given base directory. This also writes the submodules, and a
--   <a>Types</a> submodule reexporting all interfaces defined in .hs-boot
--   files. It returns the list of written modules.
writeModuleTree :: Bool -> Maybe FilePath -> ModuleInfo -> IO [Text]

-- | Write down the code for a module and its submodules to disk under the
--   given base directory. It returns the list of written modules.
writeModuleCode :: Bool -> Maybe FilePath -> ModuleInfo -> IO [Text]

-- | Return a text representation of the <a>Code</a>.
codeToText :: Code -> Text

-- | Return the transitive set of dependencies, i.e. the union of those of
--   the module and (transitively) its submodules.
transitiveModuleDeps :: ModuleInfo -> Deps

-- | Return the minimal base version supported by the module and all its
--   submodules.
minBaseVersion :: ModuleInfo -> BaseVersion

-- | Minimal version of base supported by a given module.
data BaseVersion

-- | <ol>
--   <li>7.0</li>
--   </ol>
Base47 :: BaseVersion

-- | <ol>
--   <li>8.0</li>
--   </ol>
Base48 :: BaseVersion

-- | A <a>Text</a> representation of the given base version bound.
showBaseVersion :: BaseVersion -> Text

-- | Mark the given dependency as used by the module.
loadDependency :: Text -> CodeGen ()

-- | Return the currently loaded set of dependencies.
getDeps :: CodeGen Deps

-- | Like <tt>recurse</tt>, giving explicitly the set of loaded APIs for
--   the subgenerator.
recurseWithAPIs :: Map Name API -> CodeGen () -> CodeGen ()

-- | Try running the given <tt>action</tt>, and if it fails run
--   <tt>fallback</tt> instead.
handleCGExc :: (CGError -> CodeGen a) -> ExcCodeGen a -> CodeGen a

-- | Give a friendly textual description of the error for presenting to the
--   user.
describeCGError :: CGError -> Text
notImplementedError :: Text -> ExcCodeGen a
badIntroError :: Text -> ExcCodeGen a
missingInfoError :: Text -> ExcCodeGen a

-- | Increase the indent level for code generation.
indent :: BaseCodeGen e a -> BaseCodeGen e a

-- | Print out the given line both to the normal module, and to the HsBoot
--   file.
bline :: Text -> CodeGen ()

-- | Print out a (newline-terminated) line.
line :: Text -> CodeGen ()

-- | A blank line
blank :: CodeGen ()

-- | Group a set of related code.
group :: BaseCodeGen e a -> BaseCodeGen e a

-- | Write the given code into the .hs-boot file for the current module.
hsBoot :: BaseCodeGen e a -> BaseCodeGen e a

-- | Run the given CodeGen in order to generate a submodule of the current
--   module.
submodule :: Text -> BaseCodeGen e () -> BaseCodeGen e ()

-- | Set the language pragmas for the current module.
setLanguagePragmas :: [Text] -> CodeGen ()

-- | Set the GHC options for compiling this module (in a OPTIONS_GHC
--   pragma).
setGHCOptions :: [Text] -> CodeGen ()

-- | Set the given flags for the module.
setModuleFlags :: [ModuleFlag] -> CodeGen ()

-- | Set the minimum base version supported by the current module.
setModuleMinBase :: BaseVersion -> CodeGen ()

-- | Add the given text to the module-level documentation for the module
--   being generated.
addModuleDocumentation :: Maybe Documentation -> CodeGen ()

-- | Export a toplevel (i.e. belonging to no section) symbol.
exportToplevel :: SymbolName -> CodeGen ()

-- | Reexport a whole module.
exportModule :: SymbolName -> CodeGen ()

-- | Add a type declaration-related export.
exportDecl :: SymbolName -> CodeGen ()

-- | Add a method export under the given section.
exportMethod :: HaddockSection -> SymbolName -> CodeGen ()

-- | Add a property-related export under the given section.
exportProperty :: HaddockSection -> SymbolName -> CodeGen ()

-- | Add a signal-related export under the given section.
exportSignal :: HaddockSection -> SymbolName -> CodeGen ()
findAPI :: Type -> CodeGen (Maybe API)
findAPIByName :: Name -> CodeGen API

-- | Return the list of APIs available to the generator.
getAPIs :: CodeGen (Map Name API)

-- | Return the ambient configuration for the code generator.
config :: CodeGen Config

-- | Return the name of the current module.
currentModule :: CodeGen Text

-- | An infix synonym for <a>mappend</a>.
--   
--   <i>Since: 4.5.0.0</i>
(<>) :: Monoid m => m -> m -> m
instance Eq Code
instance Show Code
instance Show ExportType
instance Eq ExportType
instance Ord ExportType
instance Show Export
instance Eq Export
instance Ord Export
instance Show ModuleFlag
instance Eq ModuleFlag
instance Ord ModuleFlag
instance Show BaseVersion
instance Eq BaseVersion
instance Ord BaseVersion
instance Show CGError
instance Monoid Code

module Data.GI.CodeGen.Cabal

-- | Try to generate the cabal project. In case of error return the
--   corresponding error string.
genCabalProject :: GIRInfo -> [GIRInfo] -> [Text] -> BaseVersion -> CodeGen (Maybe Text)
cabalConfig :: Text
setupHs :: Text

module Data.GI.CodeGen.SymbolNaming

-- | Return the qualified namespace (ns ++ "." or "", depending on whether
--   ns is the current namespace).
qualify :: Text -> CodeGen Text
lowerName :: Name -> Text
upperName :: Name -> CodeGen Text

-- | Save a bit of typing for optional arguments in the case that we want
--   to pass Nothing.
noName :: Text -> CodeGen ()

-- | Name for the given argument, making sure it is a valid Haskell
--   argument name (and escaping it if not).
escapedArgName :: Arg -> Text
classConstraint :: Text -> Text

-- | For a string of the form "one-sample-string" return
--   <a>OneSampleString</a>
hyphensToCamelCase :: Text -> Text

-- | Similarly, turn a name separated_by_underscores into CamelCase. We
--   preserve final and initial underscores, and n&gt;1 consecutive
--   underscores are transformed into n-1 underscores.
underscoresToCamelCase :: Text -> Text


-- | Various fixups in the introspection data.
module Data.GI.CodeGen.Fixups

-- | Remove functions and methods annotated with "moved-to".
dropMovedItems :: API -> Maybe API

-- | GObject-introspection does not currently support nullability
--   annotations, so we try to guess the nullability from the nullability
--   annotations of the curresponding get/set methods, which in principle
--   should be reliable.
guessPropertyNullability :: (Name, API) -> (Name, API)

module Data.GI.CodeGen.GObject
isGObject :: Type -> CodeGen Bool
apiIsGObject :: Name -> API -> CodeGen Bool

-- | Check whether the given name descends from GObject.
nameIsGObject :: Name -> CodeGen Bool
isInitiallyUnowned :: Type -> CodeGen Bool
apiIsInitiallyUnowned :: Name -> API -> CodeGen Bool

module Data.GI.CodeGen.Conversions
convert :: Text -> BaseCodeGen e Converter -> BaseCodeGen e Text
genConversion :: Text -> Converter -> CodeGen Text
unpackCArray :: Text -> Type -> Transfer -> ExcCodeGen Converter
computeArrayLength :: Text -> Type -> ExcCodeGen Text
hToF :: Type -> Transfer -> ExcCodeGen Converter
fToH :: Type -> Transfer -> ExcCodeGen Converter
haskellType :: Type -> CodeGen TypeRep
foreignType :: Type -> CodeGen TypeRep
argumentType :: [Char] -> Type -> CodeGen ([Char], Text, [Text])
elementType :: Type -> Maybe Type
elementMap :: Type -> Text -> Maybe Text
elementTypeAndMap :: Type -> Text -> Maybe (Type, Text)
isManaged :: Type -> CodeGen Bool

-- | Returns whether the given type should be represented by a <a>Maybe</a>
--   type on the Haskell side. This applies to all properties which have a
--   C representation in terms of pointers, except for G(S)Lists, for which
--   NULL is a valid G(S)List, and raw pointers, which we just pass through
--   to the Haskell side. Notice that introspection annotations can
--   override this.
typeIsNullable :: Type -> CodeGen Bool

-- | Returns whether the given type is represented by a pointer on the C
--   side.
typeIsPtr :: Type -> CodeGen Bool
getIsScalar :: Type -> CodeGen Bool
requiresAlloc :: Type -> CodeGen (Maybe (Bool, Int))
apply :: Constructor -> Converter
mapC :: Constructor -> Converter
literal :: Constructor -> Converter
data Constructor
P :: Text -> Constructor
M :: Text -> Constructor
Id :: Constructor
instance Eq Constructor
instance Show Constructor
instance Show Map
instance Show next => Show (FExpr next)
instance Functor FExpr
instance IsString Constructor
instance Functor f => Monad (Free f)
instance Functor f => Applicative (Free f)
instance Functor f => Functor (Free f)

module Data.GI.CodeGen.Constant
genConstant :: Name -> Constant -> CodeGen ()

module Data.GI.CodeGen.Transfer

-- | Given an input argument to a C callable, and its label in the code,
--   return the list of actions relevant to freeing the memory allocated
--   for the argument (if appropriate, depending on the ownership transfer
--   semantics of the callable).
freeInArg :: Arg -> Text -> Text -> ExcCodeGen [Text]

-- | Same thing as freeInArg, but called in case the call to C didn't
--   succeed. We thus free everything we allocated in preparation for the
--   call, including args that would have been transferred to C.
freeInArgOnError :: Arg -> Text -> Text -> ExcCodeGen [Text]

-- | Free a container and/or the contained elements, depending on the
--   transfer mode.
freeContainerType :: Transfer -> Type -> Text -> Text -> ExcCodeGen ()

module Data.GI.CodeGen.Callable
genCallable :: Name -> Text -> Callable -> Bool -> ExcCodeGen ()
hOutType :: Callable -> [Arg] -> Bool -> ExcCodeGen TypeRep
arrayLengths :: Callable -> [Arg]
arrayLengthsMap :: Callable -> [(Arg, Arg)]

-- | The Haskell signature for the given callable. It returns a tuple
--   ([constraints], [(type, argname)]).
callableSignature :: Callable -> Bool -> ExcCodeGen ([Text], [(Text, Text)])

-- | caller-allocates arguments are arguments that the caller allocates,
--   and the called function modifies. They are marked as <tt>out</tt>
--   argumens in the introspection data, we treat them as <tt>inout</tt>
--   arguments instead. The semantics are somewhat tricky: for memory
--   management purposes they should be treated as "in" arguments, but from
--   the point of view of the exposed API they should be treated as
--   "inout". Unfortunately we cannot always just assume that they are
--   purely "out", so in many cases the generated API is somewhat
--   suboptimal (since the initial values are not important): for example
--   for g_io_channel_read_chars the size of the buffer to read is
--   determined by the caller-allocates argument. As a compromise, we
--   assume that we can allocate anything that is not a TCArray.
fixupCallerAllocates :: Callable -> Callable

-- | Given an argument to a function, return whether it should be wrapped
--   in a maybe type (useful for nullable types). We do some sanity
--   checking to make sure that the argument is actually nullable (a
--   relatively common annotation mistake is to mix up (optional) with
--   (nullable)).
wrapMaybe :: Arg -> CodeGen Bool
inArgInterfaces :: [Arg] -> ExcCodeGen ([Text], [Text])

module Data.GI.CodeGen.Inheritance

-- | List all properties defined for an object, including those defined by
--   its ancestors.
fullObjectPropertyList :: Name -> Object -> CodeGen [(Name, Property)]

-- | List all properties defined for an interface, including those defined
--   by its prerequisites.
fullInterfacePropertyList :: Name -> Interface -> CodeGen [(Name, Property)]

-- | List all signals defined for an object, including those defined by its
--   ancestors.
fullObjectSignalList :: Name -> Object -> CodeGen [(Name, Signal)]

-- | List all signals defined for an interface, including those defined by
--   its prerequisites.
fullInterfaceSignalList :: Name -> Interface -> CodeGen [(Name, Signal)]

-- | List all methods defined for an object, including those defined by its
--   ancestors.
fullObjectMethodList :: Name -> Object -> CodeGen [(Name, Method)]

-- | List all methods defined for an interface, including those defined by
--   its prerequisites.
fullInterfaceMethodList :: Name -> Interface -> CodeGen [(Name, Method)]

-- | Compute the (ordered) list of parents of the current object.
instanceTree :: Name -> CodeGen [Name]
instance Inheritable Method
instance Inheritable Signal
instance Inheritable Property

module Data.GI.CodeGen.Properties
genInterfaceProperties :: Name -> Interface -> CodeGen ()
genObjectProperties :: Name -> Object -> CodeGen ()

-- | Generate gtk2hs compatible attribute labels (to ease porting). These
--   are namespaced labels, for examples <tt>widgetSensitive</tt>. We take
--   the list of methods, since there may be name clashes (an example is
--   Auth::is_for_proxy method in libsoup, and the corresponding
--   Auth::is-for-proxy property). When there is a clash we give priority
--   to the method.
genNamespacedPropLabels :: Name -> [Property] -> [Method] -> CodeGen ()

module Data.GI.CodeGen.OverloadedMethods

-- | Generate the <tt>MethodList</tt> instance given the list of methods
--   for the given named type.
genMethodList :: Name -> [(Name, Method)] -> CodeGen ()

-- | Generate the <tt>MethodInfo</tt> type and instance for the given
--   method.
genMethodInfo :: Name -> Method -> ExcCodeGen ()

-- | Generate a method info that is not actually callable, but rather gives
--   a type error when trying to use it.
genUnsupportedMethodInfo :: Name -> Method -> CodeGen ()

module Data.GI.CodeGen.Signal
genSignal :: Signal -> Name -> ExcCodeGen ()
genCallback :: Name -> Callback -> CodeGen ()

-- | Return the name for the signal in Haskell CamelCase conventions.
signalHaskellName :: Text -> Text

module Data.GI.CodeGen.OverloadedSignals

-- | Signal instances for (GObject-derived) objects.
genObjectSignals :: Name -> Object -> CodeGen ()

-- | Signal instances for interfaces.
genInterfaceSignals :: Name -> Interface -> CodeGen ()

-- | Generate the overloaded signal connectors: <a>Clicked</a>,
--   <a>ActivateLink</a>, ...
genOverloadedSignalConnectors :: [(Name, API)] -> CodeGen ()

module Data.GI.CodeGen.Struct
genStructOrUnionFields :: Name -> [Field] -> CodeGen ()

-- | Specialization for structs of <a>genZeroSU</a>.
genZeroStruct :: Name -> Struct -> CodeGen ()

-- | Specialization for unions of <a>genZeroSU</a>.
genZeroUnion :: Name -> Union -> CodeGen ()

-- | Extract the callback types embedded in the fields of structs, and at
--   the same time fix the type of the corresponding fields. Returns the
--   list of APIs associated to this struct, not including the struct
--   itself.
extractCallbacksInStruct :: (Name, API) -> [(Name, API)]

-- | Fix the interface names of callback fields in an APIStruct to
--   correspond to the ones that we are going to generate. If something
--   other than an APIStruct is passed in we don't touch it.
fixAPIStructs :: (Name, API) -> (Name, API)

-- | Whether (not) to generate bindings for the given struct.
ignoreStruct :: Name -> Struct -> Bool

module Data.GI.CodeGen.CodeGen
genConstant :: Name -> Constant -> CodeGen ()
genFunction :: Name -> Function -> CodeGen ()
genModule :: Map Name API -> CodeGen ()


-- | Convenience hooks for writing custom <tt>Setup.hs</tt> files for
--   bindings.
module Data.GI.CodeGen.CabalHooks

-- | A convenience helper for <tt>confHook</tt>, such that bindings for the
--   given module are generated in the <tt>configure</tt> step of
--   <tt>cabal</tt>.
confCodeGenHook :: Text -> Text -> Bool -> Maybe FilePath -> Maybe FilePath -> ConfHook -> ConfHook

module Data.GI.CodeGen.OverloadedLabels
genOverloadedLabels :: [(Name, API)] -> CodeGen ()