#define ENABLE_OVERLOADING (MIN_VERSION_haskell_gi_overloading(1,0,0) \
&& !defined(__HADDOCK_VERSION__))
module GI.Soup.Structs.Range
(
Range(..) ,
newZeroRange ,
noRange ,
getRangeEnd ,
#if ENABLE_OVERLOADING
range_end ,
#endif
setRangeEnd ,
getRangeStart ,
#if 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.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.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 Range = Range (ManagedPtr Range)
instance WrappedPtr Range where
wrappedPtrCalloc = callocBytes 16
wrappedPtrCopy = \p -> withManagedPtr p (copyBytes 16 >=> wrapPtr Range)
wrappedPtrFree = Just ptr_to_g_free
newZeroRange :: MonadIO m => m Range
newZeroRange = liftIO $ wrappedPtrCalloc >>= wrapPtr Range
instance tag ~ 'AttrSet => Constructible Range tag where
new _ attrs = do
o <- newZeroRange
GI.Attributes.set o attrs
return o
noRange :: Maybe Range
noRange = Nothing
getRangeStart :: MonadIO m => Range -> m Int64
getRangeStart s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 0) :: IO Int64
return val
setRangeStart :: MonadIO m => Range -> Int64 -> m ()
setRangeStart s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 0) (val :: Int64)
#if ENABLE_OVERLOADING
data RangeStartFieldInfo
instance AttrInfo RangeStartFieldInfo where
type AttrAllowedOps RangeStartFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint RangeStartFieldInfo = (~) Int64
type AttrBaseTypeConstraint RangeStartFieldInfo = (~) Range
type AttrGetType RangeStartFieldInfo = Int64
type AttrLabel RangeStartFieldInfo = "start"
type AttrOrigin RangeStartFieldInfo = Range
attrGet _ = getRangeStart
attrSet _ = setRangeStart
attrConstruct = undefined
attrClear _ = undefined
range_start :: AttrLabelProxy "start"
range_start = AttrLabelProxy
#endif
getRangeEnd :: MonadIO m => Range -> m Int64
getRangeEnd s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 8) :: IO Int64
return val
setRangeEnd :: MonadIO m => Range -> Int64 -> m ()
setRangeEnd s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 8) (val :: Int64)
#if ENABLE_OVERLOADING
data RangeEndFieldInfo
instance AttrInfo RangeEndFieldInfo where
type AttrAllowedOps RangeEndFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint RangeEndFieldInfo = (~) Int64
type AttrBaseTypeConstraint RangeEndFieldInfo = (~) Range
type AttrGetType RangeEndFieldInfo = Int64
type AttrLabel RangeEndFieldInfo = "end"
type AttrOrigin RangeEndFieldInfo = Range
attrGet _ = getRangeEnd
attrSet _ = setRangeEnd
attrConstruct = undefined
attrClear _ = undefined
range_end :: AttrLabelProxy "end"
range_end = AttrLabelProxy
#endif
#if ENABLE_OVERLOADING
instance O.HasAttributeList Range
type instance O.AttributeList Range = RangeAttributeList
type RangeAttributeList = ('[ '("start", RangeStartFieldInfo), '("end", RangeEndFieldInfo)] :: [(Symbol, *)])
#endif
#if ENABLE_OVERLOADING
type family ResolveRangeMethod (t :: Symbol) (o :: *) :: * where
ResolveRangeMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveRangeMethod t Range, O.MethodInfo info Range p) => OL.IsLabel t (Range -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#else
fromLabel _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#endif
#endif