GI.GtkSource.Objects.Mark

Exported types

newtype Mark

Constructors

Mark (ManagedPtr Mark)

Instances

GObject Mark

Methods

gobjectIsInitiallyUnowned :: Mark -> Bool

gobjectType :: Mark -> IO GType

IsObject Mark

IsTextMark Mark

IsMark Mark

((~) * info (ResolveMarkMethod t Mark), MethodInfo * info Mark p) => IsLabel t (Mark -> p)

Methods

fromLabel :: Proxy# Symbol t -> Mark -> p

((~) * info (ResolveMarkMethod t Mark), MethodInfo * info Mark p) => IsLabelProxy t (Mark -> p)

Methods

fromLabelProxy :: Proxy Symbol t -> Mark -> p

HasAttributeList * Mark

type SignalList Mark

type SignalList Mark

type AttributeList Mark

type AttributeList Mark

class GObject o => IsMark o

Instances

(GObject a, UnknownAncestorError Constraint Mark a) => IsMark a

IsMark Mark

toMark :: IsMark o => o -> IO Mark

noMark :: Maybe Mark

Methods

getCategory

data MarkGetCategoryMethodInfo

Instances

((~) * signature (m Text), MonadIO m, IsMark a) => MethodInfo * MarkGetCategoryMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MarkGetCategoryMethodInfo a -> signature -> s

markGetCategory :: (MonadIO m, IsMark a) => a -> m Text

new

markNew :: MonadIO m => Text -> Text -> m Mark

next

data MarkNextMethodInfo

Instances

((~) * signature (Maybe Text -> m (Maybe Mark)), MonadIO m, IsMark a) => MethodInfo * MarkNextMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MarkNextMethodInfo a -> signature -> s

markNext :: (MonadIO m, IsMark a) => a -> Maybe Text -> m (Maybe Mark)

prev

data MarkPrevMethodInfo

Instances

((~) * signature (Text -> m (Maybe Mark)), MonadIO m, IsMark a) => MethodInfo * MarkPrevMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MarkPrevMethodInfo a -> signature -> s

markPrev :: (MonadIO m, IsMark a) => a -> Text -> m (Maybe Mark)

Properties

category

data MarkCategoryPropertyInfo

Instances

AttrInfo MarkCategoryPropertyInfo

Associated Types

type AttrAllowedOps MarkCategoryPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint MarkCategoryPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint MarkCategoryPropertyInfo :: * -> Constraint

type AttrGetType MarkCategoryPropertyInfo :: *

type AttrLabel MarkCategoryPropertyInfo :: Symbol

type AttrOrigin MarkCategoryPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint MarkCategoryPropertyInfo o => Proxy * MarkCategoryPropertyInfo -> o -> IO (AttrGetType MarkCategoryPropertyInfo)

attrSet :: (AttrBaseTypeConstraint MarkCategoryPropertyInfo o, AttrSetTypeConstraint MarkCategoryPropertyInfo b) => Proxy * MarkCategoryPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint MarkCategoryPropertyInfo o => Proxy * MarkCategoryPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint MarkCategoryPropertyInfo o, AttrSetTypeConstraint MarkCategoryPropertyInfo b) => Proxy * MarkCategoryPropertyInfo -> b -> IO (GValueConstruct o)

type AttrSetTypeConstraint MarkCategoryPropertyInfo

type AttrSetTypeConstraint MarkCategoryPropertyInfo = * ~ Text

type AttrOrigin MarkCategoryPropertyInfo

type AttrOrigin MarkCategoryPropertyInfo = Mark

type AttrLabel MarkCategoryPropertyInfo

type AttrLabel MarkCategoryPropertyInfo = "category"

type AttrGetType MarkCategoryPropertyInfo

type AttrGetType MarkCategoryPropertyInfo = Text

type AttrBaseTypeConstraint MarkCategoryPropertyInfo

type AttrBaseTypeConstraint MarkCategoryPropertyInfo = IsMark

type AttrAllowedOps MarkCategoryPropertyInfo

type AttrAllowedOps MarkCategoryPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))

constructMarkCategory :: IsMark o => Text -> IO (GValueConstruct o)

getMarkCategory :: (MonadIO m, IsMark o) => o -> m Text

markCategory :: AttrLabelProxy "category"