{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.GObject.Structs.TypeFundamentalInfo
(
TypeFundamentalInfo(..) ,
newZeroTypeFundamentalInfo ,
#if defined(ENABLE_OVERLOADING)
ResolveTypeFundamentalInfoMethod ,
#endif
getTypeFundamentalInfoTypeFlags ,
setTypeFundamentalInfoTypeFlags ,
#if defined(ENABLE_OVERLOADING)
typeFundamentalInfo_typeFlags ,
#endif
) 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.Kind as DK
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.GObject.Flags as GObject.Flags
newtype TypeFundamentalInfo = TypeFundamentalInfo (SP.ManagedPtr TypeFundamentalInfo)
deriving (TypeFundamentalInfo -> TypeFundamentalInfo -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: TypeFundamentalInfo -> TypeFundamentalInfo -> Bool
$c/= :: TypeFundamentalInfo -> TypeFundamentalInfo -> Bool
== :: TypeFundamentalInfo -> TypeFundamentalInfo -> Bool
$c== :: TypeFundamentalInfo -> TypeFundamentalInfo -> Bool
Eq)
instance SP.ManagedPtrNewtype TypeFundamentalInfo where
toManagedPtr :: TypeFundamentalInfo -> ManagedPtr TypeFundamentalInfo
toManagedPtr (TypeFundamentalInfo ManagedPtr TypeFundamentalInfo
p) = ManagedPtr TypeFundamentalInfo
p
instance BoxedPtr TypeFundamentalInfo where
boxedPtrCopy :: TypeFundamentalInfo -> IO TypeFundamentalInfo
boxedPtrCopy = \TypeFundamentalInfo
p -> forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr TypeFundamentalInfo
p (forall a. (HasCallStack, CallocPtr a) => Int -> Ptr a -> IO (Ptr a)
copyBytes Int
4 forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.wrapPtr ManagedPtr TypeFundamentalInfo -> TypeFundamentalInfo
TypeFundamentalInfo)
boxedPtrFree :: TypeFundamentalInfo -> IO ()
boxedPtrFree = \TypeFundamentalInfo
x -> forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
SP.withManagedPtr TypeFundamentalInfo
x forall a. Ptr a -> IO ()
SP.freeMem
instance CallocPtr TypeFundamentalInfo where
boxedPtrCalloc :: IO (Ptr TypeFundamentalInfo)
boxedPtrCalloc = forall a. Int -> IO (Ptr a)
callocBytes Int
4
newZeroTypeFundamentalInfo :: MonadIO m => m TypeFundamentalInfo
newZeroTypeFundamentalInfo :: forall (m :: * -> *). MonadIO m => m TypeFundamentalInfo
newZeroTypeFundamentalInfo = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a. CallocPtr a => IO (Ptr a)
boxedPtrCalloc forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr TypeFundamentalInfo -> TypeFundamentalInfo
TypeFundamentalInfo
instance tag ~ 'AttrSet => Constructible TypeFundamentalInfo tag where
new :: forall (m :: * -> *).
MonadIO m =>
(ManagedPtr TypeFundamentalInfo -> TypeFundamentalInfo)
-> [AttrOp TypeFundamentalInfo tag] -> m TypeFundamentalInfo
new ManagedPtr TypeFundamentalInfo -> TypeFundamentalInfo
_ [AttrOp TypeFundamentalInfo tag]
attrs = do
TypeFundamentalInfo
o <- forall (m :: * -> *). MonadIO m => m TypeFundamentalInfo
newZeroTypeFundamentalInfo
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set TypeFundamentalInfo
o [AttrOp TypeFundamentalInfo tag]
attrs
forall (m :: * -> *) a. Monad m => a -> m a
return TypeFundamentalInfo
o
getTypeFundamentalInfoTypeFlags :: MonadIO m => TypeFundamentalInfo -> m [GObject.Flags.TypeFundamentalFlags]
getTypeFundamentalInfoTypeFlags :: forall (m :: * -> *).
MonadIO m =>
TypeFundamentalInfo -> m [TypeFundamentalFlags]
getTypeFundamentalInfoTypeFlags TypeFundamentalInfo
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeFundamentalInfo
s forall a b. (a -> b) -> a -> b
$ \Ptr TypeFundamentalInfo
ptr -> do
CUInt
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeFundamentalInfo
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO CUInt
let val' :: [TypeFundamentalFlags]
val' = forall a b. (Storable a, Integral a, Bits a, IsGFlag b) => a -> [b]
wordToGFlags CUInt
val
forall (m :: * -> *) a. Monad m => a -> m a
return [TypeFundamentalFlags]
val'
setTypeFundamentalInfoTypeFlags :: MonadIO m => TypeFundamentalInfo -> [GObject.Flags.TypeFundamentalFlags] -> m ()
setTypeFundamentalInfoTypeFlags :: forall (m :: * -> *).
MonadIO m =>
TypeFundamentalInfo -> [TypeFundamentalFlags] -> m ()
setTypeFundamentalInfoTypeFlags TypeFundamentalInfo
s [TypeFundamentalFlags]
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeFundamentalInfo
s forall a b. (a -> b) -> a -> b
$ \Ptr TypeFundamentalInfo
ptr -> do
let val' :: CUInt
val' = forall b a. (Num b, IsGFlag a) => [a] -> b
gflagsToWord [TypeFundamentalFlags]
val
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeFundamentalInfo
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (CUInt
val' :: CUInt)
#if defined(ENABLE_OVERLOADING)
data TypeFundamentalInfoTypeFlagsFieldInfo
instance AttrInfo TypeFundamentalInfoTypeFlagsFieldInfo where
type AttrBaseTypeConstraint TypeFundamentalInfoTypeFlagsFieldInfo = (~) TypeFundamentalInfo
type AttrAllowedOps TypeFundamentalInfoTypeFlagsFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint TypeFundamentalInfoTypeFlagsFieldInfo = (~) [GObject.Flags.TypeFundamentalFlags]
type AttrTransferTypeConstraint TypeFundamentalInfoTypeFlagsFieldInfo = (~)[GObject.Flags.TypeFundamentalFlags]
type AttrTransferType TypeFundamentalInfoTypeFlagsFieldInfo = [GObject.Flags.TypeFundamentalFlags]
type AttrGetType TypeFundamentalInfoTypeFlagsFieldInfo = [GObject.Flags.TypeFundamentalFlags]
type AttrLabel TypeFundamentalInfoTypeFlagsFieldInfo = "type_flags"
type AttrOrigin TypeFundamentalInfoTypeFlagsFieldInfo = TypeFundamentalInfo
attrGet = getTypeFundamentalInfoTypeFlags
attrSet = setTypeFundamentalInfoTypeFlags
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.GObject.Structs.TypeFundamentalInfo.typeFlags"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gobject-2.0.28/docs/GI-GObject-Structs-TypeFundamentalInfo.html#g:attr:typeFlags"
})
typeFundamentalInfo_typeFlags :: AttrLabelProxy "typeFlags"
typeFundamentalInfo_typeFlags = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList TypeFundamentalInfo
type instance O.AttributeList TypeFundamentalInfo = TypeFundamentalInfoAttributeList
type TypeFundamentalInfoAttributeList = ('[ '("typeFlags", TypeFundamentalInfoTypeFlagsFieldInfo)] :: [(Symbol, DK.Type)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveTypeFundamentalInfoMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
ResolveTypeFundamentalInfoMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveTypeFundamentalInfoMethod t TypeFundamentalInfo, O.OverloadedMethod info TypeFundamentalInfo p) => OL.IsLabel t (TypeFundamentalInfo -> 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 ~ ResolveTypeFundamentalInfoMethod t TypeFundamentalInfo, O.OverloadedMethod info TypeFundamentalInfo p, R.HasField t TypeFundamentalInfo p) => R.HasField t TypeFundamentalInfo p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveTypeFundamentalInfoMethod t TypeFundamentalInfo, O.OverloadedMethodInfo info TypeFundamentalInfo) => OL.IsLabel t (O.MethodProxy info TypeFundamentalInfo) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif