{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.GLib.Structs.TestConfig
(
TestConfig(..) ,
newZeroTestConfig ,
noTestConfig ,
#if defined(ENABLE_OVERLOADING)
ResolveTestConfigMethod ,
#endif
getTestConfigTestInitialized ,
setTestConfigTestInitialized ,
#if defined(ENABLE_OVERLOADING)
testConfig_testInitialized ,
#endif
getTestConfigTestPerf ,
setTestConfigTestPerf ,
#if defined(ENABLE_OVERLOADING)
testConfig_testPerf ,
#endif
getTestConfigTestQuick ,
setTestConfigTestQuick ,
#if defined(ENABLE_OVERLOADING)
testConfig_testQuick ,
#endif
getTestConfigTestQuiet ,
setTestConfigTestQuiet ,
#if defined(ENABLE_OVERLOADING)
testConfig_testQuiet ,
#endif
getTestConfigTestUndefined ,
setTestConfigTestUndefined ,
#if defined(ENABLE_OVERLOADING)
testConfig_testUndefined ,
#endif
getTestConfigTestVerbose ,
setTestConfigTestVerbose ,
#if defined(ENABLE_OVERLOADING)
testConfig_testVerbose ,
#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.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
newtype TestConfig = TestConfig (ManagedPtr TestConfig)
deriving (TestConfig -> TestConfig -> Bool
(TestConfig -> TestConfig -> Bool)
-> (TestConfig -> TestConfig -> Bool) -> Eq TestConfig
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: TestConfig -> TestConfig -> Bool
$c/= :: TestConfig -> TestConfig -> Bool
== :: TestConfig -> TestConfig -> Bool
$c== :: TestConfig -> TestConfig -> Bool
Eq)
instance WrappedPtr TestConfig where
wrappedPtrCalloc :: IO (Ptr TestConfig)
wrappedPtrCalloc = Int -> IO (Ptr TestConfig)
forall a. Int -> IO (Ptr a)
callocBytes 24
wrappedPtrCopy :: TestConfig -> IO TestConfig
wrappedPtrCopy = \p :: TestConfig
p -> TestConfig -> (Ptr TestConfig -> IO TestConfig) -> IO TestConfig
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
p (Int -> Ptr TestConfig -> IO (Ptr TestConfig)
forall a. WrappedPtr a => Int -> Ptr a -> IO (Ptr a)
copyBytes 24 (Ptr TestConfig -> IO (Ptr TestConfig))
-> (Ptr TestConfig -> IO TestConfig)
-> Ptr TestConfig
-> IO TestConfig
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ManagedPtr TestConfig -> TestConfig)
-> Ptr TestConfig -> IO TestConfig
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr TestConfig -> TestConfig
TestConfig)
wrappedPtrFree :: Maybe (GDestroyNotify TestConfig)
wrappedPtrFree = GDestroyNotify TestConfig -> Maybe (GDestroyNotify TestConfig)
forall a. a -> Maybe a
Just GDestroyNotify TestConfig
forall a. FunPtr (Ptr a -> IO ())
ptr_to_g_free
newZeroTestConfig :: MonadIO m => m TestConfig
newZeroTestConfig :: m TestConfig
newZeroTestConfig = IO TestConfig -> m TestConfig
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO TestConfig -> m TestConfig) -> IO TestConfig -> m TestConfig
forall a b. (a -> b) -> a -> b
$ IO (Ptr TestConfig)
forall a. WrappedPtr a => IO (Ptr a)
wrappedPtrCalloc IO (Ptr TestConfig)
-> (Ptr TestConfig -> IO TestConfig) -> IO TestConfig
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr TestConfig -> TestConfig)
-> Ptr TestConfig -> IO TestConfig
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr TestConfig -> TestConfig
TestConfig
instance tag ~ 'AttrSet => Constructible TestConfig tag where
new :: (ManagedPtr TestConfig -> TestConfig)
-> [AttrOp TestConfig tag] -> m TestConfig
new _ attrs :: [AttrOp TestConfig tag]
attrs = do
TestConfig
o <- m TestConfig
forall (m :: * -> *). MonadIO m => m TestConfig
newZeroTestConfig
TestConfig -> [AttrOp TestConfig 'AttrSet] -> m ()
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set TestConfig
o [AttrOp TestConfig tag]
[AttrOp TestConfig 'AttrSet]
attrs
TestConfig -> m TestConfig
forall (m :: * -> *) a. Monad m => a -> m a
return TestConfig
o
noTestConfig :: Maybe TestConfig
noTestConfig :: Maybe TestConfig
noTestConfig = Maybe TestConfig
forall a. Maybe a
Nothing
getTestConfigTestInitialized :: MonadIO m => TestConfig -> m Bool
getTestConfigTestInitialized :: TestConfig -> m Bool
getTestConfigTestInitialized s :: TestConfig
s = IO Bool -> m Bool
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO Bool) -> IO Bool)
-> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
CInt
val <- Ptr CInt -> IO CInt
forall a. Storable a => Ptr a -> IO a
peek (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0) :: IO CInt
let val' :: Bool
val' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= 0) CInt
val
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
val'
setTestConfigTestInitialized :: MonadIO m => TestConfig -> Bool -> m ()
setTestConfigTestInitialized :: TestConfig -> Bool -> m ()
setTestConfigTestInitialized s :: TestConfig
s val :: Bool
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO ()) -> IO ())
-> (Ptr TestConfig -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
let val' :: CInt
val' = (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
val
Ptr CInt -> CInt -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0) (CInt
val' :: CInt)
#if defined(ENABLE_OVERLOADING)
data TestConfigTestInitializedFieldInfo
instance AttrInfo TestConfigTestInitializedFieldInfo where
type AttrBaseTypeConstraint TestConfigTestInitializedFieldInfo = (~) TestConfig
type AttrAllowedOps TestConfigTestInitializedFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint TestConfigTestInitializedFieldInfo = (~) Bool
type AttrTransferTypeConstraint TestConfigTestInitializedFieldInfo = (~)Bool
type AttrTransferType TestConfigTestInitializedFieldInfo = Bool
type AttrGetType TestConfigTestInitializedFieldInfo = Bool
type AttrLabel TestConfigTestInitializedFieldInfo = "test_initialized"
type AttrOrigin TestConfigTestInitializedFieldInfo = TestConfig
attrGet = getTestConfigTestInitialized
attrSet = setTestConfigTestInitialized
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
testConfig_testInitialized :: AttrLabelProxy "testInitialized"
testConfig_testInitialized = AttrLabelProxy
#endif
getTestConfigTestQuick :: MonadIO m => TestConfig -> m Bool
getTestConfigTestQuick :: TestConfig -> m Bool
getTestConfigTestQuick s :: TestConfig
s = IO Bool -> m Bool
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO Bool) -> IO Bool)
-> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
CInt
val <- Ptr CInt -> IO CInt
forall a. Storable a => Ptr a -> IO a
peek (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 4) :: IO CInt
let val' :: Bool
val' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= 0) CInt
val
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
val'
setTestConfigTestQuick :: MonadIO m => TestConfig -> Bool -> m ()
setTestConfigTestQuick :: TestConfig -> Bool -> m ()
setTestConfigTestQuick s :: TestConfig
s val :: Bool
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO ()) -> IO ())
-> (Ptr TestConfig -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
let val' :: CInt
val' = (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
val
Ptr CInt -> CInt -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 4) (CInt
val' :: CInt)
#if defined(ENABLE_OVERLOADING)
data TestConfigTestQuickFieldInfo
instance AttrInfo TestConfigTestQuickFieldInfo where
type AttrBaseTypeConstraint TestConfigTestQuickFieldInfo = (~) TestConfig
type AttrAllowedOps TestConfigTestQuickFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint TestConfigTestQuickFieldInfo = (~) Bool
type AttrTransferTypeConstraint TestConfigTestQuickFieldInfo = (~)Bool
type AttrTransferType TestConfigTestQuickFieldInfo = Bool
type AttrGetType TestConfigTestQuickFieldInfo = Bool
type AttrLabel TestConfigTestQuickFieldInfo = "test_quick"
type AttrOrigin TestConfigTestQuickFieldInfo = TestConfig
attrGet = getTestConfigTestQuick
attrSet = setTestConfigTestQuick
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
testConfig_testQuick :: AttrLabelProxy "testQuick"
testConfig_testQuick = AttrLabelProxy
#endif
getTestConfigTestPerf :: MonadIO m => TestConfig -> m Bool
getTestConfigTestPerf :: TestConfig -> m Bool
getTestConfigTestPerf s :: TestConfig
s = IO Bool -> m Bool
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO Bool) -> IO Bool)
-> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
CInt
val <- Ptr CInt -> IO CInt
forall a. Storable a => Ptr a -> IO a
peek (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8) :: IO CInt
let val' :: Bool
val' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= 0) CInt
val
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
val'
setTestConfigTestPerf :: MonadIO m => TestConfig -> Bool -> m ()
setTestConfigTestPerf :: TestConfig -> Bool -> m ()
setTestConfigTestPerf s :: TestConfig
s val :: Bool
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO ()) -> IO ())
-> (Ptr TestConfig -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
let val' :: CInt
val' = (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
val
Ptr CInt -> CInt -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8) (CInt
val' :: CInt)
#if defined(ENABLE_OVERLOADING)
data TestConfigTestPerfFieldInfo
instance AttrInfo TestConfigTestPerfFieldInfo where
type AttrBaseTypeConstraint TestConfigTestPerfFieldInfo = (~) TestConfig
type AttrAllowedOps TestConfigTestPerfFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint TestConfigTestPerfFieldInfo = (~) Bool
type AttrTransferTypeConstraint TestConfigTestPerfFieldInfo = (~)Bool
type AttrTransferType TestConfigTestPerfFieldInfo = Bool
type AttrGetType TestConfigTestPerfFieldInfo = Bool
type AttrLabel TestConfigTestPerfFieldInfo = "test_perf"
type AttrOrigin TestConfigTestPerfFieldInfo = TestConfig
attrGet = getTestConfigTestPerf
attrSet = setTestConfigTestPerf
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
testConfig_testPerf :: AttrLabelProxy "testPerf"
testConfig_testPerf = AttrLabelProxy
#endif
getTestConfigTestVerbose :: MonadIO m => TestConfig -> m Bool
getTestConfigTestVerbose :: TestConfig -> m Bool
getTestConfigTestVerbose s :: TestConfig
s = IO Bool -> m Bool
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO Bool) -> IO Bool)
-> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
CInt
val <- Ptr CInt -> IO CInt
forall a. Storable a => Ptr a -> IO a
peek (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 12) :: IO CInt
let val' :: Bool
val' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= 0) CInt
val
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
val'
setTestConfigTestVerbose :: MonadIO m => TestConfig -> Bool -> m ()
setTestConfigTestVerbose :: TestConfig -> Bool -> m ()
setTestConfigTestVerbose s :: TestConfig
s val :: Bool
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO ()) -> IO ())
-> (Ptr TestConfig -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
let val' :: CInt
val' = (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
val
Ptr CInt -> CInt -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 12) (CInt
val' :: CInt)
#if defined(ENABLE_OVERLOADING)
data TestConfigTestVerboseFieldInfo
instance AttrInfo TestConfigTestVerboseFieldInfo where
type AttrBaseTypeConstraint TestConfigTestVerboseFieldInfo = (~) TestConfig
type AttrAllowedOps TestConfigTestVerboseFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint TestConfigTestVerboseFieldInfo = (~) Bool
type AttrTransferTypeConstraint TestConfigTestVerboseFieldInfo = (~)Bool
type AttrTransferType TestConfigTestVerboseFieldInfo = Bool
type AttrGetType TestConfigTestVerboseFieldInfo = Bool
type AttrLabel TestConfigTestVerboseFieldInfo = "test_verbose"
type AttrOrigin TestConfigTestVerboseFieldInfo = TestConfig
attrGet = getTestConfigTestVerbose
attrSet = setTestConfigTestVerbose
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
testConfig_testVerbose :: AttrLabelProxy "testVerbose"
testConfig_testVerbose = AttrLabelProxy
#endif
getTestConfigTestQuiet :: MonadIO m => TestConfig -> m Bool
getTestConfigTestQuiet :: TestConfig -> m Bool
getTestConfigTestQuiet s :: TestConfig
s = IO Bool -> m Bool
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO Bool) -> IO Bool)
-> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
CInt
val <- Ptr CInt -> IO CInt
forall a. Storable a => Ptr a -> IO a
peek (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16) :: IO CInt
let val' :: Bool
val' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= 0) CInt
val
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
val'
setTestConfigTestQuiet :: MonadIO m => TestConfig -> Bool -> m ()
setTestConfigTestQuiet :: TestConfig -> Bool -> m ()
setTestConfigTestQuiet s :: TestConfig
s val :: Bool
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO ()) -> IO ())
-> (Ptr TestConfig -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
let val' :: CInt
val' = (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
val
Ptr CInt -> CInt -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16) (CInt
val' :: CInt)
#if defined(ENABLE_OVERLOADING)
data TestConfigTestQuietFieldInfo
instance AttrInfo TestConfigTestQuietFieldInfo where
type AttrBaseTypeConstraint TestConfigTestQuietFieldInfo = (~) TestConfig
type AttrAllowedOps TestConfigTestQuietFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint TestConfigTestQuietFieldInfo = (~) Bool
type AttrTransferTypeConstraint TestConfigTestQuietFieldInfo = (~)Bool
type AttrTransferType TestConfigTestQuietFieldInfo = Bool
type AttrGetType TestConfigTestQuietFieldInfo = Bool
type AttrLabel TestConfigTestQuietFieldInfo = "test_quiet"
type AttrOrigin TestConfigTestQuietFieldInfo = TestConfig
attrGet = getTestConfigTestQuiet
attrSet = setTestConfigTestQuiet
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
testConfig_testQuiet :: AttrLabelProxy "testQuiet"
testConfig_testQuiet = AttrLabelProxy
#endif
getTestConfigTestUndefined :: MonadIO m => TestConfig -> m Bool
getTestConfigTestUndefined :: TestConfig -> m Bool
getTestConfigTestUndefined s :: TestConfig
s = IO Bool -> m Bool
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO Bool) -> IO Bool)
-> (Ptr TestConfig -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
CInt
val <- Ptr CInt -> IO CInt
forall a. Storable a => Ptr a -> IO a
peek (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 20) :: IO CInt
let val' :: Bool
val' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= 0) CInt
val
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
val'
setTestConfigTestUndefined :: MonadIO m => TestConfig -> Bool -> m ()
setTestConfigTestUndefined :: TestConfig -> Bool -> m ()
setTestConfigTestUndefined s :: TestConfig
s val :: Bool
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TestConfig -> (Ptr TestConfig -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TestConfig
s ((Ptr TestConfig -> IO ()) -> IO ())
-> (Ptr TestConfig -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr TestConfig
ptr -> do
let val' :: CInt
val' = (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
val
Ptr CInt -> CInt -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TestConfig
ptr Ptr TestConfig -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 20) (CInt
val' :: CInt)
#if defined(ENABLE_OVERLOADING)
data TestConfigTestUndefinedFieldInfo
instance AttrInfo TestConfigTestUndefinedFieldInfo where
type AttrBaseTypeConstraint TestConfigTestUndefinedFieldInfo = (~) TestConfig
type AttrAllowedOps TestConfigTestUndefinedFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint TestConfigTestUndefinedFieldInfo = (~) Bool
type AttrTransferTypeConstraint TestConfigTestUndefinedFieldInfo = (~)Bool
type AttrTransferType TestConfigTestUndefinedFieldInfo = Bool
type AttrGetType TestConfigTestUndefinedFieldInfo = Bool
type AttrLabel TestConfigTestUndefinedFieldInfo = "test_undefined"
type AttrOrigin TestConfigTestUndefinedFieldInfo = TestConfig
attrGet = getTestConfigTestUndefined
attrSet = setTestConfigTestUndefined
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
testConfig_testUndefined :: AttrLabelProxy "testUndefined"
testConfig_testUndefined = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList TestConfig
type instance O.AttributeList TestConfig = TestConfigAttributeList
type TestConfigAttributeList = ('[ '("testInitialized", TestConfigTestInitializedFieldInfo), '("testQuick", TestConfigTestQuickFieldInfo), '("testPerf", TestConfigTestPerfFieldInfo), '("testVerbose", TestConfigTestVerboseFieldInfo), '("testQuiet", TestConfigTestQuietFieldInfo), '("testUndefined", TestConfigTestUndefinedFieldInfo)] :: [(Symbol, *)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveTestConfigMethod (t :: Symbol) (o :: *) :: * where
ResolveTestConfigMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveTestConfigMethod t TestConfig, O.MethodInfo info TestConfig p) => OL.IsLabel t (TestConfig -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod @info
#else
fromLabel _ = O.overloadedMethod @info
#endif
#endif