{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Gtk.Objects.ClosureExpression
(
ClosureExpression(..) ,
IsClosureExpression ,
toClosureExpression ,
#if defined(ENABLE_OVERLOADING)
ResolveClosureExpressionMethod ,
#endif
closureExpressionNew ,
) 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.BasicTypes as B.Types
import qualified Data.GI.Base.ManagedPtr as B.ManagedPtr
import qualified Data.GI.Base.GArray as B.GArray
import qualified Data.GI.Base.GClosure as B.GClosure
import qualified Data.GI.Base.GError as B.GError
import qualified Data.GI.Base.GHashTable as B.GHT
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 Control.Monad.IO.Class as MIO
import qualified Data.Coerce as Coerce
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 GHC.Records as R
import {-# SOURCE #-} qualified GI.Gtk.Objects.Expression as Gtk.Expression
newtype ClosureExpression = ClosureExpression (SP.ManagedPtr ClosureExpression)
deriving (ClosureExpression -> ClosureExpression -> Bool
(ClosureExpression -> ClosureExpression -> Bool)
-> (ClosureExpression -> ClosureExpression -> Bool)
-> Eq ClosureExpression
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ClosureExpression -> ClosureExpression -> Bool
== :: ClosureExpression -> ClosureExpression -> Bool
$c/= :: ClosureExpression -> ClosureExpression -> Bool
/= :: ClosureExpression -> ClosureExpression -> Bool
Eq)
instance SP.ManagedPtrNewtype ClosureExpression where
toManagedPtr :: ClosureExpression -> ManagedPtr ClosureExpression
toManagedPtr (ClosureExpression ManagedPtr ClosureExpression
p) = ManagedPtr ClosureExpression
p
foreign import ccall "gtk_closure_expression_get_type"
c_gtk_closure_expression_get_type :: IO B.Types.GType
instance B.Types.TypedObject ClosureExpression where
glibType :: IO GType
glibType = IO GType
c_gtk_closure_expression_get_type
class (SP.BoxedPtr o, SP.TypedObject o, O.IsDescendantOf ClosureExpression o) => IsClosureExpression o
instance (SP.BoxedPtr o, SP.TypedObject o, O.IsDescendantOf ClosureExpression o) => IsClosureExpression o
instance O.HasParentTypes ClosureExpression
type instance O.ParentTypes ClosureExpression = '[Gtk.Expression.Expression]
toClosureExpression :: (MIO.MonadIO m, IsClosureExpression o) => o -> m ClosureExpression
toClosureExpression :: forall (m :: * -> *) o.
(MonadIO m, IsClosureExpression o) =>
o -> m ClosureExpression
toClosureExpression = IO ClosureExpression -> m ClosureExpression
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO ClosureExpression -> m ClosureExpression)
-> (o -> IO ClosureExpression) -> o -> m ClosureExpression
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ManagedPtr ClosureExpression -> ClosureExpression)
-> o -> IO ClosureExpression
forall o o'.
(HasCallStack, ManagedPtrNewtype o, TypedObject o,
ManagedPtrNewtype o', TypedObject o') =>
(ManagedPtr o' -> o') -> o -> IO o'
B.ManagedPtr.unsafeCastTo ManagedPtr ClosureExpression -> ClosureExpression
ClosureExpression
#if defined(ENABLE_OVERLOADING)
type family ResolveClosureExpressionMethod (t :: Symbol) (o :: *) :: * where
ResolveClosureExpressionMethod "bind" o = Gtk.Expression.ExpressionBindMethodInfo
ResolveClosureExpressionMethod "evaluate" o = Gtk.Expression.ExpressionEvaluateMethodInfo
ResolveClosureExpressionMethod "isStatic" o = Gtk.Expression.ExpressionIsStaticMethodInfo
ResolveClosureExpressionMethod "ref" o = Gtk.Expression.ExpressionRefMethodInfo
ResolveClosureExpressionMethod "unref" o = Gtk.Expression.ExpressionUnrefMethodInfo
ResolveClosureExpressionMethod "watch" o = Gtk.Expression.ExpressionWatchMethodInfo
ResolveClosureExpressionMethod "getValueType" o = Gtk.Expression.ExpressionGetValueTypeMethodInfo
ResolveClosureExpressionMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveClosureExpressionMethod t ClosureExpression, O.OverloadedMethod info ClosureExpression p) => OL.IsLabel t (ClosureExpression -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod @info
#else
fromLabel _ = O.overloadedMethod @info
#endif
#if MIN_VERSION_base(4,13,0)
instance (info ~ ResolveClosureExpressionMethod t ClosureExpression, O.OverloadedMethod info ClosureExpression p, R.HasField t ClosureExpression p) => R.HasField t ClosureExpression p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveClosureExpressionMethod t ClosureExpression, O.OverloadedMethodInfo info ClosureExpression) => OL.IsLabel t (O.MethodProxy info ClosureExpression) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif
instance BoxedPtr ClosureExpression where
boxedPtrCopy :: ClosureExpression -> IO ClosureExpression
boxedPtrCopy = ClosureExpression -> IO ClosureExpression
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return
boxedPtrFree :: ClosureExpression -> IO ()
boxedPtrFree = \ClosureExpression
_x -> () -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
foreign import ccall "gtk_closure_expression_new" gtk_closure_expression_new ::
CGType ->
Ptr (GClosure ()) ->
Word32 ->
Ptr (Ptr Gtk.Expression.Expression) ->
IO (Ptr ClosureExpression)
closureExpressionNew ::
(B.CallStack.HasCallStack, MonadIO m) =>
GType
-> GClosure a
-> Maybe ([Gtk.Expression.Expression])
-> m ClosureExpression
closureExpressionNew :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m) =>
GType -> GClosure a -> Maybe [Expression] -> m ClosureExpression
closureExpressionNew GType
valueType GClosure a
closure Maybe [Expression]
params = IO ClosureExpression -> m ClosureExpression
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO ClosureExpression -> m ClosureExpression)
-> IO ClosureExpression -> m ClosureExpression
forall a b. (a -> b) -> a -> b
$ do
let nParams :: Word32
nParams = case Maybe [Expression]
params of
Maybe [Expression]
Nothing -> Word32
0
Just [Expression]
jParams -> Int -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> Word32) -> Int -> Word32
forall a b. (a -> b) -> a -> b
$ [Expression] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
P.length [Expression]
jParams
let valueType' :: CGType
valueType' = GType -> CGType
gtypeToCGType GType
valueType
Ptr (GClosure ())
closure' <- GClosure a -> IO (Ptr (GClosure ()))
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr GClosure a
closure
Ptr (Ptr Expression)
maybeParams <- case Maybe [Expression]
params of
Maybe [Expression]
Nothing -> Ptr (Ptr Expression) -> IO (Ptr (Ptr Expression))
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Ptr (Ptr Expression)
forall a. Ptr a
nullPtr
Just [Expression]
jParams -> do
[Ptr Expression]
jParams' <- (Expression -> IO (Ptr Expression))
-> [Expression] -> IO [Ptr Expression]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM Expression -> IO (Ptr Expression)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
B.ManagedPtr.disownManagedPtr [Expression]
jParams
Ptr (Ptr Expression)
jParams'' <- [Ptr Expression] -> IO (Ptr (Ptr Expression))
forall a. [Ptr a] -> IO (Ptr (Ptr a))
packPtrArray [Ptr Expression]
jParams'
Ptr (Ptr Expression) -> IO (Ptr (Ptr Expression))
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Ptr (Ptr Expression)
jParams''
Ptr ClosureExpression
result <- CGType
-> Ptr (GClosure ())
-> Word32
-> Ptr (Ptr Expression)
-> IO (Ptr ClosureExpression)
gtk_closure_expression_new CGType
valueType' Ptr (GClosure ())
closure' Word32
nParams Ptr (Ptr Expression)
maybeParams
Text -> Ptr ClosureExpression -> IO ()
forall a. HasCallStack => Text -> Ptr a -> IO ()
checkUnexpectedReturnNULL Text
"closureExpressionNew" Ptr ClosureExpression
result
ClosureExpression
result' <- ((ManagedPtr ClosureExpression -> ClosureExpression)
-> Ptr ClosureExpression -> IO ClosureExpression
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr ClosureExpression -> ClosureExpression
ClosureExpression) Ptr ClosureExpression
result
GClosure a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr GClosure a
closure
Maybe [Expression] -> ([Expression] -> IO ()) -> IO ()
forall (m :: * -> *) a. Monad m => Maybe a -> (a -> m ()) -> m ()
whenJust Maybe [Expression]
params ((Expression -> IO ()) -> [Expression] -> IO ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ Expression -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr)
ClosureExpression -> IO ClosureExpression
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ClosureExpression
result'
#if defined(ENABLE_OVERLOADING)
#endif