{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Pango.Structs.Item
(
Item(..) ,
newZeroItem ,
noItem ,
#if defined(ENABLE_OVERLOADING)
ResolveItemMethod ,
#endif
#if defined(ENABLE_OVERLOADING)
ItemCopyMethodInfo ,
#endif
itemCopy ,
#if defined(ENABLE_OVERLOADING)
ItemFreeMethodInfo ,
#endif
itemFree ,
itemNew ,
#if defined(ENABLE_OVERLOADING)
ItemSplitMethodInfo ,
#endif
itemSplit ,
getItemAnalysis ,
#if defined(ENABLE_OVERLOADING)
item_analysis ,
#endif
getItemLength ,
#if defined(ENABLE_OVERLOADING)
item_length ,
#endif
setItemLength ,
getItemNumChars ,
#if defined(ENABLE_OVERLOADING)
item_numChars ,
#endif
setItemNumChars ,
getItemOffset ,
#if defined(ENABLE_OVERLOADING)
item_offset ,
#endif
setItemOffset ,
) 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
import {-# SOURCE #-} qualified GI.Pango.Structs.Analysis as Pango.Analysis
newtype Item = Item (ManagedPtr Item)
deriving (Item -> Item -> Bool
(Item -> Item -> Bool) -> (Item -> Item -> Bool) -> Eq Item
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Item -> Item -> Bool
$c/= :: Item -> Item -> Bool
== :: Item -> Item -> Bool
$c== :: Item -> Item -> Bool
Eq)
foreign import ccall "pango_item_get_type" c_pango_item_get_type ::
IO GType
instance BoxedObject Item where
boxedType :: Item -> IO GType
boxedType _ = IO GType
c_pango_item_get_type
instance B.GValue.IsGValue Item where
toGValue :: Item -> IO GValue
toGValue o :: Item
o = do
GType
gtype <- IO GType
c_pango_item_get_type
Item -> (Ptr Item -> IO GValue) -> IO GValue
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr Item
o (GType -> (GValue -> Ptr Item -> IO ()) -> Ptr Item -> IO GValue
forall a. GType -> (GValue -> a -> IO ()) -> a -> IO GValue
B.GValue.buildGValue GType
gtype GValue -> Ptr Item -> IO ()
forall a. GValue -> Ptr a -> IO ()
B.GValue.set_boxed)
fromGValue :: GValue -> IO Item
fromGValue gv :: GValue
gv = do
Ptr Item
ptr <- GValue -> IO (Ptr Item)
forall b. GValue -> IO (Ptr b)
B.GValue.get_boxed GValue
gv :: IO (Ptr Item)
(ManagedPtr Item -> Item) -> Ptr Item -> IO Item
forall a.
(HasCallStack, BoxedObject a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.newBoxed ManagedPtr Item -> Item
Item Ptr Item
ptr
newZeroItem :: MonadIO m => m Item
newZeroItem :: m Item
newZeroItem = IO Item -> m Item
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Item -> m Item) -> IO Item -> m Item
forall a b. (a -> b) -> a -> b
$ Int -> IO (Ptr Item)
forall a. BoxedObject a => Int -> IO (Ptr a)
callocBoxedBytes 64 IO (Ptr Item) -> (Ptr Item -> IO Item) -> IO Item
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr Item -> Item) -> Ptr Item -> IO Item
forall a.
(HasCallStack, BoxedObject a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapBoxed ManagedPtr Item -> Item
Item
instance tag ~ 'AttrSet => Constructible Item tag where
new :: (ManagedPtr Item -> Item) -> [AttrOp Item tag] -> m Item
new _ attrs :: [AttrOp Item tag]
attrs = do
Item
o <- m Item
forall (m :: * -> *). MonadIO m => m Item
newZeroItem
Item -> [AttrOp Item 'AttrSet] -> m ()
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set Item
o [AttrOp Item tag]
[AttrOp Item 'AttrSet]
attrs
Item -> m Item
forall (m :: * -> *) a. Monad m => a -> m a
return Item
o
noItem :: Maybe Item
noItem :: Maybe Item
noItem = Maybe Item
forall a. Maybe a
Nothing
getItemOffset :: MonadIO m => Item -> m Int32
getItemOffset :: Item -> m Int32
getItemOffset s :: Item
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
$ Item -> (Ptr Item -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Item
s ((Ptr Item -> IO Int32) -> IO Int32)
-> (Ptr Item -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr Item
ptr -> do
Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr Item
ptr Ptr Item -> 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
setItemOffset :: MonadIO m => Item -> Int32 -> m ()
setItemOffset :: Item -> Int32 -> m ()
setItemOffset s :: Item
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
$ Item -> (Ptr Item -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Item
s ((Ptr Item -> IO ()) -> IO ()) -> (Ptr Item -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr Item
ptr -> do
Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Item
ptr Ptr Item -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data ItemOffsetFieldInfo
instance AttrInfo ItemOffsetFieldInfo where
type AttrBaseTypeConstraint ItemOffsetFieldInfo = (~) Item
type AttrAllowedOps ItemOffsetFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint ItemOffsetFieldInfo = (~) Int32
type AttrTransferTypeConstraint ItemOffsetFieldInfo = (~)Int32
type AttrTransferType ItemOffsetFieldInfo = Int32
type AttrGetType ItemOffsetFieldInfo = Int32
type AttrLabel ItemOffsetFieldInfo = "offset"
type AttrOrigin ItemOffsetFieldInfo = Item
attrGet = getItemOffset
attrSet = setItemOffset
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
item_offset :: AttrLabelProxy "offset"
item_offset = AttrLabelProxy
#endif
getItemLength :: MonadIO m => Item -> m Int32
getItemLength :: Item -> m Int32
getItemLength s :: Item
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
$ Item -> (Ptr Item -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Item
s ((Ptr Item -> IO Int32) -> IO Int32)
-> (Ptr Item -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr Item
ptr -> do
Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr Item
ptr Ptr Item -> 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
setItemLength :: MonadIO m => Item -> Int32 -> m ()
setItemLength :: Item -> Int32 -> m ()
setItemLength s :: Item
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
$ Item -> (Ptr Item -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Item
s ((Ptr Item -> IO ()) -> IO ()) -> (Ptr Item -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr Item
ptr -> do
Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Item
ptr Ptr Item -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 4) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data ItemLengthFieldInfo
instance AttrInfo ItemLengthFieldInfo where
type AttrBaseTypeConstraint ItemLengthFieldInfo = (~) Item
type AttrAllowedOps ItemLengthFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint ItemLengthFieldInfo = (~) Int32
type AttrTransferTypeConstraint ItemLengthFieldInfo = (~)Int32
type AttrTransferType ItemLengthFieldInfo = Int32
type AttrGetType ItemLengthFieldInfo = Int32
type AttrLabel ItemLengthFieldInfo = "length"
type AttrOrigin ItemLengthFieldInfo = Item
attrGet = getItemLength
attrSet = setItemLength
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
item_length :: AttrLabelProxy "length"
item_length = AttrLabelProxy
#endif
getItemNumChars :: MonadIO m => Item -> m Int32
getItemNumChars :: Item -> m Int32
getItemNumChars s :: Item
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
$ Item -> (Ptr Item -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Item
s ((Ptr Item -> IO Int32) -> IO Int32)
-> (Ptr Item -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr Item
ptr -> do
Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr Item
ptr Ptr Item -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8) :: IO Int32
Int32 -> IO Int32
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setItemNumChars :: MonadIO m => Item -> Int32 -> m ()
setItemNumChars :: Item -> Int32 -> m ()
setItemNumChars s :: Item
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
$ Item -> (Ptr Item -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Item
s ((Ptr Item -> IO ()) -> IO ()) -> (Ptr Item -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr Item
ptr -> do
Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Item
ptr Ptr Item -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data ItemNumCharsFieldInfo
instance AttrInfo ItemNumCharsFieldInfo where
type AttrBaseTypeConstraint ItemNumCharsFieldInfo = (~) Item
type AttrAllowedOps ItemNumCharsFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint ItemNumCharsFieldInfo = (~) Int32
type AttrTransferTypeConstraint ItemNumCharsFieldInfo = (~)Int32
type AttrTransferType ItemNumCharsFieldInfo = Int32
type AttrGetType ItemNumCharsFieldInfo = Int32
type AttrLabel ItemNumCharsFieldInfo = "num_chars"
type AttrOrigin ItemNumCharsFieldInfo = Item
attrGet = getItemNumChars
attrSet = setItemNumChars
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
item_numChars :: AttrLabelProxy "numChars"
item_numChars = AttrLabelProxy
#endif
getItemAnalysis :: MonadIO m => Item -> m Pango.Analysis.Analysis
getItemAnalysis :: Item -> m Analysis
getItemAnalysis s :: Item
s = IO Analysis -> m Analysis
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Analysis -> m Analysis) -> IO Analysis -> m Analysis
forall a b. (a -> b) -> a -> b
$ Item -> (Ptr Item -> IO Analysis) -> IO Analysis
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr Item
s ((Ptr Item -> IO Analysis) -> IO Analysis)
-> (Ptr Item -> IO Analysis) -> IO Analysis
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr Item
ptr -> do
let val :: Ptr Analysis
val = Ptr Item
ptr Ptr Item -> Int -> Ptr Analysis
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: (Ptr Pango.Analysis.Analysis)
Analysis
val' <- ((ManagedPtr Analysis -> Analysis) -> Ptr Analysis -> IO Analysis
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
newPtr ManagedPtr Analysis -> Analysis
Pango.Analysis.Analysis) Ptr Analysis
val
Analysis -> IO Analysis
forall (m :: * -> *) a. Monad m => a -> m a
return Analysis
val'
#if defined(ENABLE_OVERLOADING)
data ItemAnalysisFieldInfo
instance AttrInfo ItemAnalysisFieldInfo where
type AttrBaseTypeConstraint ItemAnalysisFieldInfo = (~) Item
type AttrAllowedOps ItemAnalysisFieldInfo = '[ 'AttrGet]
type AttrSetTypeConstraint ItemAnalysisFieldInfo = (~) (Ptr Pango.Analysis.Analysis)
type AttrTransferTypeConstraint ItemAnalysisFieldInfo = (~)(Ptr Pango.Analysis.Analysis)
type AttrTransferType ItemAnalysisFieldInfo = (Ptr Pango.Analysis.Analysis)
type AttrGetType ItemAnalysisFieldInfo = Pango.Analysis.Analysis
type AttrLabel ItemAnalysisFieldInfo = "analysis"
type AttrOrigin ItemAnalysisFieldInfo = Item
attrGet = getItemAnalysis
attrSet = undefined
attrConstruct = undefined
attrClear = undefined
attrTransfer = undefined
item_analysis :: AttrLabelProxy "analysis"
item_analysis = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList Item
type instance O.AttributeList Item = ItemAttributeList
type ItemAttributeList = ('[ '("offset", ItemOffsetFieldInfo), '("length", ItemLengthFieldInfo), '("numChars", ItemNumCharsFieldInfo), '("analysis", ItemAnalysisFieldInfo)] :: [(Symbol, *)])
#endif
foreign import ccall "pango_item_new" pango_item_new ::
IO (Ptr Item)
itemNew ::
(B.CallStack.HasCallStack, MonadIO m) =>
m Item
itemNew :: m Item
itemNew = IO Item -> m Item
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Item -> m Item) -> IO Item -> m Item
forall a b. (a -> b) -> a -> b
$ do
Ptr Item
result <- IO (Ptr Item)
pango_item_new
Text -> Ptr Item -> IO ()
forall a. HasCallStack => Text -> Ptr a -> IO ()
checkUnexpectedReturnNULL "itemNew" Ptr Item
result
Item
result' <- ((ManagedPtr Item -> Item) -> Ptr Item -> IO Item
forall a.
(HasCallStack, BoxedObject a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapBoxed ManagedPtr Item -> Item
Item) Ptr Item
result
Item -> IO Item
forall (m :: * -> *) a. Monad m => a -> m a
return Item
result'
#if defined(ENABLE_OVERLOADING)
#endif
foreign import ccall "pango_item_copy" pango_item_copy ::
Ptr Item ->
IO (Ptr Item)
itemCopy ::
(B.CallStack.HasCallStack, MonadIO m) =>
Item
-> m (Maybe Item)
itemCopy :: Item -> m (Maybe Item)
itemCopy item :: Item
item = IO (Maybe Item) -> m (Maybe Item)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Item) -> m (Maybe Item))
-> IO (Maybe Item) -> m (Maybe Item)
forall a b. (a -> b) -> a -> b
$ do
Ptr Item
item' <- Item -> IO (Ptr Item)
forall a. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr a)
unsafeManagedPtrGetPtr Item
item
Ptr Item
result <- Ptr Item -> IO (Ptr Item)
pango_item_copy Ptr Item
item'
Maybe Item
maybeResult <- Ptr Item -> (Ptr Item -> IO Item) -> IO (Maybe Item)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
convertIfNonNull Ptr Item
result ((Ptr Item -> IO Item) -> IO (Maybe Item))
-> (Ptr Item -> IO Item) -> IO (Maybe Item)
forall a b. (a -> b) -> a -> b
$ \result' :: Ptr Item
result' -> do
Item
result'' <- ((ManagedPtr Item -> Item) -> Ptr Item -> IO Item
forall a.
(HasCallStack, BoxedObject a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapBoxed ManagedPtr Item -> Item
Item) Ptr Item
result'
Item -> IO Item
forall (m :: * -> *) a. Monad m => a -> m a
return Item
result''
Item -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr Item
item
Maybe Item -> IO (Maybe Item)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Item
maybeResult
#if defined(ENABLE_OVERLOADING)
data ItemCopyMethodInfo
instance (signature ~ (m (Maybe Item)), MonadIO m) => O.MethodInfo ItemCopyMethodInfo Item signature where
overloadedMethod = itemCopy
#endif
foreign import ccall "pango_item_free" pango_item_free ::
Ptr Item ->
IO ()
itemFree ::
(B.CallStack.HasCallStack, MonadIO m) =>
Item
-> m ()
itemFree :: Item -> m ()
itemFree item :: Item
item = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Ptr Item
item' <- Item -> IO (Ptr Item)
forall a. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr a)
unsafeManagedPtrGetPtr Item
item
Ptr Item -> IO ()
pango_item_free Ptr Item
item'
Item -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr Item
item
() -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data ItemFreeMethodInfo
instance (signature ~ (m ()), MonadIO m) => O.MethodInfo ItemFreeMethodInfo Item signature where
overloadedMethod = itemFree
#endif
foreign import ccall "pango_item_split" pango_item_split ::
Ptr Item ->
Int32 ->
Int32 ->
IO (Ptr Item)
itemSplit ::
(B.CallStack.HasCallStack, MonadIO m) =>
Item
-> Int32
-> Int32
-> m Item
itemSplit :: Item -> Int32 -> Int32 -> m Item
itemSplit orig :: Item
orig splitIndex :: Int32
splitIndex splitOffset :: Int32
splitOffset = IO Item -> m Item
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Item -> m Item) -> IO Item -> m Item
forall a b. (a -> b) -> a -> b
$ do
Ptr Item
orig' <- Item -> IO (Ptr Item)
forall a. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr a)
unsafeManagedPtrGetPtr Item
orig
Ptr Item
result <- Ptr Item -> Int32 -> Int32 -> IO (Ptr Item)
pango_item_split Ptr Item
orig' Int32
splitIndex Int32
splitOffset
Text -> Ptr Item -> IO ()
forall a. HasCallStack => Text -> Ptr a -> IO ()
checkUnexpectedReturnNULL "itemSplit" Ptr Item
result
Item
result' <- ((ManagedPtr Item -> Item) -> Ptr Item -> IO Item
forall a.
(HasCallStack, BoxedObject a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapBoxed ManagedPtr Item -> Item
Item) Ptr Item
result
Item -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr Item
orig
Item -> IO Item
forall (m :: * -> *) a. Monad m => a -> m a
return Item
result'
#if defined(ENABLE_OVERLOADING)
data ItemSplitMethodInfo
instance (signature ~ (Int32 -> Int32 -> m Item), MonadIO m) => O.MethodInfo ItemSplitMethodInfo Item signature where
overloadedMethod = itemSplit
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveItemMethod (t :: Symbol) (o :: *) :: * where
ResolveItemMethod "copy" o = ItemCopyMethodInfo
ResolveItemMethod "free" o = ItemFreeMethodInfo
ResolveItemMethod "split" o = ItemSplitMethodInfo
ResolveItemMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveItemMethod t Item, O.MethodInfo info Item p) => OL.IsLabel t (Item -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod @info
#else
fromLabel _ = O.overloadedMethod @info
#endif
#endif