{-# LANGUAGE TypeApplications #-}


-- | Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
-- License    : LGPL-2.1
-- Maintainer : Iñaki García Etxebarria
-- 
-- /No description available in the introspection data./

#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif

module GI.GtkSource.Objects.CompletionContext
    ( 

-- * Exported types
    CompletionContext(..)                   ,
    IsCompletionContext                     ,
    toCompletionContext                     ,
    noCompletionContext                     ,


 -- * Methods
-- ** Overloaded methods #method:Overloaded methods#

#if defined(ENABLE_OVERLOADING)
    ResolveCompletionContextMethod          ,
#endif


-- ** addProposals #method:addProposals#

#if defined(ENABLE_OVERLOADING)
    CompletionContextAddProposalsMethodInfo ,
#endif
    completionContextAddProposals           ,


-- ** getActivation #method:getActivation#

#if defined(ENABLE_OVERLOADING)
    CompletionContextGetActivationMethodInfo,
#endif
    completionContextGetActivation          ,


-- ** getIter #method:getIter#

#if defined(ENABLE_OVERLOADING)
    CompletionContextGetIterMethodInfo      ,
#endif
    completionContextGetIter                ,




 -- * Properties
-- ** activation #attr:activation#
-- | The completion activation

#if defined(ENABLE_OVERLOADING)
    CompletionContextActivationPropertyInfo ,
#endif
#if defined(ENABLE_OVERLOADING)
    completionContextActivation             ,
#endif
    constructCompletionContextActivation    ,
    getCompletionContextActivation          ,
    setCompletionContextActivation          ,


-- ** completion #attr:completion#
-- | The t'GI.GtkSource.Objects.Completion.Completion' associated with the context.

#if defined(ENABLE_OVERLOADING)
    CompletionContextCompletionPropertyInfo ,
#endif
#if defined(ENABLE_OVERLOADING)
    completionContextCompletion             ,
#endif
    constructCompletionContextCompletion    ,
    getCompletionContextCompletion          ,


-- ** iter #attr:iter#
-- | The t'GI.Gtk.Structs.TextIter.TextIter' at which the completion is invoked.

#if defined(ENABLE_OVERLOADING)
    CompletionContextIterPropertyInfo       ,
#endif
    clearCompletionContextIter              ,
#if defined(ENABLE_OVERLOADING)
    completionContextIter                   ,
#endif
    constructCompletionContextIter          ,
    getCompletionContextIter                ,
    setCompletionContextIter                ,




 -- * Signals
-- ** cancelled #signal:cancelled#

    C_CompletionContextCancelledCallback    ,
    CompletionContextCancelledCallback      ,
#if defined(ENABLE_OVERLOADING)
    CompletionContextCancelledSignalInfo    ,
#endif
    afterCompletionContextCancelled         ,
    genClosure_CompletionContextCancelled   ,
    mk_CompletionContextCancelledCallback   ,
    noCompletionContextCancelledCallback    ,
    onCompletionContextCancelled            ,
    wrap_CompletionContextCancelledCallback ,




    ) 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.GClosure as B.GClosure
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.GI.Base.Properties as B.Properties
import qualified Data.GI.Base.Signals as B.Signals
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
import qualified GHC.OverloadedLabels as OL

import qualified GI.GObject.Objects.Object as GObject.Object
import qualified GI.Gtk.Structs.TextIter as Gtk.TextIter
import {-# SOURCE #-} qualified GI.GtkSource.Flags as GtkSource.Flags
import {-# SOURCE #-} qualified GI.GtkSource.Interfaces.CompletionProposal as GtkSource.CompletionProposal
import {-# SOURCE #-} qualified GI.GtkSource.Interfaces.CompletionProvider as GtkSource.CompletionProvider
import {-# SOURCE #-} qualified GI.GtkSource.Objects.Completion as GtkSource.Completion

-- | Memory-managed wrapper type.
newtype CompletionContext = CompletionContext (ManagedPtr CompletionContext)
    deriving (CompletionContext -> CompletionContext -> Bool
(CompletionContext -> CompletionContext -> Bool)
-> (CompletionContext -> CompletionContext -> Bool)
-> Eq CompletionContext
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CompletionContext -> CompletionContext -> Bool
$c/= :: CompletionContext -> CompletionContext -> Bool
== :: CompletionContext -> CompletionContext -> Bool
$c== :: CompletionContext -> CompletionContext -> Bool
Eq)
foreign import ccall "gtk_source_completion_context_get_type"
    c_gtk_source_completion_context_get_type :: IO GType

instance GObject CompletionContext where
    gobjectType :: IO GType
gobjectType = IO GType
c_gtk_source_completion_context_get_type
    

-- | Convert 'CompletionContext' to and from 'Data.GI.Base.GValue.GValue' with 'Data.GI.Base.GValue.toGValue' and 'Data.GI.Base.GValue.fromGValue'.
instance B.GValue.IsGValue CompletionContext where
    toGValue :: CompletionContext -> IO GValue
toGValue o :: CompletionContext
o = do
        GType
gtype <- IO GType
c_gtk_source_completion_context_get_type
        CompletionContext
-> (Ptr CompletionContext -> IO GValue) -> IO GValue
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr CompletionContext
o (GType
-> (GValue -> Ptr CompletionContext -> IO ())
-> Ptr CompletionContext
-> IO GValue
forall a. GType -> (GValue -> a -> IO ()) -> a -> IO GValue
B.GValue.buildGValue GType
gtype GValue -> Ptr CompletionContext -> IO ()
forall a. GObject a => GValue -> Ptr a -> IO ()
B.GValue.set_object)
        
    fromGValue :: GValue -> IO CompletionContext
fromGValue gv :: GValue
gv = do
        Ptr CompletionContext
ptr <- GValue -> IO (Ptr CompletionContext)
forall b. GObject b => GValue -> IO (Ptr b)
B.GValue.get_object GValue
gv :: IO (Ptr CompletionContext)
        (ManagedPtr CompletionContext -> CompletionContext)
-> Ptr CompletionContext -> IO CompletionContext
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
B.ManagedPtr.newObject ManagedPtr CompletionContext -> CompletionContext
CompletionContext Ptr CompletionContext
ptr
        
    

-- | Type class for types which can be safely cast to `CompletionContext`, for instance with `toCompletionContext`.
class (GObject o, O.IsDescendantOf CompletionContext o) => IsCompletionContext o
instance (GObject o, O.IsDescendantOf CompletionContext o) => IsCompletionContext o

instance O.HasParentTypes CompletionContext
type instance O.ParentTypes CompletionContext = '[GObject.Object.Object]

-- | Cast to `CompletionContext`, for types for which this is known to be safe. For general casts, use `Data.GI.Base.ManagedPtr.castTo`.
toCompletionContext :: (MonadIO m, IsCompletionContext o) => o -> m CompletionContext
toCompletionContext :: o -> m CompletionContext
toCompletionContext = IO CompletionContext -> m CompletionContext
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO CompletionContext -> m CompletionContext)
-> (o -> IO CompletionContext) -> o -> m CompletionContext
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ManagedPtr CompletionContext -> CompletionContext)
-> o -> IO CompletionContext
forall o o'.
(HasCallStack, GObject o, GObject o') =>
(ManagedPtr o' -> o') -> o -> IO o'
unsafeCastTo ManagedPtr CompletionContext -> CompletionContext
CompletionContext

-- | A convenience alias for `Nothing` :: `Maybe` `CompletionContext`.
noCompletionContext :: Maybe CompletionContext
noCompletionContext :: Maybe CompletionContext
noCompletionContext = Maybe CompletionContext
forall a. Maybe a
Nothing

#if defined(ENABLE_OVERLOADING)
type family ResolveCompletionContextMethod (t :: Symbol) (o :: *) :: * where
    ResolveCompletionContextMethod "addProposals" o = CompletionContextAddProposalsMethodInfo
    ResolveCompletionContextMethod "bindProperty" o = GObject.Object.ObjectBindPropertyMethodInfo
    ResolveCompletionContextMethod "bindPropertyFull" o = GObject.Object.ObjectBindPropertyFullMethodInfo
    ResolveCompletionContextMethod "forceFloating" o = GObject.Object.ObjectForceFloatingMethodInfo
    ResolveCompletionContextMethod "freezeNotify" o = GObject.Object.ObjectFreezeNotifyMethodInfo
    ResolveCompletionContextMethod "getv" o = GObject.Object.ObjectGetvMethodInfo
    ResolveCompletionContextMethod "isFloating" o = GObject.Object.ObjectIsFloatingMethodInfo
    ResolveCompletionContextMethod "notify" o = GObject.Object.ObjectNotifyMethodInfo
    ResolveCompletionContextMethod "notifyByPspec" o = GObject.Object.ObjectNotifyByPspecMethodInfo
    ResolveCompletionContextMethod "ref" o = GObject.Object.ObjectRefMethodInfo
    ResolveCompletionContextMethod "refSink" o = GObject.Object.ObjectRefSinkMethodInfo
    ResolveCompletionContextMethod "runDispose" o = GObject.Object.ObjectRunDisposeMethodInfo
    ResolveCompletionContextMethod "stealData" o = GObject.Object.ObjectStealDataMethodInfo
    ResolveCompletionContextMethod "stealQdata" o = GObject.Object.ObjectStealQdataMethodInfo
    ResolveCompletionContextMethod "thawNotify" o = GObject.Object.ObjectThawNotifyMethodInfo
    ResolveCompletionContextMethod "unref" o = GObject.Object.ObjectUnrefMethodInfo
    ResolveCompletionContextMethod "watchClosure" o = GObject.Object.ObjectWatchClosureMethodInfo
    ResolveCompletionContextMethod "getActivation" o = CompletionContextGetActivationMethodInfo
    ResolveCompletionContextMethod "getData" o = GObject.Object.ObjectGetDataMethodInfo
    ResolveCompletionContextMethod "getIter" o = CompletionContextGetIterMethodInfo
    ResolveCompletionContextMethod "getProperty" o = GObject.Object.ObjectGetPropertyMethodInfo
    ResolveCompletionContextMethod "getQdata" o = GObject.Object.ObjectGetQdataMethodInfo
    ResolveCompletionContextMethod "setData" o = GObject.Object.ObjectSetDataMethodInfo
    ResolveCompletionContextMethod "setDataFull" o = GObject.Object.ObjectSetDataFullMethodInfo
    ResolveCompletionContextMethod "setProperty" o = GObject.Object.ObjectSetPropertyMethodInfo
    ResolveCompletionContextMethod l o = O.MethodResolutionFailed l o

instance (info ~ ResolveCompletionContextMethod t CompletionContext, O.MethodInfo info CompletionContext p) => OL.IsLabel t (CompletionContext -> p) where
#if MIN_VERSION_base(4,10,0)
    fromLabel = O.overloadedMethod @info
#else
    fromLabel _ = O.overloadedMethod @info
#endif

#endif

-- signal CompletionContext::cancelled
-- | Emitted when the current population of proposals has been cancelled.
-- Providers adding proposals asynchronously should connect to this signal
-- to know when to cancel running proposal queries.
type CompletionContextCancelledCallback =
    IO ()

-- | A convenience synonym for @`Nothing` :: `Maybe` `CompletionContextCancelledCallback`@.
noCompletionContextCancelledCallback :: Maybe CompletionContextCancelledCallback
noCompletionContextCancelledCallback :: Maybe (IO ())
noCompletionContextCancelledCallback = Maybe (IO ())
forall a. Maybe a
Nothing

-- | Type for the callback on the (unwrapped) C side.
type C_CompletionContextCancelledCallback =
    Ptr () ->                               -- object
    Ptr () ->                               -- user_data
    IO ()

-- | Generate a function pointer callable from C code, from a `C_CompletionContextCancelledCallback`.
foreign import ccall "wrapper"
    mk_CompletionContextCancelledCallback :: C_CompletionContextCancelledCallback -> IO (FunPtr C_CompletionContextCancelledCallback)

-- | Wrap the callback into a `GClosure`.
genClosure_CompletionContextCancelled :: MonadIO m => CompletionContextCancelledCallback -> m (GClosure C_CompletionContextCancelledCallback)
genClosure_CompletionContextCancelled :: IO () -> m (GClosure C_CompletionContextCancelledCallback)
genClosure_CompletionContextCancelled cb :: IO ()
cb = IO (GClosure C_CompletionContextCancelledCallback)
-> m (GClosure C_CompletionContextCancelledCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (GClosure C_CompletionContextCancelledCallback)
 -> m (GClosure C_CompletionContextCancelledCallback))
-> IO (GClosure C_CompletionContextCancelledCallback)
-> m (GClosure C_CompletionContextCancelledCallback)
forall a b. (a -> b) -> a -> b
$ do
    let cb' :: C_CompletionContextCancelledCallback
cb' = IO () -> C_CompletionContextCancelledCallback
wrap_CompletionContextCancelledCallback IO ()
cb
    C_CompletionContextCancelledCallback
-> IO (FunPtr C_CompletionContextCancelledCallback)
mk_CompletionContextCancelledCallback C_CompletionContextCancelledCallback
cb' IO (FunPtr C_CompletionContextCancelledCallback)
-> (FunPtr C_CompletionContextCancelledCallback
    -> IO (GClosure C_CompletionContextCancelledCallback))
-> IO (GClosure C_CompletionContextCancelledCallback)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= FunPtr C_CompletionContextCancelledCallback
-> IO (GClosure C_CompletionContextCancelledCallback)
forall (m :: * -> *) a. MonadIO m => FunPtr a -> m (GClosure a)
B.GClosure.newGClosure


-- | Wrap a `CompletionContextCancelledCallback` into a `C_CompletionContextCancelledCallback`.
wrap_CompletionContextCancelledCallback ::
    CompletionContextCancelledCallback ->
    C_CompletionContextCancelledCallback
wrap_CompletionContextCancelledCallback :: IO () -> C_CompletionContextCancelledCallback
wrap_CompletionContextCancelledCallback _cb :: IO ()
_cb _ _ = do
    IO ()
_cb 


-- | Connect a signal handler for the [cancelled](#signal:cancelled) signal, to be run before the default handler.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Signals.on' completionContext #cancelled callback
-- @
-- 
-- 
onCompletionContextCancelled :: (IsCompletionContext a, MonadIO m) => a -> CompletionContextCancelledCallback -> m SignalHandlerId
onCompletionContextCancelled :: a -> IO () -> m SignalHandlerId
onCompletionContextCancelled obj :: a
obj cb :: IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
    let cb' :: C_CompletionContextCancelledCallback
cb' = IO () -> C_CompletionContextCancelledCallback
wrap_CompletionContextCancelledCallback IO ()
cb
    FunPtr C_CompletionContextCancelledCallback
cb'' <- C_CompletionContextCancelledCallback
-> IO (FunPtr C_CompletionContextCancelledCallback)
mk_CompletionContextCancelledCallback C_CompletionContextCancelledCallback
cb'
    a
-> Text
-> FunPtr C_CompletionContextCancelledCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj "cancelled" FunPtr C_CompletionContextCancelledCallback
cb'' SignalConnectMode
SignalConnectBefore Maybe Text
forall a. Maybe a
Nothing

-- | Connect a signal handler for the [cancelled](#signal:cancelled) signal, to be run after the default handler.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Signals.after' completionContext #cancelled callback
-- @
-- 
-- 
afterCompletionContextCancelled :: (IsCompletionContext a, MonadIO m) => a -> CompletionContextCancelledCallback -> m SignalHandlerId
afterCompletionContextCancelled :: a -> IO () -> m SignalHandlerId
afterCompletionContextCancelled obj :: a
obj cb :: IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
    let cb' :: C_CompletionContextCancelledCallback
cb' = IO () -> C_CompletionContextCancelledCallback
wrap_CompletionContextCancelledCallback IO ()
cb
    FunPtr C_CompletionContextCancelledCallback
cb'' <- C_CompletionContextCancelledCallback
-> IO (FunPtr C_CompletionContextCancelledCallback)
mk_CompletionContextCancelledCallback C_CompletionContextCancelledCallback
cb'
    a
-> Text
-> FunPtr C_CompletionContextCancelledCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj "cancelled" FunPtr C_CompletionContextCancelledCallback
cb'' SignalConnectMode
SignalConnectAfter Maybe Text
forall a. Maybe a
Nothing


#if defined(ENABLE_OVERLOADING)
data CompletionContextCancelledSignalInfo
instance SignalInfo CompletionContextCancelledSignalInfo where
    type HaskellCallbackType CompletionContextCancelledSignalInfo = CompletionContextCancelledCallback
    connectSignal obj cb connectMode detail = do
        let cb' = wrap_CompletionContextCancelledCallback cb
        cb'' <- mk_CompletionContextCancelledCallback cb'
        connectSignalFunPtr obj "cancelled" cb'' connectMode detail

#endif

-- VVV Prop "activation"
   -- Type: TInterface (Name {namespace = "GtkSource", name = "CompletionActivation"})
   -- Flags: [PropertyReadable,PropertyWritable,PropertyConstruct]
   -- Nullable: (Just False,Nothing)

-- | Get the value of the “@activation@” property.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' completionContext #activation
-- @
getCompletionContextActivation :: (MonadIO m, IsCompletionContext o) => o -> m [GtkSource.Flags.CompletionActivation]
getCompletionContextActivation :: o -> m [CompletionActivation]
getCompletionContextActivation obj :: o
obj = IO [CompletionActivation] -> m [CompletionActivation]
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO [CompletionActivation] -> m [CompletionActivation])
-> IO [CompletionActivation] -> m [CompletionActivation]
forall a b. (a -> b) -> a -> b
$ o -> String -> IO [CompletionActivation]
forall a b.
(GObject a, IsGFlag b, BoxedFlags b) =>
a -> String -> IO [b]
B.Properties.getObjectPropertyFlags o
obj "activation"

-- | Set the value of the “@activation@” property.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' completionContext [ #activation 'Data.GI.Base.Attributes.:=' value ]
-- @
setCompletionContextActivation :: (MonadIO m, IsCompletionContext o) => o -> [GtkSource.Flags.CompletionActivation] -> m ()
setCompletionContextActivation :: o -> [CompletionActivation] -> m ()
setCompletionContextActivation obj :: o
obj val :: [CompletionActivation]
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ o -> String -> [CompletionActivation] -> IO ()
forall a b.
(IsGFlag b, BoxedFlags b, GObject a) =>
a -> String -> [b] -> IO ()
B.Properties.setObjectPropertyFlags o
obj "activation" [CompletionActivation]
val

-- | Construct a `GValueConstruct` with valid value for the “@activation@” property. This is rarely needed directly, but it is used by `Data.GI.Base.Constructible.new`.
constructCompletionContextActivation :: (IsCompletionContext o) => [GtkSource.Flags.CompletionActivation] -> IO (GValueConstruct o)
constructCompletionContextActivation :: [CompletionActivation] -> IO (GValueConstruct o)
constructCompletionContextActivation val :: [CompletionActivation]
val = String -> [CompletionActivation] -> IO (GValueConstruct o)
forall a o.
(IsGFlag a, BoxedFlags a) =>
String -> [a] -> IO (GValueConstruct o)
B.Properties.constructObjectPropertyFlags "activation" [CompletionActivation]
val

#if defined(ENABLE_OVERLOADING)
data CompletionContextActivationPropertyInfo
instance AttrInfo CompletionContextActivationPropertyInfo where
    type AttrAllowedOps CompletionContextActivationPropertyInfo = '[ 'AttrSet, 'AttrConstruct, 'AttrGet]
    type AttrBaseTypeConstraint CompletionContextActivationPropertyInfo = IsCompletionContext
    type AttrSetTypeConstraint CompletionContextActivationPropertyInfo = (~) [GtkSource.Flags.CompletionActivation]
    type AttrTransferTypeConstraint CompletionContextActivationPropertyInfo = (~) [GtkSource.Flags.CompletionActivation]
    type AttrTransferType CompletionContextActivationPropertyInfo = [GtkSource.Flags.CompletionActivation]
    type AttrGetType CompletionContextActivationPropertyInfo = [GtkSource.Flags.CompletionActivation]
    type AttrLabel CompletionContextActivationPropertyInfo = "activation"
    type AttrOrigin CompletionContextActivationPropertyInfo = CompletionContext
    attrGet = getCompletionContextActivation
    attrSet = setCompletionContextActivation
    attrTransfer _ v = do
        return v
    attrConstruct = constructCompletionContextActivation
    attrClear = undefined
#endif

-- VVV Prop "completion"
   -- Type: TInterface (Name {namespace = "GtkSource", name = "Completion"})
   -- Flags: [PropertyReadable,PropertyWritable,PropertyConstructOnly]
   -- Nullable: (Nothing,Nothing)

-- | Get the value of the “@completion@” property.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' completionContext #completion
-- @
getCompletionContextCompletion :: (MonadIO m, IsCompletionContext o) => o -> m (Maybe GtkSource.Completion.Completion)
getCompletionContextCompletion :: o -> m (Maybe Completion)
getCompletionContextCompletion obj :: o
obj = IO (Maybe Completion) -> m (Maybe Completion)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Completion) -> m (Maybe Completion))
-> IO (Maybe Completion) -> m (Maybe Completion)
forall a b. (a -> b) -> a -> b
$ o
-> String
-> (ManagedPtr Completion -> Completion)
-> IO (Maybe Completion)
forall a b.
(GObject a, GObject b) =>
a -> String -> (ManagedPtr b -> b) -> IO (Maybe b)
B.Properties.getObjectPropertyObject o
obj "completion" ManagedPtr Completion -> Completion
GtkSource.Completion.Completion

-- | Construct a `GValueConstruct` with valid value for the “@completion@” property. This is rarely needed directly, but it is used by `Data.GI.Base.Constructible.new`.
constructCompletionContextCompletion :: (IsCompletionContext o, GtkSource.Completion.IsCompletion a) => a -> IO (GValueConstruct o)
constructCompletionContextCompletion :: a -> IO (GValueConstruct o)
constructCompletionContextCompletion val :: a
val = String -> Maybe a -> IO (GValueConstruct o)
forall a o.
GObject a =>
String -> Maybe a -> IO (GValueConstruct o)
B.Properties.constructObjectPropertyObject "completion" (a -> Maybe a
forall a. a -> Maybe a
Just a
val)

#if defined(ENABLE_OVERLOADING)
data CompletionContextCompletionPropertyInfo
instance AttrInfo CompletionContextCompletionPropertyInfo where
    type AttrAllowedOps CompletionContextCompletionPropertyInfo = '[ 'AttrConstruct, 'AttrGet, 'AttrClear]
    type AttrBaseTypeConstraint CompletionContextCompletionPropertyInfo = IsCompletionContext
    type AttrSetTypeConstraint CompletionContextCompletionPropertyInfo = GtkSource.Completion.IsCompletion
    type AttrTransferTypeConstraint CompletionContextCompletionPropertyInfo = GtkSource.Completion.IsCompletion
    type AttrTransferType CompletionContextCompletionPropertyInfo = GtkSource.Completion.Completion
    type AttrGetType CompletionContextCompletionPropertyInfo = (Maybe GtkSource.Completion.Completion)
    type AttrLabel CompletionContextCompletionPropertyInfo = "completion"
    type AttrOrigin CompletionContextCompletionPropertyInfo = CompletionContext
    attrGet = getCompletionContextCompletion
    attrSet = undefined
    attrTransfer _ v = do
        unsafeCastTo GtkSource.Completion.Completion v
    attrConstruct = constructCompletionContextCompletion
    attrClear = undefined
#endif

-- VVV Prop "iter"
   -- Type: TInterface (Name {namespace = "Gtk", name = "TextIter"})
   -- Flags: [PropertyReadable,PropertyWritable]
   -- Nullable: (Nothing,Nothing)

-- | Get the value of the “@iter@” property.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' completionContext #iter
-- @
getCompletionContextIter :: (MonadIO m, IsCompletionContext o) => o -> m (Maybe Gtk.TextIter.TextIter)
getCompletionContextIter :: o -> m (Maybe TextIter)
getCompletionContextIter obj :: o
obj = IO (Maybe TextIter) -> m (Maybe TextIter)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe TextIter) -> m (Maybe TextIter))
-> IO (Maybe TextIter) -> m (Maybe TextIter)
forall a b. (a -> b) -> a -> b
$ o
-> String
-> (ManagedPtr TextIter -> TextIter)
-> IO (Maybe TextIter)
forall a b.
(GObject a, BoxedObject b) =>
a -> String -> (ManagedPtr b -> b) -> IO (Maybe b)
B.Properties.getObjectPropertyBoxed o
obj "iter" ManagedPtr TextIter -> TextIter
Gtk.TextIter.TextIter

-- | Set the value of the “@iter@” property.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' completionContext [ #iter 'Data.GI.Base.Attributes.:=' value ]
-- @
setCompletionContextIter :: (MonadIO m, IsCompletionContext o) => o -> Gtk.TextIter.TextIter -> m ()
setCompletionContextIter :: o -> TextIter -> m ()
setCompletionContextIter obj :: o
obj val :: TextIter
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ o -> String -> Maybe TextIter -> IO ()
forall a b.
(GObject a, BoxedObject b) =>
a -> String -> Maybe b -> IO ()
B.Properties.setObjectPropertyBoxed o
obj "iter" (TextIter -> Maybe TextIter
forall a. a -> Maybe a
Just TextIter
val)

-- | Construct a `GValueConstruct` with valid value for the “@iter@” property. This is rarely needed directly, but it is used by `Data.GI.Base.Constructible.new`.
constructCompletionContextIter :: (IsCompletionContext o) => Gtk.TextIter.TextIter -> IO (GValueConstruct o)
constructCompletionContextIter :: TextIter -> IO (GValueConstruct o)
constructCompletionContextIter val :: TextIter
val = String -> Maybe TextIter -> IO (GValueConstruct o)
forall a o.
BoxedObject a =>
String -> Maybe a -> IO (GValueConstruct o)
B.Properties.constructObjectPropertyBoxed "iter" (TextIter -> Maybe TextIter
forall a. a -> Maybe a
Just TextIter
val)

-- | Set the value of the “@iter@” property to `Nothing`.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.clear' #iter
-- @
clearCompletionContextIter :: (MonadIO m, IsCompletionContext o) => o -> m ()
clearCompletionContextIter :: o -> m ()
clearCompletionContextIter obj :: o
obj = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ o -> String -> Maybe TextIter -> IO ()
forall a b.
(GObject a, BoxedObject b) =>
a -> String -> Maybe b -> IO ()
B.Properties.setObjectPropertyBoxed o
obj "iter" (Maybe TextIter
forall a. Maybe a
Nothing :: Maybe Gtk.TextIter.TextIter)

#if defined(ENABLE_OVERLOADING)
data CompletionContextIterPropertyInfo
instance AttrInfo CompletionContextIterPropertyInfo where
    type AttrAllowedOps CompletionContextIterPropertyInfo = '[ 'AttrSet, 'AttrConstruct, 'AttrGet, 'AttrClear]
    type AttrBaseTypeConstraint CompletionContextIterPropertyInfo = IsCompletionContext
    type AttrSetTypeConstraint CompletionContextIterPropertyInfo = (~) Gtk.TextIter.TextIter
    type AttrTransferTypeConstraint CompletionContextIterPropertyInfo = (~) Gtk.TextIter.TextIter
    type AttrTransferType CompletionContextIterPropertyInfo = Gtk.TextIter.TextIter
    type AttrGetType CompletionContextIterPropertyInfo = (Maybe Gtk.TextIter.TextIter)
    type AttrLabel CompletionContextIterPropertyInfo = "iter"
    type AttrOrigin CompletionContextIterPropertyInfo = CompletionContext
    attrGet = getCompletionContextIter
    attrSet = setCompletionContextIter
    attrTransfer _ v = do
        return v
    attrConstruct = constructCompletionContextIter
    attrClear = clearCompletionContextIter
#endif

#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList CompletionContext
type instance O.AttributeList CompletionContext = CompletionContextAttributeList
type CompletionContextAttributeList = ('[ '("activation", CompletionContextActivationPropertyInfo), '("completion", CompletionContextCompletionPropertyInfo), '("iter", CompletionContextIterPropertyInfo)] :: [(Symbol, *)])
#endif

#if defined(ENABLE_OVERLOADING)
completionContextActivation :: AttrLabelProxy "activation"
completionContextActivation = AttrLabelProxy

completionContextCompletion :: AttrLabelProxy "completion"
completionContextCompletion = AttrLabelProxy

completionContextIter :: AttrLabelProxy "iter"
completionContextIter = AttrLabelProxy

#endif

#if defined(ENABLE_OVERLOADING)
type instance O.SignalList CompletionContext = CompletionContextSignalList
type CompletionContextSignalList = ('[ '("cancelled", CompletionContextCancelledSignalInfo), '("notify", GObject.Object.ObjectNotifySignalInfo)] :: [(Symbol, *)])

#endif

-- method CompletionContext::add_proposals
-- method type : OrdinaryMethod
-- Args: [ Arg
--           { argCName = "context"
--           , argType =
--               TInterface
--                 Name { namespace = "GtkSource" , name = "CompletionContext" }
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "a #GtkSourceCompletionContext."
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "provider"
--           , argType =
--               TInterface
--                 Name { namespace = "GtkSource" , name = "CompletionProvider" }
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "a #GtkSourceCompletionProvider."
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "proposals"
--           , argType =
--               TGList
--                 (TInterface
--                    Name { namespace = "GtkSource" , name = "CompletionProposal" })
--           , direction = DirectionIn
--           , mayBeNull = True
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "The list of proposals to add."
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "finished"
--           , argType = TBasicType TBoolean
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText =
--                     Just "Whether the provider is finished adding proposals."
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , transfer = TransferNothing
--           }
--       ]
-- Lengths: []
-- returnType: Nothing
-- throws : False
-- Skip return : False

foreign import ccall "gtk_source_completion_context_add_proposals" gtk_source_completion_context_add_proposals :: 
    Ptr CompletionContext ->                -- context : TInterface (Name {namespace = "GtkSource", name = "CompletionContext"})
    Ptr GtkSource.CompletionProvider.CompletionProvider -> -- provider : TInterface (Name {namespace = "GtkSource", name = "CompletionProvider"})
    Ptr (GList (Ptr GtkSource.CompletionProposal.CompletionProposal)) -> -- proposals : TGList (TInterface (Name {namespace = "GtkSource", name = "CompletionProposal"}))
    CInt ->                                 -- finished : TBasicType TBoolean
    IO ()

-- | Providers can use this function to add proposals to the completion. They
-- can do so asynchronously by means of the /@finished@/ argument. Providers must
-- ensure that they always call this function with /@finished@/ set to 'P.True'
-- once each population (even if no proposals need to be added).
-- Population occurs when the 'GI.GtkSource.Interfaces.CompletionProvider.completionProviderPopulate'
-- function is called.
completionContextAddProposals ::
    (B.CallStack.HasCallStack, MonadIO m, IsCompletionContext a, GtkSource.CompletionProvider.IsCompletionProvider b, GtkSource.CompletionProposal.IsCompletionProposal c) =>
    a
    -- ^ /@context@/: a t'GI.GtkSource.Objects.CompletionContext.CompletionContext'.
    -> b
    -- ^ /@provider@/: a t'GI.GtkSource.Interfaces.CompletionProvider.CompletionProvider'.
    -> [c]
    -- ^ /@proposals@/: The list of proposals to add.
    -> Bool
    -- ^ /@finished@/: Whether the provider is finished adding proposals.
    -> m ()
completionContextAddProposals :: a -> b -> [c] -> Bool -> m ()
completionContextAddProposals context :: a
context provider :: b
provider proposals :: [c]
proposals finished :: Bool
finished = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
    Ptr CompletionContext
context' <- a -> IO (Ptr CompletionContext)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
context
    Ptr CompletionProvider
provider' <- b -> IO (Ptr CompletionProvider)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr b
provider
    [Ptr CompletionProposal]
proposals' <- (c -> IO (Ptr CompletionProposal))
-> [c] -> IO [Ptr CompletionProposal]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM c -> IO (Ptr CompletionProposal)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr [c]
proposals
    Ptr (GList (Ptr CompletionProposal))
proposals'' <- [Ptr CompletionProposal]
-> IO (Ptr (GList (Ptr CompletionProposal)))
forall a. [Ptr a] -> IO (Ptr (GList (Ptr a)))
packGList [Ptr CompletionProposal]
proposals'
    let finished' :: CInt
finished' = (Int -> CInt
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> CInt) -> (Bool -> Int) -> Bool -> CInt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Bool -> Int
forall a. Enum a => a -> Int
fromEnum) Bool
finished
    Ptr CompletionContext
-> Ptr CompletionProvider
-> Ptr (GList (Ptr CompletionProposal))
-> CInt
-> IO ()
gtk_source_completion_context_add_proposals Ptr CompletionContext
context' Ptr CompletionProvider
provider' Ptr (GList (Ptr CompletionProposal))
proposals'' CInt
finished'
    a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
context
    b -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr b
provider
    (c -> IO ()) -> [c] -> IO ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ c -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr [c]
proposals
    Ptr (GList (Ptr CompletionProposal)) -> IO ()
forall a. Ptr (GList a) -> IO ()
g_list_free Ptr (GList (Ptr CompletionProposal))
proposals''
    () -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()

#if defined(ENABLE_OVERLOADING)
data CompletionContextAddProposalsMethodInfo
instance (signature ~ (b -> [c] -> Bool -> m ()), MonadIO m, IsCompletionContext a, GtkSource.CompletionProvider.IsCompletionProvider b, GtkSource.CompletionProposal.IsCompletionProposal c) => O.MethodInfo CompletionContextAddProposalsMethodInfo a signature where
    overloadedMethod = completionContextAddProposals

#endif

-- method CompletionContext::get_activation
-- method type : OrdinaryMethod
-- Args: [ Arg
--           { argCName = "context"
--           , argType =
--               TInterface
--                 Name { namespace = "GtkSource" , name = "CompletionContext" }
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "a #GtkSourceCompletionContext."
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , transfer = TransferNothing
--           }
--       ]
-- Lengths: []
-- returnType: Just
--               (TInterface
--                  Name { namespace = "GtkSource" , name = "CompletionActivation" })
-- throws : False
-- Skip return : False

foreign import ccall "gtk_source_completion_context_get_activation" gtk_source_completion_context_get_activation :: 
    Ptr CompletionContext ->                -- context : TInterface (Name {namespace = "GtkSource", name = "CompletionContext"})
    IO CUInt

-- | Get the context activation.
completionContextGetActivation ::
    (B.CallStack.HasCallStack, MonadIO m, IsCompletionContext a) =>
    a
    -- ^ /@context@/: a t'GI.GtkSource.Objects.CompletionContext.CompletionContext'.
    -> m [GtkSource.Flags.CompletionActivation]
    -- ^ __Returns:__ The context activation.
completionContextGetActivation :: a -> m [CompletionActivation]
completionContextGetActivation context :: a
context = IO [CompletionActivation] -> m [CompletionActivation]
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO [CompletionActivation] -> m [CompletionActivation])
-> IO [CompletionActivation] -> m [CompletionActivation]
forall a b. (a -> b) -> a -> b
$ do
    Ptr CompletionContext
context' <- a -> IO (Ptr CompletionContext)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
context
    CUInt
result <- Ptr CompletionContext -> IO CUInt
gtk_source_completion_context_get_activation Ptr CompletionContext
context'
    let result' :: [CompletionActivation]
result' = CUInt -> [CompletionActivation]
forall a b. (Storable a, Integral a, Bits a, IsGFlag b) => a -> [b]
wordToGFlags CUInt
result
    a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
context
    [CompletionActivation] -> IO [CompletionActivation]
forall (m :: * -> *) a. Monad m => a -> m a
return [CompletionActivation]
result'

#if defined(ENABLE_OVERLOADING)
data CompletionContextGetActivationMethodInfo
instance (signature ~ (m [GtkSource.Flags.CompletionActivation]), MonadIO m, IsCompletionContext a) => O.MethodInfo CompletionContextGetActivationMethodInfo a signature where
    overloadedMethod = completionContextGetActivation

#endif

-- method CompletionContext::get_iter
-- method type : OrdinaryMethod
-- Args: [ Arg
--           { argCName = "context"
--           , argType =
--               TInterface
--                 Name { namespace = "GtkSource" , name = "CompletionContext" }
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "a #GtkSourceCompletionContext."
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "iter"
--           , argType =
--               TInterface Name { namespace = "Gtk" , name = "TextIter" }
--           , direction = DirectionOut
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "a #GtkTextIter." , sinceVersion = Nothing }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = True
--           , transfer = TransferNothing
--           }
--       ]
-- Lengths: []
-- returnType: Just (TBasicType TBoolean)
-- throws : False
-- Skip return : False

foreign import ccall "gtk_source_completion_context_get_iter" gtk_source_completion_context_get_iter :: 
    Ptr CompletionContext ->                -- context : TInterface (Name {namespace = "GtkSource", name = "CompletionContext"})
    Ptr Gtk.TextIter.TextIter ->            -- iter : TInterface (Name {namespace = "Gtk", name = "TextIter"})
    IO CInt

-- | Get the iter at which the completion was invoked. Providers can use this
-- to determine how and if to match proposals.
completionContextGetIter ::
    (B.CallStack.HasCallStack, MonadIO m, IsCompletionContext a) =>
    a
    -- ^ /@context@/: a t'GI.GtkSource.Objects.CompletionContext.CompletionContext'.
    -> m ((Bool, Gtk.TextIter.TextIter))
    -- ^ __Returns:__ 'P.True' if /@iter@/ is correctly set, 'P.False' otherwise.
completionContextGetIter :: a -> m (Bool, TextIter)
completionContextGetIter context :: a
context = IO (Bool, TextIter) -> m (Bool, TextIter)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Bool, TextIter) -> m (Bool, TextIter))
-> IO (Bool, TextIter) -> m (Bool, TextIter)
forall a b. (a -> b) -> a -> b
$ do
    Ptr CompletionContext
context' <- a -> IO (Ptr CompletionContext)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
context
    Ptr TextIter
iter <- Int -> IO (Ptr TextIter)
forall a. BoxedObject a => Int -> IO (Ptr a)
callocBoxedBytes 80 :: IO (Ptr Gtk.TextIter.TextIter)
    CInt
result <- Ptr CompletionContext -> Ptr TextIter -> IO CInt
gtk_source_completion_context_get_iter Ptr CompletionContext
context' Ptr TextIter
iter
    let result' :: Bool
result' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= 0) CInt
result
    TextIter
iter' <- ((ManagedPtr TextIter -> TextIter) -> Ptr TextIter -> IO TextIter
forall a.
(HasCallStack, BoxedObject a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapBoxed ManagedPtr TextIter -> TextIter
Gtk.TextIter.TextIter) Ptr TextIter
iter
    a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
context
    (Bool, TextIter) -> IO (Bool, TextIter)
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
result', TextIter
iter')

#if defined(ENABLE_OVERLOADING)
data CompletionContextGetIterMethodInfo
instance (signature ~ (m ((Bool, Gtk.TextIter.TextIter))), MonadIO m, IsCompletionContext a) => O.MethodInfo CompletionContextGetIterMethodInfo a signature where
    overloadedMethod = completionContextGetIter

#endif