{- |
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);
-}

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.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 
newtype ImplementorIface = ImplementorIface (ManagedPtr ImplementorIface)
noImplementorIface :: Maybe ImplementorIface
noImplementorIface = Nothing

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
    fromLabel _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#endif

instance O.HasAttributeList ImplementorIface
type instance O.AttributeList ImplementorIface = ImplementorIfaceAttributeList
type ImplementorIfaceAttributeList = ('[ ] :: [(Symbol, *)])

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

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