{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.GtkSource.Objects.Mark
(
Mark(..) ,
IsMark ,
toMark ,
noMark ,
#if defined(ENABLE_OVERLOADING)
ResolveMarkMethod ,
#endif
#if defined(ENABLE_OVERLOADING)
MarkGetCategoryMethodInfo ,
#endif
markGetCategory ,
markNew ,
#if defined(ENABLE_OVERLOADING)
MarkNextMethodInfo ,
#endif
markNext ,
#if defined(ENABLE_OVERLOADING)
MarkPrevMethodInfo ,
#endif
markPrev ,
#if defined(ENABLE_OVERLOADING)
MarkCategoryPropertyInfo ,
#endif
constructMarkCategory ,
getMarkCategory ,
#if defined(ENABLE_OVERLOADING)
markCategory ,
#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
import qualified GI.GObject.Objects.Object as GObject.Object
import qualified GI.Gtk.Objects.TextMark as Gtk.TextMark
newtype Mark = Mark (ManagedPtr Mark)
deriving (Mark -> Mark -> Bool
(Mark -> Mark -> Bool) -> (Mark -> Mark -> Bool) -> Eq Mark
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Mark -> Mark -> Bool
$c/= :: Mark -> Mark -> Bool
== :: Mark -> Mark -> Bool
$c== :: Mark -> Mark -> Bool
Eq)
foreign import ccall "gtk_source_mark_get_type"
c_gtk_source_mark_get_type :: IO GType
instance GObject Mark where
gobjectType :: IO GType
gobjectType = IO GType
c_gtk_source_mark_get_type
instance B.GValue.IsGValue Mark where
toGValue :: Mark -> IO GValue
toGValue o :: Mark
o = do
GType
gtype <- IO GType
c_gtk_source_mark_get_type
Mark -> (Ptr Mark -> IO GValue) -> IO GValue
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr Mark
o (GType -> (GValue -> Ptr Mark -> IO ()) -> Ptr Mark -> IO GValue
forall a. GType -> (GValue -> a -> IO ()) -> a -> IO GValue
B.GValue.buildGValue GType
gtype GValue -> Ptr Mark -> IO ()
forall a. GObject a => GValue -> Ptr a -> IO ()
B.GValue.set_object)
fromGValue :: GValue -> IO Mark
fromGValue gv :: GValue
gv = do
Ptr Mark
ptr <- GValue -> IO (Ptr Mark)
forall b. GObject b => GValue -> IO (Ptr b)
B.GValue.get_object GValue
gv :: IO (Ptr Mark)
(ManagedPtr Mark -> Mark) -> Ptr Mark -> IO Mark
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
B.ManagedPtr.newObject ManagedPtr Mark -> Mark
Mark Ptr Mark
ptr
class (GObject o, O.IsDescendantOf Mark o) => IsMark o
instance (GObject o, O.IsDescendantOf Mark o) => IsMark o
instance O.HasParentTypes Mark
type instance O.ParentTypes Mark = '[Gtk.TextMark.TextMark, GObject.Object.Object]
toMark :: (MonadIO m, IsMark o) => o -> m Mark
toMark :: o -> m Mark
toMark = IO Mark -> m Mark
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Mark -> m Mark) -> (o -> IO Mark) -> o -> m Mark
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ManagedPtr Mark -> Mark) -> o -> IO Mark
forall o o'.
(HasCallStack, GObject o, GObject o') =>
(ManagedPtr o' -> o') -> o -> IO o'
unsafeCastTo ManagedPtr Mark -> Mark
Mark
noMark :: Maybe Mark
noMark :: Maybe Mark
noMark = Maybe Mark
forall a. Maybe a
Nothing
#if defined(ENABLE_OVERLOADING)
type family ResolveMarkMethod (t :: Symbol) (o :: *) :: * where
ResolveMarkMethod "bindProperty" o = GObject.Object.ObjectBindPropertyMethodInfo
ResolveMarkMethod "bindPropertyFull" o = GObject.Object.ObjectBindPropertyFullMethodInfo
ResolveMarkMethod "forceFloating" o = GObject.Object.ObjectForceFloatingMethodInfo
ResolveMarkMethod "freezeNotify" o = GObject.Object.ObjectFreezeNotifyMethodInfo
ResolveMarkMethod "getv" o = GObject.Object.ObjectGetvMethodInfo
ResolveMarkMethod "isFloating" o = GObject.Object.ObjectIsFloatingMethodInfo
ResolveMarkMethod "next" o = MarkNextMethodInfo
ResolveMarkMethod "notify" o = GObject.Object.ObjectNotifyMethodInfo
ResolveMarkMethod "notifyByPspec" o = GObject.Object.ObjectNotifyByPspecMethodInfo
ResolveMarkMethod "prev" o = MarkPrevMethodInfo
ResolveMarkMethod "ref" o = GObject.Object.ObjectRefMethodInfo
ResolveMarkMethod "refSink" o = GObject.Object.ObjectRefSinkMethodInfo
ResolveMarkMethod "runDispose" o = GObject.Object.ObjectRunDisposeMethodInfo
ResolveMarkMethod "stealData" o = GObject.Object.ObjectStealDataMethodInfo
ResolveMarkMethod "stealQdata" o = GObject.Object.ObjectStealQdataMethodInfo
ResolveMarkMethod "thawNotify" o = GObject.Object.ObjectThawNotifyMethodInfo
ResolveMarkMethod "unref" o = GObject.Object.ObjectUnrefMethodInfo
ResolveMarkMethod "watchClosure" o = GObject.Object.ObjectWatchClosureMethodInfo
ResolveMarkMethod "getBuffer" o = Gtk.TextMark.TextMarkGetBufferMethodInfo
ResolveMarkMethod "getCategory" o = MarkGetCategoryMethodInfo
ResolveMarkMethod "getData" o = GObject.Object.ObjectGetDataMethodInfo
ResolveMarkMethod "getDeleted" o = Gtk.TextMark.TextMarkGetDeletedMethodInfo
ResolveMarkMethod "getLeftGravity" o = Gtk.TextMark.TextMarkGetLeftGravityMethodInfo
ResolveMarkMethod "getName" o = Gtk.TextMark.TextMarkGetNameMethodInfo
ResolveMarkMethod "getProperty" o = GObject.Object.ObjectGetPropertyMethodInfo
ResolveMarkMethod "getQdata" o = GObject.Object.ObjectGetQdataMethodInfo
ResolveMarkMethod "getVisible" o = Gtk.TextMark.TextMarkGetVisibleMethodInfo
ResolveMarkMethod "setData" o = GObject.Object.ObjectSetDataMethodInfo
ResolveMarkMethod "setDataFull" o = GObject.Object.ObjectSetDataFullMethodInfo
ResolveMarkMethod "setProperty" o = GObject.Object.ObjectSetPropertyMethodInfo
ResolveMarkMethod "setVisible" o = Gtk.TextMark.TextMarkSetVisibleMethodInfo
ResolveMarkMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveMarkMethod t Mark, O.MethodInfo info Mark p) => OL.IsLabel t (Mark -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod @info
#else
fromLabel _ = O.overloadedMethod @info
#endif
#endif
getMarkCategory :: (MonadIO m, IsMark o) => o -> m T.Text
getMarkCategory :: o -> m Text
getMarkCategory obj :: o
obj = IO Text -> m Text
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Text -> m Text) -> IO Text -> m Text
forall a b. (a -> b) -> a -> b
$ Text -> IO (Maybe Text) -> IO Text
forall a. HasCallStack => Text -> IO (Maybe a) -> IO a
checkUnexpectedNothing "getMarkCategory" (IO (Maybe Text) -> IO Text) -> IO (Maybe Text) -> IO Text
forall a b. (a -> b) -> a -> b
$ o -> String -> IO (Maybe Text)
forall a. GObject a => a -> String -> IO (Maybe Text)
B.Properties.getObjectPropertyString o
obj "category"
constructMarkCategory :: (IsMark o) => T.Text -> IO (GValueConstruct o)
constructMarkCategory :: Text -> IO (GValueConstruct o)
constructMarkCategory val :: Text
val = String -> Maybe Text -> IO (GValueConstruct o)
forall o. String -> Maybe Text -> IO (GValueConstruct o)
B.Properties.constructObjectPropertyString "category" (Text -> Maybe Text
forall a. a -> Maybe a
Just Text
val)
#if defined(ENABLE_OVERLOADING)
data MarkCategoryPropertyInfo
instance AttrInfo MarkCategoryPropertyInfo where
type AttrAllowedOps MarkCategoryPropertyInfo = '[ 'AttrConstruct, 'AttrGet, 'AttrClear]
type AttrBaseTypeConstraint MarkCategoryPropertyInfo = IsMark
type AttrSetTypeConstraint MarkCategoryPropertyInfo = (~) T.Text
type AttrTransferTypeConstraint MarkCategoryPropertyInfo = (~) T.Text
type AttrTransferType MarkCategoryPropertyInfo = T.Text
type AttrGetType MarkCategoryPropertyInfo = T.Text
type AttrLabel MarkCategoryPropertyInfo = "category"
type AttrOrigin MarkCategoryPropertyInfo = Mark
attrGet = getMarkCategory
attrSet = undefined
attrTransfer _ v = do
return v
attrConstruct = constructMarkCategory
attrClear = undefined
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList Mark
type instance O.AttributeList Mark = MarkAttributeList
type MarkAttributeList = ('[ '("category", MarkCategoryPropertyInfo), '("leftGravity", Gtk.TextMark.TextMarkLeftGravityPropertyInfo), '("name", Gtk.TextMark.TextMarkNamePropertyInfo)] :: [(Symbol, *)])
#endif
#if defined(ENABLE_OVERLOADING)
markCategory :: AttrLabelProxy "category"
markCategory = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
type instance O.SignalList Mark = MarkSignalList
type MarkSignalList = ('[ '("notify", GObject.Object.ObjectNotifySignalInfo)] :: [(Symbol, *)])
#endif
foreign import ccall "gtk_source_mark_new" gtk_source_mark_new ::
CString ->
CString ->
IO (Ptr Mark)
markNew ::
(B.CallStack.HasCallStack, MonadIO m) =>
T.Text
-> T.Text
-> m Mark
markNew :: Text -> Text -> m Mark
markNew name :: Text
name category :: Text
category = IO Mark -> m Mark
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Mark -> m Mark) -> IO Mark -> m Mark
forall a b. (a -> b) -> a -> b
$ do
CString
name' <- Text -> IO CString
textToCString Text
name
CString
category' <- Text -> IO CString
textToCString Text
category
Ptr Mark
result <- CString -> CString -> IO (Ptr Mark)
gtk_source_mark_new CString
name' CString
category'
Text -> Ptr Mark -> IO ()
forall a. HasCallStack => Text -> Ptr a -> IO ()
checkUnexpectedReturnNULL "markNew" Ptr Mark
result
Mark
result' <- ((ManagedPtr Mark -> Mark) -> Ptr Mark -> IO Mark
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
wrapObject ManagedPtr Mark -> Mark
Mark) Ptr Mark
result
CString -> IO ()
forall a. Ptr a -> IO ()
freeMem CString
name'
CString -> IO ()
forall a. Ptr a -> IO ()
freeMem CString
category'
Mark -> IO Mark
forall (m :: * -> *) a. Monad m => a -> m a
return Mark
result'
#if defined(ENABLE_OVERLOADING)
#endif
foreign import ccall "gtk_source_mark_get_category" gtk_source_mark_get_category ::
Ptr Mark ->
IO CString
markGetCategory ::
(B.CallStack.HasCallStack, MonadIO m, IsMark a) =>
a
-> m T.Text
markGetCategory :: a -> m Text
markGetCategory mark :: a
mark = IO Text -> m Text
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Text -> m Text) -> IO Text -> m Text
forall a b. (a -> b) -> a -> b
$ do
Ptr Mark
mark' <- a -> IO (Ptr Mark)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
mark
CString
result <- Ptr Mark -> IO CString
gtk_source_mark_get_category Ptr Mark
mark'
Text -> CString -> IO ()
forall a. HasCallStack => Text -> Ptr a -> IO ()
checkUnexpectedReturnNULL "markGetCategory" CString
result
Text
result' <- HasCallStack => CString -> IO Text
CString -> IO Text
cstringToText CString
result
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
mark
Text -> IO Text
forall (m :: * -> *) a. Monad m => a -> m a
return Text
result'
#if defined(ENABLE_OVERLOADING)
data MarkGetCategoryMethodInfo
instance (signature ~ (m T.Text), MonadIO m, IsMark a) => O.MethodInfo MarkGetCategoryMethodInfo a signature where
overloadedMethod = markGetCategory
#endif
foreign import ccall "gtk_source_mark_next" gtk_source_mark_next ::
Ptr Mark ->
CString ->
IO (Ptr Mark)
markNext ::
(B.CallStack.HasCallStack, MonadIO m, IsMark a) =>
a
-> Maybe (T.Text)
-> m (Maybe Mark)
markNext :: a -> Maybe Text -> m (Maybe Mark)
markNext mark :: a
mark category :: Maybe Text
category = IO (Maybe Mark) -> m (Maybe Mark)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Mark) -> m (Maybe Mark))
-> IO (Maybe Mark) -> m (Maybe Mark)
forall a b. (a -> b) -> a -> b
$ do
Ptr Mark
mark' <- a -> IO (Ptr Mark)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
mark
CString
maybeCategory <- case Maybe Text
category of
Nothing -> CString -> IO CString
forall (m :: * -> *) a. Monad m => a -> m a
return CString
forall a. Ptr a
nullPtr
Just jCategory :: Text
jCategory -> do
CString
jCategory' <- Text -> IO CString
textToCString Text
jCategory
CString -> IO CString
forall (m :: * -> *) a. Monad m => a -> m a
return CString
jCategory'
Ptr Mark
result <- Ptr Mark -> CString -> IO (Ptr Mark)
gtk_source_mark_next Ptr Mark
mark' CString
maybeCategory
Maybe Mark
maybeResult <- Ptr Mark -> (Ptr Mark -> IO Mark) -> IO (Maybe Mark)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
convertIfNonNull Ptr Mark
result ((Ptr Mark -> IO Mark) -> IO (Maybe Mark))
-> (Ptr Mark -> IO Mark) -> IO (Maybe Mark)
forall a b. (a -> b) -> a -> b
$ \result' :: Ptr Mark
result' -> do
Mark
result'' <- ((ManagedPtr Mark -> Mark) -> Ptr Mark -> IO Mark
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr Mark -> Mark
Mark) Ptr Mark
result'
Mark -> IO Mark
forall (m :: * -> *) a. Monad m => a -> m a
return Mark
result''
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
mark
CString -> IO ()
forall a. Ptr a -> IO ()
freeMem CString
maybeCategory
Maybe Mark -> IO (Maybe Mark)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Mark
maybeResult
#if defined(ENABLE_OVERLOADING)
data MarkNextMethodInfo
instance (signature ~ (Maybe (T.Text) -> m (Maybe Mark)), MonadIO m, IsMark a) => O.MethodInfo MarkNextMethodInfo a signature where
overloadedMethod = markNext
#endif
foreign import ccall "gtk_source_mark_prev" gtk_source_mark_prev ::
Ptr Mark ->
CString ->
IO (Ptr Mark)
markPrev ::
(B.CallStack.HasCallStack, MonadIO m, IsMark a) =>
a
-> T.Text
-> m (Maybe Mark)
markPrev :: a -> Text -> m (Maybe Mark)
markPrev mark :: a
mark category :: Text
category = IO (Maybe Mark) -> m (Maybe Mark)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Mark) -> m (Maybe Mark))
-> IO (Maybe Mark) -> m (Maybe Mark)
forall a b. (a -> b) -> a -> b
$ do
Ptr Mark
mark' <- a -> IO (Ptr Mark)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
mark
CString
category' <- Text -> IO CString
textToCString Text
category
Ptr Mark
result <- Ptr Mark -> CString -> IO (Ptr Mark)
gtk_source_mark_prev Ptr Mark
mark' CString
category'
Maybe Mark
maybeResult <- Ptr Mark -> (Ptr Mark -> IO Mark) -> IO (Maybe Mark)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
convertIfNonNull Ptr Mark
result ((Ptr Mark -> IO Mark) -> IO (Maybe Mark))
-> (Ptr Mark -> IO Mark) -> IO (Maybe Mark)
forall a b. (a -> b) -> a -> b
$ \result' :: Ptr Mark
result' -> do
Mark
result'' <- ((ManagedPtr Mark -> Mark) -> Ptr Mark -> IO Mark
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr Mark -> Mark
Mark) Ptr Mark
result'
Mark -> IO Mark
forall (m :: * -> *) a. Monad m => a -> m a
return Mark
result''
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
mark
CString -> IO ()
forall a. Ptr a -> IO ()
freeMem CString
category'
Maybe Mark -> IO (Maybe Mark)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Mark
maybeResult
#if defined(ENABLE_OVERLOADING)
data MarkPrevMethodInfo
instance (signature ~ (T.Text -> m (Maybe Mark)), MonadIO m, IsMark a) => O.MethodInfo MarkPrevMethodInfo a signature where
overloadedMethod = markPrev
#endif