    {- |
    Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
    License    : LGPL-2.1
    Maintainer : Iñaki García Etxebarria (garetxe@gmail.com)

    The AtkImplementor interface is implemented by objects for which
    AtkObject peers may be obtained via calls to
    iface->(ref_accessible)(implementor);
    -}

    #define ENABLE_OVERLOADING \
           (!defined(__HADDOCK_VERSION__))

    module GI.Atk.Interfaces.ImplementorIface
        (

    -- * Exported types
        ImplementorIface(..)                    ,
        noImplementorIface                      ,
        IsImplementorIface                      ,

        ) where

    import Data.GI.Base.ShortPrelude
    import qualified Data.GI.Base.ShortPrelude as SP
    import qualified Data.GI.Base.Overloading as O
    import qualified Prelude as P

    import qualified Data.GI.Base.Attributes as GI.Attributes
    import qualified Data.GI.Base.ManagedPtr as B.ManagedPtr
    import qualified Data.GI.Base.GError as B.GError
    import qualified Data.GI.Base.GVariant as B.GVariant
    import qualified Data.GI.Base.GValue as B.GValue
    import qualified Data.GI.Base.GParamSpec as B.GParamSpec
    import qualified Data.GI.Base.CallStack as B.CallStack
    import qualified Data.Text as T
    import qualified Data.ByteString.Char8 as B
    import qualified Data.Map as Map
    import qualified Foreign.Ptr as FP

    -- interface ImplementorIface
    -- | Memory-managed wrapper type.
    newtype ImplementorIface = ImplementorIface (ManagedPtr ImplementorIface)
    -- | A convenience alias for `Nothing` :: `Maybe` `ImplementorIface`.
    noImplementorIface :: Maybe ImplementorIface
    noImplementorIface = Nothing

    #if ENABLE_OVERLOADING
    type instance O.SignalList ImplementorIface = ImplementorIfaceSignalList
    type ImplementorIfaceSignalList = ('[ ] :: [(Symbol, *)])

    #endif

    -- | Type class for types which implement `ImplementorIface`.
    class ManagedPtrNewtype a => IsImplementorIface a
    instance IsImplementorIface ImplementorIface
    -- XXX Wrapping a foreign struct/union with no known destructor or size, leak?
    instance WrappedPtr ImplementorIface where
        wrappedPtrCalloc = return nullPtr
        wrappedPtrCopy = return
        wrappedPtrFree = Nothing

    #if ENABLE_OVERLOADING
    type family ResolveImplementorIfaceMethod (t :: Symbol) (o :: *) :: * where
        ResolveImplementorIfaceMethod l o = O.MethodResolutionFailed l o

    instance (info ~ ResolveImplementorIfaceMethod t ImplementorIface, O.MethodInfo info ImplementorIface p) => O.IsLabelProxy t (ImplementorIface -> p) where
        fromLabelProxy _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)

    #if MIN_VERSION_base(4,9,0)
    instance (info ~ ResolveImplementorIfaceMethod t ImplementorIface, O.MethodInfo info ImplementorIface p) => O.IsLabel t (ImplementorIface -> p) where
    #if MIN_VERSION_base(4,10,0)
        fromLabel = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
    #else
        fromLabel _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
    #endif
    #endif

    #endif