{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Soup.Structs.Range
(
Range(..) ,
newZeroRange ,
#if defined(ENABLE_OVERLOADING)
ResolveRangeMethod ,
#endif
getRangeEnd ,
#if defined(ENABLE_OVERLOADING)
range_end ,
#endif
setRangeEnd ,
getRangeStart ,
#if defined(ENABLE_OVERLOADING)
range_start ,
#endif
setRangeStart ,
) 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
newtype Range = Range (SP.ManagedPtr Range)
deriving (Range -> Range -> Bool
(Range -> Range -> Bool) -> (Range -> Range -> Bool) -> Eq Range
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Range -> Range -> Bool
== :: Range -> Range -> Bool
$c/= :: Range -> Range -> Bool
/= :: Range -> Range -> Bool
Eq)
instance SP.ManagedPtrNewtype Range where
toManagedPtr :: Range -> ManagedPtr Range
toManagedPtr (Range ManagedPtr Range
p) = ManagedPtr Range
p
instance BoxedPtr Range where
boxedPtrCopy :: Range -> IO Range
boxedPtrCopy = \Range
p -> Range -> (Ptr Range -> IO Range) -> IO Range
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr Range
p (Int -> Ptr Range -> IO (Ptr Range)
forall a. (HasCallStack, CallocPtr a) => Int -> Ptr a -> IO (Ptr a)
copyBytes Int
16 (Ptr Range -> IO (Ptr Range))
-> (Ptr Range -> IO Range) -> Ptr Range -> IO Range
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ManagedPtr Range -> Range) -> Ptr Range -> IO Range
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.wrapPtr ManagedPtr Range -> Range
Range)
boxedPtrFree :: Range -> IO ()
boxedPtrFree = \Range
x -> Range -> (Ptr Range -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
SP.withManagedPtr Range
x Ptr Range -> IO ()
forall a. Ptr a -> IO ()
SP.freeMem
instance CallocPtr Range where
boxedPtrCalloc :: IO (Ptr Range)
boxedPtrCalloc = Int -> IO (Ptr Range)
forall a. Int -> IO (Ptr a)
callocBytes Int
16
newZeroRange :: MonadIO m => m Range
newZeroRange :: forall (m :: * -> *). MonadIO m => m Range
newZeroRange = IO Range -> m Range
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Range -> m Range) -> IO Range -> m Range
forall a b. (a -> b) -> a -> b
$ IO (Ptr Range)
forall a. CallocPtr a => IO (Ptr a)
boxedPtrCalloc IO (Ptr Range) -> (Ptr Range -> IO Range) -> IO Range
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr Range -> Range) -> Ptr Range -> IO Range
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr Range -> Range
Range
instance tag ~ 'AttrSet => Constructible Range tag where
new :: forall (m :: * -> *).
MonadIO m =>
(ManagedPtr Range -> Range) -> [AttrOp Range tag] -> m Range
new ManagedPtr Range -> Range
_ [AttrOp Range tag]
attrs = do
Range
o <- m Range
forall (m :: * -> *). MonadIO m => m Range
newZeroRange
Range -> [AttrOp Range 'AttrSet] -> m ()
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set Range
o [AttrOp Range tag]
[AttrOp Range 'AttrSet]
attrs
Range -> m Range
forall a. a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return Range
o
getRangeStart :: MonadIO m => Range -> m Int64
getRangeStart :: forall (m :: * -> *). MonadIO m => Range -> m Int64
getRangeStart Range
s = IO Int64 -> m Int64
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int64 -> m Int64) -> IO Int64 -> m Int64
forall a b. (a -> b) -> a -> b
$ Range -> (Ptr Range -> IO Int64) -> IO Int64
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Range
s ((Ptr Range -> IO Int64) -> IO Int64)
-> (Ptr Range -> IO Int64) -> IO Int64
forall a b. (a -> b) -> a -> b
$ \Ptr Range
ptr -> do
Int64
val <- Ptr Int64 -> IO Int64
forall a. Storable a => Ptr a -> IO a
peek (Ptr Range
ptr Ptr Range -> Int -> Ptr Int64
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO Int64
Int64 -> IO Int64
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Int64
val
setRangeStart :: MonadIO m => Range -> Int64 -> m ()
setRangeStart :: forall (m :: * -> *). MonadIO m => Range -> Int64 -> m ()
setRangeStart Range
s Int64
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ Range -> (Ptr Range -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Range
s ((Ptr Range -> IO ()) -> IO ()) -> (Ptr Range -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr Range
ptr -> do
Ptr Int64 -> Int64 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Range
ptr Ptr Range -> Int -> Ptr Int64
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (Int64
val :: Int64)
#if defined(ENABLE_OVERLOADING)
data RangeStartFieldInfo
instance AttrInfo RangeStartFieldInfo where
type AttrBaseTypeConstraint RangeStartFieldInfo = (~) Range
type AttrAllowedOps RangeStartFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint RangeStartFieldInfo = (~) Int64
type AttrTransferTypeConstraint RangeStartFieldInfo = (~)Int64
type AttrTransferType RangeStartFieldInfo = Int64
type AttrGetType RangeStartFieldInfo = Int64
type AttrLabel RangeStartFieldInfo = "start"
type AttrOrigin RangeStartFieldInfo = Range
attrGet = getRangeStart
attrSet = setRangeStart
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Soup.Structs.Range.start"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-soup-2.4.26/docs/GI-Soup-Structs-Range.html#g:attr:start"
})
range_start :: AttrLabelProxy "start"
range_start = AttrLabelProxy
#endif
getRangeEnd :: MonadIO m => Range -> m Int64
getRangeEnd :: forall (m :: * -> *). MonadIO m => Range -> m Int64
getRangeEnd Range
s = IO Int64 -> m Int64
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int64 -> m Int64) -> IO Int64 -> m Int64
forall a b. (a -> b) -> a -> b
$ Range -> (Ptr Range -> IO Int64) -> IO Int64
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Range
s ((Ptr Range -> IO Int64) -> IO Int64)
-> (Ptr Range -> IO Int64) -> IO Int64
forall a b. (a -> b) -> a -> b
$ \Ptr Range
ptr -> do
Int64
val <- Ptr Int64 -> IO Int64
forall a. Storable a => Ptr a -> IO a
peek (Ptr Range
ptr Ptr Range -> Int -> Ptr Int64
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) :: IO Int64
Int64 -> IO Int64
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Int64
val
setRangeEnd :: MonadIO m => Range -> Int64 -> m ()
setRangeEnd :: forall (m :: * -> *). MonadIO m => Range -> Int64 -> m ()
setRangeEnd Range
s Int64
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ Range -> (Ptr Range -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Range
s ((Ptr Range -> IO ()) -> IO ()) -> (Ptr Range -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr Range
ptr -> do
Ptr Int64 -> Int64 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Range
ptr Ptr Range -> Int -> Ptr Int64
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (Int64
val :: Int64)
#if defined(ENABLE_OVERLOADING)
data RangeEndFieldInfo
instance AttrInfo RangeEndFieldInfo where
type AttrBaseTypeConstraint RangeEndFieldInfo = (~) Range
type AttrAllowedOps RangeEndFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint RangeEndFieldInfo = (~) Int64
type AttrTransferTypeConstraint RangeEndFieldInfo = (~)Int64
type AttrTransferType RangeEndFieldInfo = Int64
type AttrGetType RangeEndFieldInfo = Int64
type AttrLabel RangeEndFieldInfo = "end"
type AttrOrigin RangeEndFieldInfo = Range
attrGet = getRangeEnd
attrSet = setRangeEnd
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Soup.Structs.Range.end"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-soup-2.4.26/docs/GI-Soup-Structs-Range.html#g:attr:end"
})
range_end :: AttrLabelProxy "end"
range_end = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList Range
type instance O.AttributeList Range = RangeAttributeList
type RangeAttributeList = ('[ '("start", RangeStartFieldInfo), '("end", RangeEndFieldInfo)] :: [(Symbol, *)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveRangeMethod (t :: Symbol) (o :: *) :: * where
ResolveRangeMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveRangeMethod t Range, O.OverloadedMethod info Range p) => OL.IsLabel t (Range -> 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 ~ ResolveRangeMethod t Range, O.OverloadedMethod info Range p, R.HasField t Range p) => R.HasField t Range p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveRangeMethod t Range, O.OverloadedMethodInfo info Range) => OL.IsLabel t (O.MethodProxy info Range) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif