Copyright	Will Thompson, Iñaki García Etxebarria and Jonas Platte
License	LGPL-2.1
Maintainer	Iñaki García Etxebarria (garetxe@gmail.com)
Safe Haskell	None
Language	Haskell2010

GI.Gtk.Interfaces.RecentChooser

Contents

Exported types
Methods
Properties
Signals
- ItemActivated
- SelectionChanged

Description

Synopsis

Exported types

newtype RecentChooser Source

Constructors

RecentChooser (ForeignPtr RecentChooser)

Instances

GObject RecentChooser
((~) * info (ResolveRecentChooserMethod t RecentChooser), MethodInfo * info RecentChooser p) => IsLabelProxy t (RecentChooser -> p)
type ParentTypes RecentChooser
type AttributeList RecentChooser
type SignalList RecentChooser

noRecentChooser :: Maybe RecentChooser Source

class GObject o => RecentChooserK o Source

Instances

(GObject o, IsDescendantOf RecentChooser o) => RecentChooserK o

toRecentChooser :: RecentChooserK o => o -> IO RecentChooser Source

Methods

recentChooserAddFilter

data RecentChooserAddFilterMethodInfo Source

Instances

((~) * signature (b -> m ()), MonadIO m, RecentChooserK a, RecentFilterK b) => MethodInfo * RecentChooserAddFilterMethodInfo a signature

recentChooserAddFilter :: (MonadIO m, RecentChooserK a, RecentFilterK b) => a -> b -> m () Source

recentChooserGetCurrentItem

data RecentChooserGetCurrentItemMethodInfo Source

Instances

((~) * signature (m RecentInfo), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetCurrentItemMethodInfo a signature

recentChooserGetCurrentItem :: (MonadIO m, RecentChooserK a) => a -> m RecentInfo Source

recentChooserGetCurrentUri

data RecentChooserGetCurrentUriMethodInfo Source

Instances

((~) * signature (m Text), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetCurrentUriMethodInfo a signature

recentChooserGetCurrentUri :: (MonadIO m, RecentChooserK a) => a -> m Text Source

recentChooserGetFilter

data RecentChooserGetFilterMethodInfo Source

Instances

((~) * signature (m RecentFilter), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetFilterMethodInfo a signature

recentChooserGetFilter :: (MonadIO m, RecentChooserK a) => a -> m RecentFilter Source

recentChooserGetItems

data RecentChooserGetItemsMethodInfo Source

Instances

((~) * signature (m [RecentInfo]), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetItemsMethodInfo a signature

recentChooserGetItems :: (MonadIO m, RecentChooserK a) => a -> m [RecentInfo] Source

recentChooserGetLimit

data RecentChooserGetLimitMethodInfo Source

Instances

((~) * signature (m Int32), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetLimitMethodInfo a signature

recentChooserGetLimit :: (MonadIO m, RecentChooserK a) => a -> m Int32 Source

recentChooserGetLocalOnly

data RecentChooserGetLocalOnlyMethodInfo Source

Instances

((~) * signature (m Bool), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetLocalOnlyMethodInfo a signature

recentChooserGetLocalOnly :: (MonadIO m, RecentChooserK a) => a -> m Bool Source

recentChooserGetSelectMultiple

data RecentChooserGetSelectMultipleMethodInfo Source

Instances

((~) * signature (m Bool), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetSelectMultipleMethodInfo a signature

recentChooserGetSelectMultiple :: (MonadIO m, RecentChooserK a) => a -> m Bool Source

recentChooserGetShowIcons

data RecentChooserGetShowIconsMethodInfo Source

Instances

((~) * signature (m Bool), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetShowIconsMethodInfo a signature

recentChooserGetShowIcons :: (MonadIO m, RecentChooserK a) => a -> m Bool Source

recentChooserGetShowNotFound

data RecentChooserGetShowNotFoundMethodInfo Source

Instances

((~) * signature (m Bool), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetShowNotFoundMethodInfo a signature

recentChooserGetShowNotFound :: (MonadIO m, RecentChooserK a) => a -> m Bool Source

recentChooserGetShowPrivate

data RecentChooserGetShowPrivateMethodInfo Source

Instances

((~) * signature (m Bool), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetShowPrivateMethodInfo a signature

recentChooserGetShowPrivate :: (MonadIO m, RecentChooserK a) => a -> m Bool Source

recentChooserGetShowTips

data RecentChooserGetShowTipsMethodInfo Source

Instances

((~) * signature (m Bool), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetShowTipsMethodInfo a signature

recentChooserGetShowTips :: (MonadIO m, RecentChooserK a) => a -> m Bool Source

recentChooserGetSortType

data RecentChooserGetSortTypeMethodInfo Source

Instances

((~) * signature (m RecentSortType), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetSortTypeMethodInfo a signature

recentChooserGetSortType :: (MonadIO m, RecentChooserK a) => a -> m RecentSortType Source

recentChooserGetUris

data RecentChooserGetUrisMethodInfo Source

Instances

((~) * signature (m ([Text], Word64)), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserGetUrisMethodInfo a signature

recentChooserGetUris :: (MonadIO m, RecentChooserK a) => a -> m ([Text], Word64) Source

recentChooserListFilters

data RecentChooserListFiltersMethodInfo Source

Instances

((~) * signature (m [RecentFilter]), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserListFiltersMethodInfo a signature

recentChooserListFilters :: (MonadIO m, RecentChooserK a) => a -> m [RecentFilter] Source

recentChooserRemoveFilter

data RecentChooserRemoveFilterMethodInfo Source

Instances

((~) * signature (b -> m ()), MonadIO m, RecentChooserK a, RecentFilterK b) => MethodInfo * RecentChooserRemoveFilterMethodInfo a signature

recentChooserRemoveFilter :: (MonadIO m, RecentChooserK a, RecentFilterK b) => a -> b -> m () Source

recentChooserSelectAll

data RecentChooserSelectAllMethodInfo Source

Instances

((~) * signature (m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSelectAllMethodInfo a signature

recentChooserSelectAll :: (MonadIO m, RecentChooserK a) => a -> m () Source

recentChooserSelectUri

data RecentChooserSelectUriMethodInfo Source

Instances

((~) * signature (Text -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSelectUriMethodInfo a signature

recentChooserSelectUri :: (MonadIO m, RecentChooserK a) => a -> Text -> m () Source

recentChooserSetCurrentUri

data RecentChooserSetCurrentUriMethodInfo Source

Instances

((~) * signature (Text -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetCurrentUriMethodInfo a signature

recentChooserSetCurrentUri :: (MonadIO m, RecentChooserK a) => a -> Text -> m () Source

recentChooserSetFilter

data RecentChooserSetFilterMethodInfo Source

Instances

((~) * signature (Maybe b -> m ()), MonadIO m, RecentChooserK a, RecentFilterK b) => MethodInfo * RecentChooserSetFilterMethodInfo a signature

recentChooserSetFilter :: (MonadIO m, RecentChooserK a, RecentFilterK b) => a -> Maybe b -> m () Source

recentChooserSetLimit

data RecentChooserSetLimitMethodInfo Source

Instances

((~) * signature (Int32 -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetLimitMethodInfo a signature

recentChooserSetLimit :: (MonadIO m, RecentChooserK a) => a -> Int32 -> m () Source

recentChooserSetLocalOnly

data RecentChooserSetLocalOnlyMethodInfo Source

Instances

((~) * signature (Bool -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetLocalOnlyMethodInfo a signature

recentChooserSetLocalOnly :: (MonadIO m, RecentChooserK a) => a -> Bool -> m () Source

recentChooserSetSelectMultiple

data RecentChooserSetSelectMultipleMethodInfo Source

Instances

((~) * signature (Bool -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetSelectMultipleMethodInfo a signature

recentChooserSetSelectMultiple :: (MonadIO m, RecentChooserK a) => a -> Bool -> m () Source

recentChooserSetShowIcons

data RecentChooserSetShowIconsMethodInfo Source

Instances

((~) * signature (Bool -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetShowIconsMethodInfo a signature

recentChooserSetShowIcons :: (MonadIO m, RecentChooserK a) => a -> Bool -> m () Source

recentChooserSetShowNotFound

data RecentChooserSetShowNotFoundMethodInfo Source

Instances

((~) * signature (Bool -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetShowNotFoundMethodInfo a signature

recentChooserSetShowNotFound :: (MonadIO m, RecentChooserK a) => a -> Bool -> m () Source

recentChooserSetShowPrivate

data RecentChooserSetShowPrivateMethodInfo Source

Instances

((~) * signature (Bool -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetShowPrivateMethodInfo a signature

recentChooserSetShowPrivate :: (MonadIO m, RecentChooserK a) => a -> Bool -> m () Source

recentChooserSetShowTips

data RecentChooserSetShowTipsMethodInfo Source

Instances

((~) * signature (Bool -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetShowTipsMethodInfo a signature

recentChooserSetShowTips :: (MonadIO m, RecentChooserK a) => a -> Bool -> m () Source

recentChooserSetSortFunc

data RecentChooserSetSortFuncMethodInfo Source

Instances

((~) * signature (RecentSortFunc -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetSortFuncMethodInfo a signature

recentChooserSetSortFunc :: (MonadIO m, RecentChooserK a) => a -> RecentSortFunc -> m () Source

recentChooserSetSortType

data RecentChooserSetSortTypeMethodInfo Source

Instances

((~) * signature (RecentSortType -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserSetSortTypeMethodInfo a signature

recentChooserSetSortType :: (MonadIO m, RecentChooserK a) => a -> RecentSortType -> m () Source

recentChooserUnselectAll

data RecentChooserUnselectAllMethodInfo Source

Instances

((~) * signature (m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserUnselectAllMethodInfo a signature

recentChooserUnselectAll :: (MonadIO m, RecentChooserK a) => a -> m () Source

recentChooserUnselectUri

data RecentChooserUnselectUriMethodInfo Source

Instances

((~) * signature (Text -> m ()), MonadIO m, RecentChooserK a) => MethodInfo * RecentChooserUnselectUriMethodInfo a signature

recentChooserUnselectUri :: (MonadIO m, RecentChooserK a) => a -> Text -> m () Source

Properties

Filter

data RecentChooserFilterPropertyInfo Source

Instances

clearRecentChooserFilter :: (MonadIO m, RecentChooserK o) => o -> m () Source

constructRecentChooserFilter :: RecentFilterK a => a -> IO ([Char], GValue) Source

getRecentChooserFilter :: (MonadIO m, RecentChooserK o) => o -> m RecentFilter Source

recentChooserFilter :: AttrLabelProxy "filter" Source

setRecentChooserFilter :: (MonadIO m, RecentChooserK o, RecentFilterK a) => o -> a -> m () Source

Limit

data RecentChooserLimitPropertyInfo Source

Instances

AttrInfo RecentChooserLimitPropertyInfo
type AttrLabel RecentChooserLimitPropertyInfo = "limit"
type AttrGetType RecentChooserLimitPropertyInfo = Int32
type AttrBaseTypeConstraint RecentChooserLimitPropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserLimitPropertyInfo = * ~ Int32
type AttrAllowedOps RecentChooserLimitPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructRecentChooserLimit :: Int32 -> IO ([Char], GValue) Source

getRecentChooserLimit :: (MonadIO m, RecentChooserK o) => o -> m Int32 Source

recentChooserLimit :: AttrLabelProxy "limit" Source

setRecentChooserLimit :: (MonadIO m, RecentChooserK o) => o -> Int32 -> m () Source

LocalOnly

data RecentChooserLocalOnlyPropertyInfo Source

Instances

AttrInfo RecentChooserLocalOnlyPropertyInfo
type AttrLabel RecentChooserLocalOnlyPropertyInfo = "local-only"
type AttrGetType RecentChooserLocalOnlyPropertyInfo = Bool
type AttrBaseTypeConstraint RecentChooserLocalOnlyPropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserLocalOnlyPropertyInfo = * ~ Bool
type AttrAllowedOps RecentChooserLocalOnlyPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructRecentChooserLocalOnly :: Bool -> IO ([Char], GValue) Source

getRecentChooserLocalOnly :: (MonadIO m, RecentChooserK o) => o -> m Bool Source

recentChooserLocalOnly :: AttrLabelProxy "localOnly" Source

setRecentChooserLocalOnly :: (MonadIO m, RecentChooserK o) => o -> Bool -> m () Source

RecentManager

constructRecentChooserRecentManager :: RecentManagerK a => a -> IO ([Char], GValue) Source

recentChooserRecentManager :: AttrLabelProxy "recentManager" Source

SelectMultiple

data RecentChooserSelectMultiplePropertyInfo Source

Instances

constructRecentChooserSelectMultiple :: Bool -> IO ([Char], GValue) Source

getRecentChooserSelectMultiple :: (MonadIO m, RecentChooserK o) => o -> m Bool Source

recentChooserSelectMultiple :: AttrLabelProxy "selectMultiple" Source

setRecentChooserSelectMultiple :: (MonadIO m, RecentChooserK o) => o -> Bool -> m () Source

ShowIcons

data RecentChooserShowIconsPropertyInfo Source

Instances

AttrInfo RecentChooserShowIconsPropertyInfo
type AttrLabel RecentChooserShowIconsPropertyInfo = "show-icons"
type AttrGetType RecentChooserShowIconsPropertyInfo = Bool
type AttrBaseTypeConstraint RecentChooserShowIconsPropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserShowIconsPropertyInfo = * ~ Bool
type AttrAllowedOps RecentChooserShowIconsPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructRecentChooserShowIcons :: Bool -> IO ([Char], GValue) Source

getRecentChooserShowIcons :: (MonadIO m, RecentChooserK o) => o -> m Bool Source

recentChooserShowIcons :: AttrLabelProxy "showIcons" Source

setRecentChooserShowIcons :: (MonadIO m, RecentChooserK o) => o -> Bool -> m () Source

ShowNotFound

data RecentChooserShowNotFoundPropertyInfo Source

Instances

AttrInfo RecentChooserShowNotFoundPropertyInfo
type AttrLabel RecentChooserShowNotFoundPropertyInfo = "show-not-found"
type AttrGetType RecentChooserShowNotFoundPropertyInfo = Bool
type AttrBaseTypeConstraint RecentChooserShowNotFoundPropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserShowNotFoundPropertyInfo = * ~ Bool
type AttrAllowedOps RecentChooserShowNotFoundPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructRecentChooserShowNotFound :: Bool -> IO ([Char], GValue) Source

getRecentChooserShowNotFound :: (MonadIO m, RecentChooserK o) => o -> m Bool Source

recentChooserShowNotFound :: AttrLabelProxy "showNotFound" Source

setRecentChooserShowNotFound :: (MonadIO m, RecentChooserK o) => o -> Bool -> m () Source

ShowPrivate

data RecentChooserShowPrivatePropertyInfo Source

Instances

constructRecentChooserShowPrivate :: Bool -> IO ([Char], GValue) Source

getRecentChooserShowPrivate :: (MonadIO m, RecentChooserK o) => o -> m Bool Source

recentChooserShowPrivate :: AttrLabelProxy "showPrivate" Source

setRecentChooserShowPrivate :: (MonadIO m, RecentChooserK o) => o -> Bool -> m () Source

ShowTips

data RecentChooserShowTipsPropertyInfo Source

Instances

AttrInfo RecentChooserShowTipsPropertyInfo
type AttrLabel RecentChooserShowTipsPropertyInfo = "show-tips"
type AttrGetType RecentChooserShowTipsPropertyInfo = Bool
type AttrBaseTypeConstraint RecentChooserShowTipsPropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserShowTipsPropertyInfo = * ~ Bool
type AttrAllowedOps RecentChooserShowTipsPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructRecentChooserShowTips :: Bool -> IO ([Char], GValue) Source

getRecentChooserShowTips :: (MonadIO m, RecentChooserK o) => o -> m Bool Source

recentChooserShowTips :: AttrLabelProxy "showTips" Source

setRecentChooserShowTips :: (MonadIO m, RecentChooserK o) => o -> Bool -> m () Source

SortType

data RecentChooserSortTypePropertyInfo Source

Instances

constructRecentChooserSortType :: RecentSortType -> IO ([Char], GValue) Source

getRecentChooserSortType :: (MonadIO m, RecentChooserK o) => o -> m RecentSortType Source

recentChooserSortType :: AttrLabelProxy "sortType" Source

setRecentChooserSortType :: (MonadIO m, RecentChooserK o) => o -> RecentSortType -> m () Source

Signals

ItemActivated

type RecentChooserItemActivatedCallback = IO () Source

type RecentChooserItemActivatedCallbackC = Ptr () -> Ptr () -> IO () Source

data RecentChooserItemActivatedSignalInfo Source

Instances

SignalInfo RecentChooserItemActivatedSignalInfo
type HaskellCallbackType RecentChooserItemActivatedSignalInfo = RecentChooserItemActivatedCallback

afterRecentChooserItemActivated :: (GObject a, MonadIO m) => a -> RecentChooserItemActivatedCallback -> m SignalHandlerId Source

mkRecentChooserItemActivatedCallback :: RecentChooserItemActivatedCallbackC -> IO (FunPtr RecentChooserItemActivatedCallbackC) Source

noRecentChooserItemActivatedCallback :: Maybe RecentChooserItemActivatedCallback Source

onRecentChooserItemActivated :: (GObject a, MonadIO m) => a -> RecentChooserItemActivatedCallback -> m SignalHandlerId Source

recentChooserItemActivatedCallbackWrapper :: RecentChooserItemActivatedCallback -> Ptr () -> Ptr () -> IO () Source

recentChooserItemActivatedClosure :: RecentChooserItemActivatedCallback -> IO Closure Source

SelectionChanged

type RecentChooserSelectionChangedCallback = IO () Source

type RecentChooserSelectionChangedCallbackC = Ptr () -> Ptr () -> IO () Source

data RecentChooserSelectionChangedSignalInfo Source

Instances

SignalInfo RecentChooserSelectionChangedSignalInfo
type HaskellCallbackType RecentChooserSelectionChangedSignalInfo = RecentChooserSelectionChangedCallback

afterRecentChooserSelectionChanged :: (GObject a, MonadIO m) => a -> RecentChooserSelectionChangedCallback -> m SignalHandlerId Source

mkRecentChooserSelectionChangedCallback :: RecentChooserSelectionChangedCallbackC -> IO (FunPtr RecentChooserSelectionChangedCallbackC) Source

noRecentChooserSelectionChangedCallback :: Maybe RecentChooserSelectionChangedCallback Source

onRecentChooserSelectionChanged :: (GObject a, MonadIO m) => a -> RecentChooserSelectionChangedCallback -> m SignalHandlerId Source

recentChooserSelectionChangedCallbackWrapper :: RecentChooserSelectionChangedCallback -> Ptr () -> Ptr () -> IO () Source

recentChooserSelectionChangedClosure :: RecentChooserSelectionChangedCallback -> IO Closure Source

AttrInfo RecentChooserFilterPropertyInfo
type AttrLabel RecentChooserFilterPropertyInfo = "filter"
type AttrGetType RecentChooserFilterPropertyInfo = RecentFilter
type AttrBaseTypeConstraint RecentChooserFilterPropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserFilterPropertyInfo = RecentFilterK
type AttrAllowedOps RecentChooserFilterPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag))))

AttrInfo RecentChooserRecentManagerPropertyInfo
type AttrLabel RecentChooserRecentManagerPropertyInfo = "recent-manager"
type AttrGetType RecentChooserRecentManagerPropertyInfo = ()
type AttrBaseTypeConstraint RecentChooserRecentManagerPropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserRecentManagerPropertyInfo = RecentManagerK
type AttrAllowedOps RecentChooserRecentManagerPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrClear ([] AttrOpTag))

AttrInfo RecentChooserSelectMultiplePropertyInfo
type AttrLabel RecentChooserSelectMultiplePropertyInfo = "select-multiple"
type AttrGetType RecentChooserSelectMultiplePropertyInfo = Bool
type AttrBaseTypeConstraint RecentChooserSelectMultiplePropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserSelectMultiplePropertyInfo = * ~ Bool
type AttrAllowedOps RecentChooserSelectMultiplePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

AttrInfo RecentChooserShowPrivatePropertyInfo
type AttrLabel RecentChooserShowPrivatePropertyInfo = "show-private"
type AttrGetType RecentChooserShowPrivatePropertyInfo = Bool
type AttrBaseTypeConstraint RecentChooserShowPrivatePropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserShowPrivatePropertyInfo = * ~ Bool
type AttrAllowedOps RecentChooserShowPrivatePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

AttrInfo RecentChooserSortTypePropertyInfo
type AttrLabel RecentChooserSortTypePropertyInfo = "sort-type"
type AttrGetType RecentChooserSortTypePropertyInfo = RecentSortType
type AttrBaseTypeConstraint RecentChooserSortTypePropertyInfo = RecentChooserK
type AttrSetTypeConstraint RecentChooserSortTypePropertyInfo = * ~ RecentSortType
type AttrAllowedOps RecentChooserSortTypePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))