{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Gtk.Structs.PageRange
(
PageRange(..) ,
newZeroPageRange ,
noPageRange ,
#if defined(ENABLE_OVERLOADING)
ResolvePageRangeMethod ,
#endif
getPageRangeEnd ,
#if defined(ENABLE_OVERLOADING)
pageRange_end ,
#endif
setPageRangeEnd ,
getPageRangeStart ,
#if defined(ENABLE_OVERLOADING)
pageRange_start ,
#endif
setPageRangeStart ,
) 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 = (ManagedPtr PageRange)
deriving (PageRange -> PageRange -> Bool
(PageRange -> PageRange -> Bool)
-> (PageRange -> PageRange -> Bool) -> Eq PageRange
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PageRange -> PageRange -> Bool
$c/= :: PageRange -> PageRange -> Bool
== :: PageRange -> PageRange -> Bool
$c== :: PageRange -> PageRange -> Bool
Eq)
instance WrappedPtr PageRange where
wrappedPtrCalloc :: IO (Ptr PageRange)
wrappedPtrCalloc = Int -> IO (Ptr PageRange)
forall a. Int -> IO (Ptr a)
callocBytes 8
wrappedPtrCopy :: PageRange -> IO PageRange
wrappedPtrCopy = \p :: PageRange
p -> PageRange -> (Ptr PageRange -> IO PageRange) -> IO PageRange
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr PageRange
p (Int -> Ptr PageRange -> IO (Ptr PageRange)
forall a. WrappedPtr a => Int -> Ptr a -> IO (Ptr a)
copyBytes 8 (Ptr PageRange -> IO (Ptr PageRange))
-> (Ptr PageRange -> IO PageRange) -> Ptr PageRange -> IO PageRange
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ManagedPtr PageRange -> PageRange)
-> Ptr PageRange -> IO PageRange
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr PageRange -> PageRange
PageRange)
wrappedPtrFree :: Maybe (GDestroyNotify PageRange)
wrappedPtrFree = GDestroyNotify PageRange -> Maybe (GDestroyNotify PageRange)
forall a. a -> Maybe a
Just GDestroyNotify PageRange
forall a. FunPtr (Ptr a -> IO ())
ptr_to_g_free
newZeroPageRange :: MonadIO m => m PageRange
= IO PageRange -> m PageRange
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO PageRange -> m PageRange) -> IO PageRange -> m PageRange
forall a b. (a -> b) -> a -> b
$ IO (Ptr PageRange)
forall a. WrappedPtr a => IO (Ptr a)
wrappedPtrCalloc IO (Ptr PageRange)
-> (Ptr PageRange -> IO PageRange) -> IO PageRange
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr PageRange -> PageRange)
-> Ptr PageRange -> IO PageRange
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr PageRange -> PageRange
PageRange
instance tag ~ 'AttrSet => Constructible PageRange tag where
new :: (ManagedPtr PageRange -> PageRange)
-> [AttrOp PageRange tag] -> m PageRange
new _ attrs :: [AttrOp PageRange tag]
attrs = do
PageRange
o <- m PageRange
forall (m :: * -> *). MonadIO m => m PageRange
newZeroPageRange
PageRange -> [AttrOp PageRange 'AttrSet] -> m ()
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set PageRange
o [AttrOp PageRange tag]
[AttrOp PageRange 'AttrSet]
attrs
PageRange -> m PageRange
forall (m :: * -> *) a. Monad m => a -> m a
return PageRange
o
noPageRange :: Maybe PageRange
= Maybe PageRange
forall a. Maybe a
Nothing
getPageRangeStart :: MonadIO m => PageRange -> m Int32
s :: PageRange
s = IO Int32 -> m Int32
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int32 -> m Int32) -> IO Int32 -> m Int32
forall a b. (a -> b) -> a -> b
$ PageRange -> (Ptr PageRange -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr PageRange
s ((Ptr PageRange -> IO Int32) -> IO Int32)
-> (Ptr PageRange -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr PageRange
ptr -> do
Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr PageRange
ptr Ptr PageRange -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0) :: IO Int32
Int32 -> IO Int32
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setPageRangeStart :: MonadIO m => PageRange -> Int32 -> m ()
s :: PageRange
s val :: Int32
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ PageRange -> (Ptr PageRange -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr PageRange
s ((Ptr PageRange -> IO ()) -> IO ())
-> (Ptr PageRange -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr PageRange
ptr -> do
Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr PageRange
ptr Ptr PageRange -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data PageRangeStartFieldInfo
instance AttrInfo PageRangeStartFieldInfo where
type AttrBaseTypeConstraint PageRangeStartFieldInfo = (~) PageRange
type AttrAllowedOps PageRangeStartFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint PageRangeStartFieldInfo = (~) Int32
type AttrTransferTypeConstraint PageRangeStartFieldInfo = (~)Int32
type AttrTransferType PageRangeStartFieldInfo = Int32
type AttrGetType PageRangeStartFieldInfo = Int32
type AttrLabel PageRangeStartFieldInfo = "start"
type AttrOrigin PageRangeStartFieldInfo = PageRange
attrGet = getPageRangeStart
attrSet = setPageRangeStart
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
pageRange_start :: AttrLabelProxy "start"
pageRange_start = AttrLabelProxy
#endif
getPageRangeEnd :: MonadIO m => PageRange -> m Int32
s :: PageRange
s = IO Int32 -> m Int32
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int32 -> m Int32) -> IO Int32 -> m Int32
forall a b. (a -> b) -> a -> b
$ PageRange -> (Ptr PageRange -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr PageRange
s ((Ptr PageRange -> IO Int32) -> IO Int32)
-> (Ptr PageRange -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr PageRange
ptr -> do
Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr PageRange
ptr Ptr PageRange -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 4) :: IO Int32
Int32 -> IO Int32
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setPageRangeEnd :: MonadIO m => PageRange -> Int32 -> m ()
s :: PageRange
s val :: Int32
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ PageRange -> (Ptr PageRange -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr PageRange
s ((Ptr PageRange -> IO ()) -> IO ())
-> (Ptr PageRange -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr PageRange
ptr -> do
Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr PageRange
ptr Ptr PageRange -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 4) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data PageRangeEndFieldInfo
instance AttrInfo PageRangeEndFieldInfo where
type AttrBaseTypeConstraint PageRangeEndFieldInfo = (~) PageRange
type AttrAllowedOps PageRangeEndFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint PageRangeEndFieldInfo = (~) Int32
type AttrTransferTypeConstraint PageRangeEndFieldInfo = (~)Int32
type AttrTransferType PageRangeEndFieldInfo = Int32
type AttrGetType PageRangeEndFieldInfo = Int32
type AttrLabel PageRangeEndFieldInfo = "end"
type AttrOrigin PageRangeEndFieldInfo = PageRange
attrGet = getPageRangeEnd
attrSet = setPageRangeEnd
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
pageRange_end :: AttrLabelProxy "end"
pageRange_end = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList PageRange
type instance O.AttributeList PageRange = PageRangeAttributeList
type PageRangeAttributeList = ('[ '("start", PageRangeStartFieldInfo), '("end", PageRangeEndFieldInfo)] :: [(Symbol, *)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolvePageRangeMethod (t :: Symbol) (o :: *) :: * where
ResolvePageRangeMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolvePageRangeMethod t PageRange, O.MethodInfo info PageRange p) => OL.IsLabel t (PageRange -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod @info
#else
fromLabel _ = O.overloadedMethod @info
#endif
#endif