{-# LANGUAGE ImplicitParams, RankNTypes, TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Adw.Objects.NavigationView
(
NavigationView(..) ,
IsNavigationView ,
toNavigationView ,
#if defined(ENABLE_OVERLOADING)
ResolveNavigationViewMethod ,
#endif
#if defined(ENABLE_OVERLOADING)
NavigationViewAddMethodInfo ,
#endif
navigationViewAdd ,
#if defined(ENABLE_OVERLOADING)
NavigationViewFindPageMethodInfo ,
#endif
navigationViewFindPage ,
#if defined(ENABLE_OVERLOADING)
NavigationViewGetAnimateTransitionsMethodInfo,
#endif
navigationViewGetAnimateTransitions ,
#if defined(ENABLE_OVERLOADING)
NavigationViewGetNavigationStackMethodInfo,
#endif
navigationViewGetNavigationStack ,
#if defined(ENABLE_OVERLOADING)
NavigationViewGetPopOnEscapeMethodInfo ,
#endif
navigationViewGetPopOnEscape ,
#if defined(ENABLE_OVERLOADING)
NavigationViewGetPreviousPageMethodInfo ,
#endif
navigationViewGetPreviousPage ,
#if defined(ENABLE_OVERLOADING)
NavigationViewGetVisiblePageMethodInfo ,
#endif
navigationViewGetVisiblePage ,
navigationViewNew ,
#if defined(ENABLE_OVERLOADING)
NavigationViewPopMethodInfo ,
#endif
navigationViewPop ,
#if defined(ENABLE_OVERLOADING)
NavigationViewPopToPageMethodInfo ,
#endif
navigationViewPopToPage ,
#if defined(ENABLE_OVERLOADING)
NavigationViewPopToTagMethodInfo ,
#endif
navigationViewPopToTag ,
#if defined(ENABLE_OVERLOADING)
NavigationViewPushMethodInfo ,
#endif
navigationViewPush ,
#if defined(ENABLE_OVERLOADING)
NavigationViewPushByTagMethodInfo ,
#endif
navigationViewPushByTag ,
#if defined(ENABLE_OVERLOADING)
NavigationViewRemoveMethodInfo ,
#endif
navigationViewRemove ,
#if defined(ENABLE_OVERLOADING)
NavigationViewReplaceMethodInfo ,
#endif
navigationViewReplace ,
#if defined(ENABLE_OVERLOADING)
NavigationViewReplaceWithTagsMethodInfo ,
#endif
navigationViewReplaceWithTags ,
#if defined(ENABLE_OVERLOADING)
NavigationViewSetAnimateTransitionsMethodInfo,
#endif
navigationViewSetAnimateTransitions ,
#if defined(ENABLE_OVERLOADING)
NavigationViewSetPopOnEscapeMethodInfo ,
#endif
navigationViewSetPopOnEscape ,
#if defined(ENABLE_OVERLOADING)
NavigationViewAnimateTransitionsPropertyInfo,
#endif
constructNavigationViewAnimateTransitions,
getNavigationViewAnimateTransitions ,
#if defined(ENABLE_OVERLOADING)
navigationViewAnimateTransitions ,
#endif
setNavigationViewAnimateTransitions ,
#if defined(ENABLE_OVERLOADING)
NavigationViewNavigationStackPropertyInfo,
#endif
getNavigationViewNavigationStack ,
#if defined(ENABLE_OVERLOADING)
navigationViewNavigationStack ,
#endif
#if defined(ENABLE_OVERLOADING)
NavigationViewPopOnEscapePropertyInfo ,
#endif
constructNavigationViewPopOnEscape ,
getNavigationViewPopOnEscape ,
#if defined(ENABLE_OVERLOADING)
navigationViewPopOnEscape ,
#endif
setNavigationViewPopOnEscape ,
#if defined(ENABLE_OVERLOADING)
NavigationViewVisiblePagePropertyInfo ,
#endif
getNavigationViewVisiblePage ,
#if defined(ENABLE_OVERLOADING)
navigationViewVisiblePage ,
#endif
NavigationViewGetNextPageCallback ,
#if defined(ENABLE_OVERLOADING)
NavigationViewGetNextPageSignalInfo ,
#endif
afterNavigationViewGetNextPage ,
onNavigationViewGetNextPage ,
NavigationViewPoppedCallback ,
#if defined(ENABLE_OVERLOADING)
NavigationViewPoppedSignalInfo ,
#endif
afterNavigationViewPopped ,
onNavigationViewPopped ,
NavigationViewPushedCallback ,
#if defined(ENABLE_OVERLOADING)
NavigationViewPushedSignalInfo ,
#endif
afterNavigationViewPushed ,
onNavigationViewPushed ,
NavigationViewReplacedCallback ,
#if defined(ENABLE_OVERLOADING)
NavigationViewReplacedSignalInfo ,
#endif
afterNavigationViewReplaced ,
onNavigationViewReplaced ,
) 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.BasicTypes as B.Types
import qualified Data.GI.Base.ManagedPtr as B.ManagedPtr
import qualified Data.GI.Base.GArray as B.GArray
import qualified Data.GI.Base.GClosure as B.GClosure
import qualified Data.GI.Base.GError as B.GError
import qualified Data.GI.Base.GHashTable as B.GHT
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 Control.Monad.IO.Class as MIO
import qualified Data.Coerce as Coerce
import qualified Data.Text as T
import qualified Data.Kind as DK
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 GHC.Records as R
import qualified Data.Word as DW
import qualified Data.Int as DI
import qualified System.Posix.Types as SPT
import qualified Foreign.C.Types as FCT
#if MIN_VERSION_base(4,18,0)
import {-# SOURCE #-} qualified GI.Adw.Enums as Adw.Enums
import {-# SOURCE #-} qualified GI.Adw.Interfaces.Swipeable as Adw.Swipeable
import {-# SOURCE #-} qualified GI.Adw.Objects.NavigationPage as Adw.NavigationPage
import qualified GI.GObject.Objects.Object as GObject.Object
import qualified GI.Gdk.Structs.Rectangle as Gdk.Rectangle
import qualified GI.Gio.Interfaces.ListModel as Gio.ListModel
import qualified GI.Gtk.Interfaces.Accessible as Gtk.Accessible
import qualified GI.Gtk.Interfaces.Buildable as Gtk.Buildable
import qualified GI.Gtk.Interfaces.ConstraintTarget as Gtk.ConstraintTarget
import qualified GI.Gtk.Objects.Widget as Gtk.Widget
#else
import {-# SOURCE #-} qualified GI.Adw.Interfaces.Swipeable as Adw.Swipeable
import {-# SOURCE #-} qualified GI.Adw.Objects.NavigationPage as Adw.NavigationPage
import qualified GI.GObject.Objects.Object as GObject.Object
import qualified GI.Gio.Interfaces.ListModel as Gio.ListModel
import qualified GI.Gtk.Interfaces.Accessible as Gtk.Accessible
import qualified GI.Gtk.Interfaces.Buildable as Gtk.Buildable
import qualified GI.Gtk.Interfaces.ConstraintTarget as Gtk.ConstraintTarget
import qualified GI.Gtk.Objects.Widget as Gtk.Widget
#endif
newtype NavigationView = NavigationView (SP.ManagedPtr NavigationView)
deriving (NavigationView -> NavigationView -> Bool
(NavigationView -> NavigationView -> Bool)
-> (NavigationView -> NavigationView -> Bool) -> Eq NavigationView
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: NavigationView -> NavigationView -> Bool
== :: NavigationView -> NavigationView -> Bool
$c/= :: NavigationView -> NavigationView -> Bool
/= :: NavigationView -> NavigationView -> Bool
Eq)
instance SP.ManagedPtrNewtype NavigationView where
toManagedPtr :: NavigationView -> ManagedPtr NavigationView
toManagedPtr (NavigationView ManagedPtr NavigationView
p) = ManagedPtr NavigationView
p
foreign import ccall "adw_navigation_view_get_type"
c_adw_navigation_view_get_type :: IO B.Types.GType
instance B.Types.TypedObject NavigationView where
glibType :: IO GType
glibType = IO GType
c_adw_navigation_view_get_type
instance B.Types.GObject NavigationView
class (SP.GObject o, O.IsDescendantOf NavigationView o) => IsNavigationView o
instance (SP.GObject o, O.IsDescendantOf NavigationView o) => IsNavigationView o
instance O.HasParentTypes NavigationView
type instance O.ParentTypes NavigationView = '[Gtk.Widget.Widget, GObject.Object.Object, Adw.Swipeable.Swipeable, Gtk.Accessible.Accessible, Gtk.Buildable.Buildable, Gtk.ConstraintTarget.ConstraintTarget]
toNavigationView :: (MIO.MonadIO m, IsNavigationView o) => o -> m NavigationView
toNavigationView :: forall (m :: * -> *) o.
(MonadIO m, IsNavigationView o) =>
o -> m NavigationView
toNavigationView = IO NavigationView -> m NavigationView
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO NavigationView -> m NavigationView)
-> (o -> IO NavigationView) -> o -> m NavigationView
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ManagedPtr NavigationView -> NavigationView)
-> o -> IO NavigationView
forall o o'.
(HasCallStack, ManagedPtrNewtype o, TypedObject o,
ManagedPtrNewtype o', TypedObject o') =>
(ManagedPtr o' -> o') -> o -> IO o'
B.ManagedPtr.unsafeCastTo ManagedPtr NavigationView -> NavigationView
NavigationView
instance B.GValue.IsGValue (Maybe NavigationView) where
gvalueGType_ :: IO GType
gvalueGType_ = IO GType
c_adw_navigation_view_get_type
gvalueSet_ :: Ptr GValue -> Maybe NavigationView -> IO ()
gvalueSet_ Ptr GValue
gv Maybe NavigationView
P.Nothing = Ptr GValue -> Ptr NavigationView -> IO ()
forall a. GObject a => Ptr GValue -> Ptr a -> IO ()
B.GValue.set_object Ptr GValue
gv (Ptr NavigationView
forall a. Ptr a
FP.nullPtr :: FP.Ptr NavigationView)
gvalueSet_ Ptr GValue
gv (P.Just NavigationView
obj) = NavigationView -> (Ptr NavigationView -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr NavigationView
obj (Ptr GValue -> Ptr NavigationView -> IO ()
forall a. GObject a => Ptr GValue -> Ptr a -> IO ()
B.GValue.set_object Ptr GValue
gv)
gvalueGet_ :: Ptr GValue -> IO (Maybe NavigationView)
gvalueGet_ Ptr GValue
gv = do
Ptr NavigationView
ptr <- Ptr GValue -> IO (Ptr NavigationView)
forall a. GObject a => Ptr GValue -> IO (Ptr a)
B.GValue.get_object Ptr GValue
gv :: IO (FP.Ptr NavigationView)
if Ptr NavigationView
ptr Ptr NavigationView -> Ptr NavigationView -> Bool
forall a. Eq a => a -> a -> Bool
/= Ptr NavigationView
forall a. Ptr a
FP.nullPtr
then NavigationView -> Maybe NavigationView
forall a. a -> Maybe a
P.Just (NavigationView -> Maybe NavigationView)
-> IO NavigationView -> IO (Maybe NavigationView)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (ManagedPtr NavigationView -> NavigationView)
-> Ptr NavigationView -> IO NavigationView
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
B.ManagedPtr.newObject ManagedPtr NavigationView -> NavigationView
NavigationView Ptr NavigationView
ptr
else Maybe NavigationView -> IO (Maybe NavigationView)
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe NavigationView
forall a. Maybe a
P.Nothing
#if defined(ENABLE_OVERLOADING)
type family ResolveNavigationViewMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
ResolveNavigationViewMethod "actionSetEnabled" o = Gtk.Widget.WidgetActionSetEnabledMethodInfo
ResolveNavigationViewMethod "activate" o = Gtk.Widget.WidgetActivateMethodInfo
ResolveNavigationViewMethod "activateAction" o = Gtk.Widget.WidgetActivateActionMethodInfo
ResolveNavigationViewMethod "activateDefault" o = Gtk.Widget.WidgetActivateDefaultMethodInfo
ResolveNavigationViewMethod "add" o = NavigationViewAddMethodInfo
ResolveNavigationViewMethod "addController" o = Gtk.Widget.WidgetAddControllerMethodInfo
ResolveNavigationViewMethod "addCssClass" o = Gtk.Widget.WidgetAddCssClassMethodInfo
ResolveNavigationViewMethod "addMnemonicLabel" o = Gtk.Widget.WidgetAddMnemonicLabelMethodInfo
ResolveNavigationViewMethod "addTickCallback" o = Gtk.Widget.WidgetAddTickCallbackMethodInfo
ResolveNavigationViewMethod "allocate" o = Gtk.Widget.WidgetAllocateMethodInfo
ResolveNavigationViewMethod "announce" o = Gtk.Accessible.AccessibleAnnounceMethodInfo
ResolveNavigationViewMethod "bindProperty" o = GObject.Object.ObjectBindPropertyMethodInfo
ResolveNavigationViewMethod "bindPropertyFull" o = GObject.Object.ObjectBindPropertyFullMethodInfo
ResolveNavigationViewMethod "childFocus" o = Gtk.Widget.WidgetChildFocusMethodInfo
ResolveNavigationViewMethod "computeBounds" o = Gtk.Widget.WidgetComputeBoundsMethodInfo
ResolveNavigationViewMethod "computeExpand" o = Gtk.Widget.WidgetComputeExpandMethodInfo
ResolveNavigationViewMethod "computePoint" o = Gtk.Widget.WidgetComputePointMethodInfo
ResolveNavigationViewMethod "computeTransform" o = Gtk.Widget.WidgetComputeTransformMethodInfo
ResolveNavigationViewMethod "contains" o = Gtk.Widget.WidgetContainsMethodInfo
ResolveNavigationViewMethod "createPangoContext" o = Gtk.Widget.WidgetCreatePangoContextMethodInfo
ResolveNavigationViewMethod "createPangoLayout" o = Gtk.Widget.WidgetCreatePangoLayoutMethodInfo
ResolveNavigationViewMethod "disposeTemplate" o = Gtk.Widget.WidgetDisposeTemplateMethodInfo
ResolveNavigationViewMethod "dragCheckThreshold" o = Gtk.Widget.WidgetDragCheckThresholdMethodInfo
ResolveNavigationViewMethod "errorBell" o = Gtk.Widget.WidgetErrorBellMethodInfo
ResolveNavigationViewMethod "findPage" o = NavigationViewFindPageMethodInfo
ResolveNavigationViewMethod "forceFloating" o = GObject.Object.ObjectForceFloatingMethodInfo
ResolveNavigationViewMethod "freezeNotify" o = GObject.Object.ObjectFreezeNotifyMethodInfo
ResolveNavigationViewMethod "getv" o = GObject.Object.ObjectGetvMethodInfo
ResolveNavigationViewMethod "grabFocus" o = Gtk.Widget.WidgetGrabFocusMethodInfo
ResolveNavigationViewMethod "hasCssClass" o = Gtk.Widget.WidgetHasCssClassMethodInfo
ResolveNavigationViewMethod "hasDefault" o = Gtk.Widget.WidgetHasDefaultMethodInfo
ResolveNavigationViewMethod "hasFocus" o = Gtk.Widget.WidgetHasFocusMethodInfo
ResolveNavigationViewMethod "hasVisibleFocus" o = Gtk.Widget.WidgetHasVisibleFocusMethodInfo
ResolveNavigationViewMethod "hide" o = Gtk.Widget.WidgetHideMethodInfo
ResolveNavigationViewMethod "inDestruction" o = Gtk.Widget.WidgetInDestructionMethodInfo
ResolveNavigationViewMethod "initTemplate" o = Gtk.Widget.WidgetInitTemplateMethodInfo
ResolveNavigationViewMethod "insertActionGroup" o = Gtk.Widget.WidgetInsertActionGroupMethodInfo
ResolveNavigationViewMethod "insertAfter" o = Gtk.Widget.WidgetInsertAfterMethodInfo
ResolveNavigationViewMethod "insertBefore" o = Gtk.Widget.WidgetInsertBeforeMethodInfo
ResolveNavigationViewMethod "isAncestor" o = Gtk.Widget.WidgetIsAncestorMethodInfo
ResolveNavigationViewMethod "isDrawable" o = Gtk.Widget.WidgetIsDrawableMethodInfo
ResolveNavigationViewMethod "isFloating" o = GObject.Object.ObjectIsFloatingMethodInfo
ResolveNavigationViewMethod "isFocus" o = Gtk.Widget.WidgetIsFocusMethodInfo
ResolveNavigationViewMethod "isSensitive" o = Gtk.Widget.WidgetIsSensitiveMethodInfo
ResolveNavigationViewMethod "isVisible" o = Gtk.Widget.WidgetIsVisibleMethodInfo
ResolveNavigationViewMethod "keynavFailed" o = Gtk.Widget.WidgetKeynavFailedMethodInfo
ResolveNavigationViewMethod "listMnemonicLabels" o = Gtk.Widget.WidgetListMnemonicLabelsMethodInfo
ResolveNavigationViewMethod "map" o = Gtk.Widget.WidgetMapMethodInfo
ResolveNavigationViewMethod "measure" o = Gtk.Widget.WidgetMeasureMethodInfo
ResolveNavigationViewMethod "mnemonicActivate" o = Gtk.Widget.WidgetMnemonicActivateMethodInfo
ResolveNavigationViewMethod "notify" o = GObject.Object.ObjectNotifyMethodInfo
ResolveNavigationViewMethod "notifyByPspec" o = GObject.Object.ObjectNotifyByPspecMethodInfo
ResolveNavigationViewMethod "observeChildren" o = Gtk.Widget.WidgetObserveChildrenMethodInfo
ResolveNavigationViewMethod "observeControllers" o = Gtk.Widget.WidgetObserveControllersMethodInfo
ResolveNavigationViewMethod "pick" o = Gtk.Widget.WidgetPickMethodInfo
ResolveNavigationViewMethod "pop" o = NavigationViewPopMethodInfo
ResolveNavigationViewMethod "popToPage" o = NavigationViewPopToPageMethodInfo
ResolveNavigationViewMethod "popToTag" o = NavigationViewPopToTagMethodInfo
ResolveNavigationViewMethod "push" o = NavigationViewPushMethodInfo
ResolveNavigationViewMethod "pushByTag" o = NavigationViewPushByTagMethodInfo
ResolveNavigationViewMethod "queueAllocate" o = Gtk.Widget.WidgetQueueAllocateMethodInfo
ResolveNavigationViewMethod "queueDraw" o = Gtk.Widget.WidgetQueueDrawMethodInfo
ResolveNavigationViewMethod "queueResize" o = Gtk.Widget.WidgetQueueResizeMethodInfo
ResolveNavigationViewMethod "realize" o = Gtk.Widget.WidgetRealizeMethodInfo
ResolveNavigationViewMethod "ref" o = GObject.Object.ObjectRefMethodInfo
ResolveNavigationViewMethod "refSink" o = GObject.Object.ObjectRefSinkMethodInfo
ResolveNavigationViewMethod "remove" o = NavigationViewRemoveMethodInfo
ResolveNavigationViewMethod "removeController" o = Gtk.Widget.WidgetRemoveControllerMethodInfo
ResolveNavigationViewMethod "removeCssClass" o = Gtk.Widget.WidgetRemoveCssClassMethodInfo
ResolveNavigationViewMethod "removeMnemonicLabel" o = Gtk.Widget.WidgetRemoveMnemonicLabelMethodInfo
ResolveNavigationViewMethod "removeTickCallback" o = Gtk.Widget.WidgetRemoveTickCallbackMethodInfo
ResolveNavigationViewMethod "replace" o = NavigationViewReplaceMethodInfo
ResolveNavigationViewMethod "replaceWithTags" o = NavigationViewReplaceWithTagsMethodInfo
ResolveNavigationViewMethod "resetProperty" o = Gtk.Accessible.AccessibleResetPropertyMethodInfo
ResolveNavigationViewMethod "resetRelation" o = Gtk.Accessible.AccessibleResetRelationMethodInfo
ResolveNavigationViewMethod "resetState" o = Gtk.Accessible.AccessibleResetStateMethodInfo
ResolveNavigationViewMethod "runDispose" o = GObject.Object.ObjectRunDisposeMethodInfo
ResolveNavigationViewMethod "shouldLayout" o = Gtk.Widget.WidgetShouldLayoutMethodInfo
ResolveNavigationViewMethod "show" o = Gtk.Widget.WidgetShowMethodInfo
ResolveNavigationViewMethod "sizeAllocate" o = Gtk.Widget.WidgetSizeAllocateMethodInfo
ResolveNavigationViewMethod "snapshotChild" o = Gtk.Widget.WidgetSnapshotChildMethodInfo
ResolveNavigationViewMethod "stealData" o = GObject.Object.ObjectStealDataMethodInfo
ResolveNavigationViewMethod "stealQdata" o = GObject.Object.ObjectStealQdataMethodInfo
ResolveNavigationViewMethod "thawNotify" o = GObject.Object.ObjectThawNotifyMethodInfo
ResolveNavigationViewMethod "translateCoordinates" o = Gtk.Widget.WidgetTranslateCoordinatesMethodInfo
ResolveNavigationViewMethod "triggerTooltipQuery" o = Gtk.Widget.WidgetTriggerTooltipQueryMethodInfo
ResolveNavigationViewMethod "unmap" o = Gtk.Widget.WidgetUnmapMethodInfo
ResolveNavigationViewMethod "unparent" o = Gtk.Widget.WidgetUnparentMethodInfo
ResolveNavigationViewMethod "unrealize" o = Gtk.Widget.WidgetUnrealizeMethodInfo
ResolveNavigationViewMethod "unref" o = GObject.Object.ObjectUnrefMethodInfo
ResolveNavigationViewMethod "unsetStateFlags" o = Gtk.Widget.WidgetUnsetStateFlagsMethodInfo
ResolveNavigationViewMethod "updateNextAccessibleSibling" o = Gtk.Accessible.AccessibleUpdateNextAccessibleSiblingMethodInfo
ResolveNavigationViewMethod "updateProperty" o = Gtk.Accessible.AccessibleUpdatePropertyMethodInfo
ResolveNavigationViewMethod "updateRelation" o = Gtk.Accessible.AccessibleUpdateRelationMethodInfo
ResolveNavigationViewMethod "updateState" o = Gtk.Accessible.AccessibleUpdateStateMethodInfo
ResolveNavigationViewMethod "watchClosure" o = GObject.Object.ObjectWatchClosureMethodInfo
ResolveNavigationViewMethod "getAccessibleParent" o = Gtk.Accessible.AccessibleGetAccessibleParentMethodInfo
ResolveNavigationViewMethod "getAccessibleRole" o = Gtk.Accessible.AccessibleGetAccessibleRoleMethodInfo
ResolveNavigationViewMethod "getAllocatedBaseline" o = Gtk.Widget.WidgetGetAllocatedBaselineMethodInfo
ResolveNavigationViewMethod "getAllocatedHeight" o = Gtk.Widget.WidgetGetAllocatedHeightMethodInfo
ResolveNavigationViewMethod "getAllocatedWidth" o = Gtk.Widget.WidgetGetAllocatedWidthMethodInfo
ResolveNavigationViewMethod "getAllocation" o = Gtk.Widget.WidgetGetAllocationMethodInfo
ResolveNavigationViewMethod "getAncestor" o = Gtk.Widget.WidgetGetAncestorMethodInfo
ResolveNavigationViewMethod "getAnimateTransitions" o = NavigationViewGetAnimateTransitionsMethodInfo
ResolveNavigationViewMethod "getAtContext" o = Gtk.Accessible.AccessibleGetAtContextMethodInfo
ResolveNavigationViewMethod "getBaseline" o = Gtk.Widget.WidgetGetBaselineMethodInfo
ResolveNavigationViewMethod "getBounds" o = Gtk.Accessible.AccessibleGetBoundsMethodInfo
ResolveNavigationViewMethod "getBuildableId" o = Gtk.Buildable.BuildableGetBuildableIdMethodInfo
ResolveNavigationViewMethod "getCanFocus" o = Gtk.Widget.WidgetGetCanFocusMethodInfo
ResolveNavigationViewMethod "getCanTarget" o = Gtk.Widget.WidgetGetCanTargetMethodInfo
ResolveNavigationViewMethod "getCancelProgress" o = Adw.Swipeable.SwipeableGetCancelProgressMethodInfo
ResolveNavigationViewMethod "getChildVisible" o = Gtk.Widget.WidgetGetChildVisibleMethodInfo
ResolveNavigationViewMethod "getClipboard" o = Gtk.Widget.WidgetGetClipboardMethodInfo
ResolveNavigationViewMethod "getColor" o = Gtk.Widget.WidgetGetColorMethodInfo
ResolveNavigationViewMethod "getCssClasses" o = Gtk.Widget.WidgetGetCssClassesMethodInfo
ResolveNavigationViewMethod "getCssName" o = Gtk.Widget.WidgetGetCssNameMethodInfo
ResolveNavigationViewMethod "getCursor" o = Gtk.Widget.WidgetGetCursorMethodInfo
ResolveNavigationViewMethod "getData" o = GObject.Object.ObjectGetDataMethodInfo
ResolveNavigationViewMethod "getDirection" o = Gtk.Widget.WidgetGetDirectionMethodInfo
ResolveNavigationViewMethod "getDisplay" o = Gtk.Widget.WidgetGetDisplayMethodInfo
ResolveNavigationViewMethod "getDistance" o = Adw.Swipeable.SwipeableGetDistanceMethodInfo
ResolveNavigationViewMethod "getFirstAccessibleChild" o = Gtk.Accessible.AccessibleGetFirstAccessibleChildMethodInfo
ResolveNavigationViewMethod "getFirstChild" o = Gtk.Widget.WidgetGetFirstChildMethodInfo
ResolveNavigationViewMethod "getFocusChild" o = Gtk.Widget.WidgetGetFocusChildMethodInfo
ResolveNavigationViewMethod "getFocusOnClick" o = Gtk.Widget.WidgetGetFocusOnClickMethodInfo
ResolveNavigationViewMethod "getFocusable" o = Gtk.Widget.WidgetGetFocusableMethodInfo
ResolveNavigationViewMethod "getFontMap" o = Gtk.Widget.WidgetGetFontMapMethodInfo
ResolveNavigationViewMethod "getFontOptions" o = Gtk.Widget.WidgetGetFontOptionsMethodInfo
ResolveNavigationViewMethod "getFrameClock" o = Gtk.Widget.WidgetGetFrameClockMethodInfo
ResolveNavigationViewMethod "getHalign" o = Gtk.Widget.WidgetGetHalignMethodInfo
ResolveNavigationViewMethod "getHasTooltip" o = Gtk.Widget.WidgetGetHasTooltipMethodInfo
ResolveNavigationViewMethod "getHeight" o = Gtk.Widget.WidgetGetHeightMethodInfo
ResolveNavigationViewMethod "getHexpand" o = Gtk.Widget.WidgetGetHexpandMethodInfo
ResolveNavigationViewMethod "getHexpandSet" o = Gtk.Widget.WidgetGetHexpandSetMethodInfo
ResolveNavigationViewMethod "getLastChild" o = Gtk.Widget.WidgetGetLastChildMethodInfo
ResolveNavigationViewMethod "getLayoutManager" o = Gtk.Widget.WidgetGetLayoutManagerMethodInfo
ResolveNavigationViewMethod "getMapped" o = Gtk.Widget.WidgetGetMappedMethodInfo
ResolveNavigationViewMethod "getMarginBottom" o = Gtk.Widget.WidgetGetMarginBottomMethodInfo
ResolveNavigationViewMethod "getMarginEnd" o = Gtk.Widget.WidgetGetMarginEndMethodInfo
ResolveNavigationViewMethod "getMarginStart" o = Gtk.Widget.WidgetGetMarginStartMethodInfo
ResolveNavigationViewMethod "getMarginTop" o = Gtk.Widget.WidgetGetMarginTopMethodInfo
ResolveNavigationViewMethod "getName" o = Gtk.Widget.WidgetGetNameMethodInfo
ResolveNavigationViewMethod "getNative" o = Gtk.Widget.WidgetGetNativeMethodInfo
ResolveNavigationViewMethod "getNavigationStack" o = NavigationViewGetNavigationStackMethodInfo
ResolveNavigationViewMethod "getNextAccessibleSibling" o = Gtk.Accessible.AccessibleGetNextAccessibleSiblingMethodInfo
ResolveNavigationViewMethod "getNextSibling" o = Gtk.Widget.WidgetGetNextSiblingMethodInfo
ResolveNavigationViewMethod "getOpacity" o = Gtk.Widget.WidgetGetOpacityMethodInfo
ResolveNavigationViewMethod "getOverflow" o = Gtk.Widget.WidgetGetOverflowMethodInfo
ResolveNavigationViewMethod "getPangoContext" o = Gtk.Widget.WidgetGetPangoContextMethodInfo
ResolveNavigationViewMethod "getParent" o = Gtk.Widget.WidgetGetParentMethodInfo
ResolveNavigationViewMethod "getPlatformState" o = Gtk.Accessible.AccessibleGetPlatformStateMethodInfo
ResolveNavigationViewMethod "getPopOnEscape" o = NavigationViewGetPopOnEscapeMethodInfo
ResolveNavigationViewMethod "getPreferredSize" o = Gtk.Widget.WidgetGetPreferredSizeMethodInfo
ResolveNavigationViewMethod "getPrevSibling" o = Gtk.Widget.WidgetGetPrevSiblingMethodInfo
ResolveNavigationViewMethod "getPreviousPage" o = NavigationViewGetPreviousPageMethodInfo
ResolveNavigationViewMethod "getPrimaryClipboard" o = Gtk.Widget.WidgetGetPrimaryClipboardMethodInfo
ResolveNavigationViewMethod "getProgress" o = Adw.Swipeable.SwipeableGetProgressMethodInfo
ResolveNavigationViewMethod "getProperty" o = GObject.Object.ObjectGetPropertyMethodInfo
ResolveNavigationViewMethod "getQdata" o = GObject.Object.ObjectGetQdataMethodInfo
ResolveNavigationViewMethod "getRealized" o = Gtk.Widget.WidgetGetRealizedMethodInfo
ResolveNavigationViewMethod "getReceivesDefault" o = Gtk.Widget.WidgetGetReceivesDefaultMethodInfo
ResolveNavigationViewMethod "getRequestMode" o = Gtk.Widget.WidgetGetRequestModeMethodInfo
ResolveNavigationViewMethod "getRoot" o = Gtk.Widget.WidgetGetRootMethodInfo
ResolveNavigationViewMethod "getScaleFactor" o = Gtk.Widget.WidgetGetScaleFactorMethodInfo
ResolveNavigationViewMethod "getSensitive" o = Gtk.Widget.WidgetGetSensitiveMethodInfo
ResolveNavigationViewMethod "getSettings" o = Gtk.Widget.WidgetGetSettingsMethodInfo
ResolveNavigationViewMethod "getSize" o = Gtk.Widget.WidgetGetSizeMethodInfo
ResolveNavigationViewMethod "getSizeRequest" o = Gtk.Widget.WidgetGetSizeRequestMethodInfo
ResolveNavigationViewMethod "getSnapPoints" o = Adw.Swipeable.SwipeableGetSnapPointsMethodInfo
ResolveNavigationViewMethod "getStateFlags" o = Gtk.Widget.WidgetGetStateFlagsMethodInfo
ResolveNavigationViewMethod "getStyleContext" o = Gtk.Widget.WidgetGetStyleContextMethodInfo
ResolveNavigationViewMethod "getSwipeArea" o = Adw.Swipeable.SwipeableGetSwipeAreaMethodInfo
ResolveNavigationViewMethod "getTemplateChild" o = Gtk.Widget.WidgetGetTemplateChildMethodInfo
ResolveNavigationViewMethod "getTooltipMarkup" o = Gtk.Widget.WidgetGetTooltipMarkupMethodInfo
ResolveNavigationViewMethod "getTooltipText" o = Gtk.Widget.WidgetGetTooltipTextMethodInfo
ResolveNavigationViewMethod "getValign" o = Gtk.Widget.WidgetGetValignMethodInfo
ResolveNavigationViewMethod "getVexpand" o = Gtk.Widget.WidgetGetVexpandMethodInfo
ResolveNavigationViewMethod "getVexpandSet" o = Gtk.Widget.WidgetGetVexpandSetMethodInfo
ResolveNavigationViewMethod "getVisible" o = Gtk.Widget.WidgetGetVisibleMethodInfo
ResolveNavigationViewMethod "getVisiblePage" o = NavigationViewGetVisiblePageMethodInfo
ResolveNavigationViewMethod "getWidth" o = Gtk.Widget.WidgetGetWidthMethodInfo
ResolveNavigationViewMethod "setAccessibleParent" o = Gtk.Accessible.AccessibleSetAccessibleParentMethodInfo
ResolveNavigationViewMethod "setAnimateTransitions" o = NavigationViewSetAnimateTransitionsMethodInfo
ResolveNavigationViewMethod "setCanFocus" o = Gtk.Widget.WidgetSetCanFocusMethodInfo
ResolveNavigationViewMethod "setCanTarget" o = Gtk.Widget.WidgetSetCanTargetMethodInfo
ResolveNavigationViewMethod "setChildVisible" o = Gtk.Widget.WidgetSetChildVisibleMethodInfo
ResolveNavigationViewMethod "setCssClasses" o = Gtk.Widget.WidgetSetCssClassesMethodInfo
ResolveNavigationViewMethod "setCursor" o = Gtk.Widget.WidgetSetCursorMethodInfo
ResolveNavigationViewMethod "setCursorFromName" o = Gtk.Widget.WidgetSetCursorFromNameMethodInfo
ResolveNavigationViewMethod "setData" o = GObject.Object.ObjectSetDataMethodInfo
ResolveNavigationViewMethod "setDataFull" o = GObject.Object.ObjectSetDataFullMethodInfo
ResolveNavigationViewMethod "setDirection" o = Gtk.Widget.WidgetSetDirectionMethodInfo
ResolveNavigationViewMethod "setFocusChild" o = Gtk.Widget.WidgetSetFocusChildMethodInfo
ResolveNavigationViewMethod "setFocusOnClick" o = Gtk.Widget.WidgetSetFocusOnClickMethodInfo
ResolveNavigationViewMethod "setFocusable" o = Gtk.Widget.WidgetSetFocusableMethodInfo
ResolveNavigationViewMethod "setFontMap" o = Gtk.Widget.WidgetSetFontMapMethodInfo
ResolveNavigationViewMethod "setFontOptions" o = Gtk.Widget.WidgetSetFontOptionsMethodInfo
ResolveNavigationViewMethod "setHalign" o = Gtk.Widget.WidgetSetHalignMethodInfo
ResolveNavigationViewMethod "setHasTooltip" o = Gtk.Widget.WidgetSetHasTooltipMethodInfo
ResolveNavigationViewMethod "setHexpand" o = Gtk.Widget.WidgetSetHexpandMethodInfo
ResolveNavigationViewMethod "setHexpandSet" o = Gtk.Widget.WidgetSetHexpandSetMethodInfo
ResolveNavigationViewMethod "setLayoutManager" o = Gtk.Widget.WidgetSetLayoutManagerMethodInfo
ResolveNavigationViewMethod "setMarginBottom" o = Gtk.Widget.WidgetSetMarginBottomMethodInfo
ResolveNavigationViewMethod "setMarginEnd" o = Gtk.Widget.WidgetSetMarginEndMethodInfo
ResolveNavigationViewMethod "setMarginStart" o = Gtk.Widget.WidgetSetMarginStartMethodInfo
ResolveNavigationViewMethod "setMarginTop" o = Gtk.Widget.WidgetSetMarginTopMethodInfo
ResolveNavigationViewMethod "setName" o = Gtk.Widget.WidgetSetNameMethodInfo
ResolveNavigationViewMethod "setOpacity" o = Gtk.Widget.WidgetSetOpacityMethodInfo
ResolveNavigationViewMethod "setOverflow" o = Gtk.Widget.WidgetSetOverflowMethodInfo
ResolveNavigationViewMethod "setParent" o = Gtk.Widget.WidgetSetParentMethodInfo
ResolveNavigationViewMethod "setPopOnEscape" o = NavigationViewSetPopOnEscapeMethodInfo
ResolveNavigationViewMethod "setProperty" o = GObject.Object.ObjectSetPropertyMethodInfo
ResolveNavigationViewMethod "setReceivesDefault" o = Gtk.Widget.WidgetSetReceivesDefaultMethodInfo
ResolveNavigationViewMethod "setSensitive" o = Gtk.Widget.WidgetSetSensitiveMethodInfo
ResolveNavigationViewMethod "setSizeRequest" o = Gtk.Widget.WidgetSetSizeRequestMethodInfo
ResolveNavigationViewMethod "setStateFlags" o = Gtk.Widget.WidgetSetStateFlagsMethodInfo
ResolveNavigationViewMethod "setTooltipMarkup" o = Gtk.Widget.WidgetSetTooltipMarkupMethodInfo
ResolveNavigationViewMethod "setTooltipText" o = Gtk.Widget.WidgetSetTooltipTextMethodInfo
ResolveNavigationViewMethod "setValign" o = Gtk.Widget.WidgetSetValignMethodInfo
ResolveNavigationViewMethod "setVexpand" o = Gtk.Widget.WidgetSetVexpandMethodInfo
ResolveNavigationViewMethod "setVexpandSet" o = Gtk.Widget.WidgetSetVexpandSetMethodInfo
ResolveNavigationViewMethod "setVisible" o = Gtk.Widget.WidgetSetVisibleMethodInfo
ResolveNavigationViewMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveNavigationViewMethod t NavigationView, O.OverloadedMethod info NavigationView p) => OL.IsLabel t (NavigationView -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod @info
#else
fromLabel _ = O.overloadedMethod @info
#endif
#if MIN_VERSION_base(4,13,0)
instance (info ~ ResolveNavigationViewMethod t NavigationView, O.OverloadedMethod info NavigationView p, R.HasField t NavigationView p) => R.HasField t NavigationView p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveNavigationViewMethod t NavigationView, O.OverloadedMethodInfo info NavigationView) => OL.IsLabel t (O.MethodProxy info NavigationView) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif
type NavigationViewGetNextPageCallback =
IO (Maybe Adw.NavigationPage.NavigationPage)
type C_NavigationViewGetNextPageCallback =
Ptr NavigationView ->
Ptr () ->
IO (Ptr Adw.NavigationPage.NavigationPage)
foreign import ccall "wrapper"
mk_NavigationViewGetNextPageCallback :: C_NavigationViewGetNextPageCallback -> IO (FunPtr C_NavigationViewGetNextPageCallback)
wrap_NavigationViewGetNextPageCallback ::
GObject a => (a -> NavigationViewGetNextPageCallback) ->
C_NavigationViewGetNextPageCallback
wrap_NavigationViewGetNextPageCallback :: forall a.
GObject a =>
(a -> NavigationViewGetNextPageCallback)
-> C_NavigationViewGetNextPageCallback
wrap_NavigationViewGetNextPageCallback a -> NavigationViewGetNextPageCallback
gi'cb Ptr NavigationView
gi'selfPtr Ptr ()
_ = do
Maybe NavigationPage
result <- Ptr NavigationView
-> (NavigationView -> NavigationViewGetNextPageCallback)
-> NavigationViewGetNextPageCallback
forall o b.
(HasCallStack, GObject o) =>
Ptr o -> (o -> IO b) -> IO b
B.ManagedPtr.withNewObject Ptr NavigationView
gi'selfPtr ((NavigationView -> NavigationViewGetNextPageCallback)
-> NavigationViewGetNextPageCallback)
-> (NavigationView -> NavigationViewGetNextPageCallback)
-> NavigationViewGetNextPageCallback
forall a b. (a -> b) -> a -> b
$ \NavigationView
gi'self -> a -> NavigationViewGetNextPageCallback
gi'cb (NavigationView -> a
forall a b. Coercible a b => a -> b
Coerce.coerce NavigationView
gi'self)
Ptr NavigationPage
-> Maybe NavigationPage
-> (NavigationPage -> IO (Ptr NavigationPage))
-> IO (Ptr NavigationPage)
forall (m :: * -> *) b a.
Monad m =>
b -> Maybe a -> (a -> m b) -> m b
maybeM Ptr NavigationPage
forall a. Ptr a
FP.nullPtr Maybe NavigationPage
result ((NavigationPage -> IO (Ptr NavigationPage))
-> IO (Ptr NavigationPage))
-> (NavigationPage -> IO (Ptr NavigationPage))
-> IO (Ptr NavigationPage)
forall a b. (a -> b) -> a -> b
$ \NavigationPage
result' -> do
Ptr NavigationPage
result'' <- NavigationPage -> IO (Ptr NavigationPage)
forall a b. (HasCallStack, GObject a) => a -> IO (Ptr b)
B.ManagedPtr.disownObject NavigationPage
result'
Ptr NavigationPage -> IO (Ptr NavigationPage)
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Ptr NavigationPage
result''
onNavigationViewGetNextPage :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewGetNextPageCallback) -> m SignalHandlerId
onNavigationViewGetNextPage :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a
-> ((?self::a) => NavigationViewGetNextPageCallback)
-> m SignalHandlerId
onNavigationViewGetNextPage a
obj (?self::a) => NavigationViewGetNextPageCallback
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> NavigationViewGetNextPageCallback
wrapped a
self = let ?self = a
?self::a
self in NavigationViewGetNextPageCallback
(?self::a) => NavigationViewGetNextPageCallback
cb
let wrapped' :: C_NavigationViewGetNextPageCallback
wrapped' = (a -> NavigationViewGetNextPageCallback)
-> C_NavigationViewGetNextPageCallback
forall a.
GObject a =>
(a -> NavigationViewGetNextPageCallback)
-> C_NavigationViewGetNextPageCallback
wrap_NavigationViewGetNextPageCallback a -> NavigationViewGetNextPageCallback
wrapped
FunPtr C_NavigationViewGetNextPageCallback
wrapped'' <- C_NavigationViewGetNextPageCallback
-> IO (FunPtr C_NavigationViewGetNextPageCallback)
mk_NavigationViewGetNextPageCallback C_NavigationViewGetNextPageCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewGetNextPageCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"get-next-page" FunPtr C_NavigationViewGetNextPageCallback
wrapped'' SignalConnectMode
SignalConnectBefore Maybe Text
forall a. Maybe a
Nothing
afterNavigationViewGetNextPage :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewGetNextPageCallback) -> m SignalHandlerId
afterNavigationViewGetNextPage :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a
-> ((?self::a) => NavigationViewGetNextPageCallback)
-> m SignalHandlerId
afterNavigationViewGetNextPage a
obj (?self::a) => NavigationViewGetNextPageCallback
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> NavigationViewGetNextPageCallback
wrapped a
self = let ?self = a
?self::a
self in NavigationViewGetNextPageCallback
(?self::a) => NavigationViewGetNextPageCallback
cb
let wrapped' :: C_NavigationViewGetNextPageCallback
wrapped' = (a -> NavigationViewGetNextPageCallback)
-> C_NavigationViewGetNextPageCallback
forall a.
GObject a =>
(a -> NavigationViewGetNextPageCallback)
-> C_NavigationViewGetNextPageCallback
wrap_NavigationViewGetNextPageCallback a -> NavigationViewGetNextPageCallback
wrapped
FunPtr C_NavigationViewGetNextPageCallback
wrapped'' <- C_NavigationViewGetNextPageCallback
-> IO (FunPtr C_NavigationViewGetNextPageCallback)
mk_NavigationViewGetNextPageCallback C_NavigationViewGetNextPageCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewGetNextPageCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"get-next-page" FunPtr C_NavigationViewGetNextPageCallback
wrapped'' SignalConnectMode
SignalConnectAfter Maybe Text
forall a. Maybe a
Nothing
#if defined(ENABLE_OVERLOADING)
data NavigationViewGetNextPageSignalInfo
instance SignalInfo NavigationViewGetNextPageSignalInfo where
type HaskellCallbackType NavigationViewGetNextPageSignalInfo = NavigationViewGetNextPageCallback
connectSignal obj cb connectMode detail = do
let cb' = wrap_NavigationViewGetNextPageCallback cb
cb'' <- mk_NavigationViewGetNextPageCallback cb'
connectSignalFunPtr obj "get-next-page" cb'' connectMode detail
dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView::get-next-page"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:signal:getNextPage"})
#endif
type NavigationViewPoppedCallback =
Adw.NavigationPage.NavigationPage
-> IO ()
type C_NavigationViewPoppedCallback =
Ptr NavigationView ->
Ptr Adw.NavigationPage.NavigationPage ->
Ptr () ->
IO ()
foreign import ccall "wrapper"
mk_NavigationViewPoppedCallback :: C_NavigationViewPoppedCallback -> IO (FunPtr C_NavigationViewPoppedCallback)
wrap_NavigationViewPoppedCallback ::
GObject a => (a -> NavigationViewPoppedCallback) ->
C_NavigationViewPoppedCallback
wrap_NavigationViewPoppedCallback :: forall a.
GObject a =>
(a -> NavigationViewPoppedCallback)
-> C_NavigationViewPoppedCallback
wrap_NavigationViewPoppedCallback a -> NavigationViewPoppedCallback
gi'cb Ptr NavigationView
gi'selfPtr Ptr NavigationPage
page Ptr ()
_ = do
NavigationPage
page' <- ((ManagedPtr NavigationPage -> NavigationPage)
-> Ptr NavigationPage -> IO NavigationPage
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr NavigationPage -> NavigationPage
Adw.NavigationPage.NavigationPage) Ptr NavigationPage
page
Ptr NavigationView -> (NavigationView -> IO ()) -> IO ()
forall o b.
(HasCallStack, GObject o) =>
Ptr o -> (o -> IO b) -> IO b
B.ManagedPtr.withNewObject Ptr NavigationView
gi'selfPtr ((NavigationView -> IO ()) -> IO ())
-> (NavigationView -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \NavigationView
gi'self -> a -> NavigationViewPoppedCallback
gi'cb (NavigationView -> a
forall a b. Coercible a b => a -> b
Coerce.coerce NavigationView
gi'self) NavigationPage
page'
onNavigationViewPopped :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewPoppedCallback) -> m SignalHandlerId
onNavigationViewPopped :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a
-> ((?self::a) => NavigationViewPoppedCallback)
-> m SignalHandlerId
onNavigationViewPopped a
obj (?self::a) => NavigationViewPoppedCallback
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> NavigationViewPoppedCallback
wrapped a
self = let ?self = a
?self::a
self in (?self::a) => NavigationViewPoppedCallback
NavigationViewPoppedCallback
cb
let wrapped' :: C_NavigationViewPoppedCallback
wrapped' = (a -> NavigationViewPoppedCallback)
-> C_NavigationViewPoppedCallback
forall a.
GObject a =>
(a -> NavigationViewPoppedCallback)
-> C_NavigationViewPoppedCallback
wrap_NavigationViewPoppedCallback a -> NavigationViewPoppedCallback
wrapped
FunPtr C_NavigationViewPoppedCallback
wrapped'' <- C_NavigationViewPoppedCallback
-> IO (FunPtr C_NavigationViewPoppedCallback)
mk_NavigationViewPoppedCallback C_NavigationViewPoppedCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewPoppedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"popped" FunPtr C_NavigationViewPoppedCallback
wrapped'' SignalConnectMode
SignalConnectBefore Maybe Text
forall a. Maybe a
Nothing
afterNavigationViewPopped :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewPoppedCallback) -> m SignalHandlerId
afterNavigationViewPopped :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a
-> ((?self::a) => NavigationViewPoppedCallback)
-> m SignalHandlerId
afterNavigationViewPopped a
obj (?self::a) => NavigationViewPoppedCallback
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> NavigationViewPoppedCallback
wrapped a
self = let ?self = a
?self::a
self in (?self::a) => NavigationViewPoppedCallback
NavigationViewPoppedCallback
cb
let wrapped' :: C_NavigationViewPoppedCallback
wrapped' = (a -> NavigationViewPoppedCallback)
-> C_NavigationViewPoppedCallback
forall a.
GObject a =>
(a -> NavigationViewPoppedCallback)
-> C_NavigationViewPoppedCallback
wrap_NavigationViewPoppedCallback a -> NavigationViewPoppedCallback
wrapped
FunPtr C_NavigationViewPoppedCallback
wrapped'' <- C_NavigationViewPoppedCallback
-> IO (FunPtr C_NavigationViewPoppedCallback)
mk_NavigationViewPoppedCallback C_NavigationViewPoppedCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewPoppedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"popped" FunPtr C_NavigationViewPoppedCallback
wrapped'' SignalConnectMode
SignalConnectAfter Maybe Text
forall a. Maybe a
Nothing
#if defined(ENABLE_OVERLOADING)
data NavigationViewPoppedSignalInfo
instance SignalInfo NavigationViewPoppedSignalInfo where
type HaskellCallbackType NavigationViewPoppedSignalInfo = NavigationViewPoppedCallback
connectSignal obj cb connectMode detail = do
let cb' = wrap_NavigationViewPoppedCallback cb
cb'' <- mk_NavigationViewPoppedCallback cb'
connectSignalFunPtr obj "popped" cb'' connectMode detail
dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView::popped"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:signal:popped"})
#endif
type NavigationViewPushedCallback =
IO ()
type C_NavigationViewPushedCallback =
Ptr NavigationView ->
Ptr () ->
IO ()
foreign import ccall "wrapper"
mk_NavigationViewPushedCallback :: C_NavigationViewPushedCallback -> IO (FunPtr C_NavigationViewPushedCallback)
wrap_NavigationViewPushedCallback ::
GObject a => (a -> NavigationViewPushedCallback) ->
C_NavigationViewPushedCallback
wrap_NavigationViewPushedCallback :: forall a.
GObject a =>
(a -> IO ()) -> C_NavigationViewPushedCallback
wrap_NavigationViewPushedCallback a -> IO ()
gi'cb Ptr NavigationView
gi'selfPtr Ptr ()
_ = do
Ptr NavigationView -> (NavigationView -> IO ()) -> IO ()
forall o b.
(HasCallStack, GObject o) =>
Ptr o -> (o -> IO b) -> IO b
B.ManagedPtr.withNewObject Ptr NavigationView
gi'selfPtr ((NavigationView -> IO ()) -> IO ())
-> (NavigationView -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \NavigationView
gi'self -> a -> IO ()
gi'cb (NavigationView -> a
forall a b. Coercible a b => a -> b
Coerce.coerce NavigationView
gi'self)
onNavigationViewPushed :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewPushedCallback) -> m SignalHandlerId
onNavigationViewPushed :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a -> ((?self::a) => IO ()) -> m SignalHandlerId
onNavigationViewPushed a
obj (?self::a) => IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> IO ()
wrapped a
self = let ?self = a
?self::a
self in IO ()
(?self::a) => IO ()
cb
let wrapped' :: C_NavigationViewPushedCallback
wrapped' = (a -> IO ()) -> C_NavigationViewPushedCallback
forall a.
GObject a =>
(a -> IO ()) -> C_NavigationViewPushedCallback
wrap_NavigationViewPushedCallback a -> IO ()
wrapped
FunPtr C_NavigationViewPushedCallback
wrapped'' <- C_NavigationViewPushedCallback
-> IO (FunPtr C_NavigationViewPushedCallback)
mk_NavigationViewPushedCallback C_NavigationViewPushedCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewPushedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"pushed" FunPtr C_NavigationViewPushedCallback
wrapped'' SignalConnectMode
SignalConnectBefore Maybe Text
forall a. Maybe a
Nothing
afterNavigationViewPushed :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewPushedCallback) -> m SignalHandlerId
afterNavigationViewPushed :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a -> ((?self::a) => IO ()) -> m SignalHandlerId
afterNavigationViewPushed a
obj (?self::a) => IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> IO ()
wrapped a
self = let ?self = a
?self::a
self in IO ()
(?self::a) => IO ()
cb
let wrapped' :: C_NavigationViewPushedCallback
wrapped' = (a -> IO ()) -> C_NavigationViewPushedCallback
forall a.
GObject a =>
(a -> IO ()) -> C_NavigationViewPushedCallback
wrap_NavigationViewPushedCallback a -> IO ()
wrapped
FunPtr C_NavigationViewPushedCallback
wrapped'' <- C_NavigationViewPushedCallback
-> IO (FunPtr C_NavigationViewPushedCallback)
mk_NavigationViewPushedCallback C_NavigationViewPushedCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewPushedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"pushed" FunPtr C_NavigationViewPushedCallback
wrapped'' SignalConnectMode
SignalConnectAfter Maybe Text
forall a. Maybe a
Nothing
#if defined(ENABLE_OVERLOADING)
data NavigationViewPushedSignalInfo
instance SignalInfo NavigationViewPushedSignalInfo where
type HaskellCallbackType NavigationViewPushedSignalInfo = NavigationViewPushedCallback
connectSignal obj cb connectMode detail = do
let cb' = wrap_NavigationViewPushedCallback cb
cb'' <- mk_NavigationViewPushedCallback cb'
connectSignalFunPtr obj "pushed" cb'' connectMode detail
dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView::pushed"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:signal:pushed"})
#endif
type NavigationViewReplacedCallback =
IO ()
type C_NavigationViewReplacedCallback =
Ptr NavigationView ->
Ptr () ->
IO ()
foreign import ccall "wrapper"
mk_NavigationViewReplacedCallback :: C_NavigationViewReplacedCallback -> IO (FunPtr C_NavigationViewReplacedCallback)
wrap_NavigationViewReplacedCallback ::
GObject a => (a -> NavigationViewReplacedCallback) ->
C_NavigationViewReplacedCallback
wrap_NavigationViewReplacedCallback :: forall a.
GObject a =>
(a -> IO ()) -> C_NavigationViewPushedCallback
wrap_NavigationViewReplacedCallback a -> IO ()
gi'cb Ptr NavigationView
gi'selfPtr Ptr ()
_ = do
Ptr NavigationView -> (NavigationView -> IO ()) -> IO ()
forall o b.
(HasCallStack, GObject o) =>
Ptr o -> (o -> IO b) -> IO b
B.ManagedPtr.withNewObject Ptr NavigationView
gi'selfPtr ((NavigationView -> IO ()) -> IO ())
-> (NavigationView -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \NavigationView
gi'self -> a -> IO ()
gi'cb (NavigationView -> a
forall a b. Coercible a b => a -> b
Coerce.coerce NavigationView
gi'self)
onNavigationViewReplaced :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewReplacedCallback) -> m SignalHandlerId
onNavigationViewReplaced :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a -> ((?self::a) => IO ()) -> m SignalHandlerId
onNavigationViewReplaced a
obj (?self::a) => IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> IO ()
wrapped a
self = let ?self = a
?self::a
self in IO ()
(?self::a) => IO ()
cb
let wrapped' :: C_NavigationViewPushedCallback
wrapped' = (a -> IO ()) -> C_NavigationViewPushedCallback
forall a.
GObject a =>
(a -> IO ()) -> C_NavigationViewPushedCallback
wrap_NavigationViewReplacedCallback a -> IO ()
wrapped
FunPtr C_NavigationViewPushedCallback
wrapped'' <- C_NavigationViewPushedCallback
-> IO (FunPtr C_NavigationViewPushedCallback)
mk_NavigationViewReplacedCallback C_NavigationViewPushedCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewPushedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"replaced" FunPtr C_NavigationViewPushedCallback
wrapped'' SignalConnectMode
SignalConnectBefore Maybe Text
forall a. Maybe a
Nothing
afterNavigationViewReplaced :: (IsNavigationView a, MonadIO m) => a -> ((?self :: a) => NavigationViewReplacedCallback) -> m SignalHandlerId
afterNavigationViewReplaced :: forall a (m :: * -> *).
(IsNavigationView a, MonadIO m) =>
a -> ((?self::a) => IO ()) -> m SignalHandlerId
afterNavigationViewReplaced a
obj (?self::a) => IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
let wrapped :: a -> IO ()
wrapped a
self = let ?self = a
?self::a
self in IO ()
(?self::a) => IO ()
cb
let wrapped' :: C_NavigationViewPushedCallback
wrapped' = (a -> IO ()) -> C_NavigationViewPushedCallback
forall a.
GObject a =>
(a -> IO ()) -> C_NavigationViewPushedCallback
wrap_NavigationViewReplacedCallback a -> IO ()
wrapped
FunPtr C_NavigationViewPushedCallback
wrapped'' <- C_NavigationViewPushedCallback
-> IO (FunPtr C_NavigationViewPushedCallback)
mk_NavigationViewReplacedCallback C_NavigationViewPushedCallback
wrapped'
a
-> Text
-> FunPtr C_NavigationViewPushedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"replaced" FunPtr C_NavigationViewPushedCallback
wrapped'' SignalConnectMode
SignalConnectAfter Maybe Text
forall a. Maybe a
Nothing
#if defined(ENABLE_OVERLOADING)
data NavigationViewReplacedSignalInfo
instance SignalInfo NavigationViewReplacedSignalInfo where
type HaskellCallbackType NavigationViewReplacedSignalInfo = NavigationViewReplacedCallback
connectSignal obj cb connectMode detail = do
let cb' = wrap_NavigationViewReplacedCallback cb
cb'' <- mk_NavigationViewReplacedCallback cb'
connectSignalFunPtr obj "replaced" cb'' connectMode detail
dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView::replaced"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:signal:replaced"})
#endif
getNavigationViewAnimateTransitions :: (MonadIO m, IsNavigationView o) => o -> m Bool
getNavigationViewAnimateTransitions :: forall (m :: * -> *) o.
(MonadIO m, IsNavigationView o) =>
o -> m Bool
getNavigationViewAnimateTransitions o
obj = IO Bool -> m Bool
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ o -> String -> IO Bool
forall a. GObject a => a -> String -> IO Bool
B.Properties.getObjectPropertyBool o
obj String
"animate-transitions"
setNavigationViewAnimateTransitions :: (MonadIO m, IsNavigationView o) => o -> Bool -> m ()
setNavigationViewAnimateTransitions :: forall (m :: * -> *) o.
(MonadIO m, IsNavigationView o) =>
o -> Bool -> m ()
setNavigationViewAnimateTransitions o
obj Bool
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
o -> String -> Bool -> IO ()
forall a. GObject a => a -> String -> Bool -> IO ()
B.Properties.setObjectPropertyBool o
obj String
"animate-transitions" Bool
val
constructNavigationViewAnimateTransitions :: (IsNavigationView o, MIO.MonadIO m) => Bool -> m (GValueConstruct o)
constructNavigationViewAnimateTransitions :: forall o (m :: * -> *).
(IsNavigationView o, MonadIO m) =>
Bool -> m (GValueConstruct o)
constructNavigationViewAnimateTransitions Bool
val = IO (GValueConstruct o) -> m (GValueConstruct o)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO (GValueConstruct o) -> m (GValueConstruct o))
-> IO (GValueConstruct o) -> m (GValueConstruct o)
forall a b. (a -> b) -> a -> b
$ do
IO (GValueConstruct o) -> IO (GValueConstruct o)
forall a. IO a -> IO a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO (GValueConstruct o) -> IO (GValueConstruct o))
-> IO (GValueConstruct o) -> IO (GValueConstruct o)
forall a b. (a -> b) -> a -> b
$ String -> Bool -> IO (GValueConstruct o)
forall o. String -> Bool -> IO (GValueConstruct o)
B.Properties.constructObjectPropertyBool String
"animate-transitions" Bool
val
#if defined(ENABLE_OVERLOADING)
data NavigationViewAnimateTransitionsPropertyInfo
instance AttrInfo NavigationViewAnimateTransitionsPropertyInfo where
type AttrAllowedOps NavigationViewAnimateTransitionsPropertyInfo = '[ 'AttrSet, 'AttrConstruct, 'AttrGet]
type AttrBaseTypeConstraint NavigationViewAnimateTransitionsPropertyInfo = IsNavigationView
type AttrSetTypeConstraint NavigationViewAnimateTransitionsPropertyInfo = (~) Bool
type AttrTransferTypeConstraint NavigationViewAnimateTransitionsPropertyInfo = (~) Bool
type AttrTransferType NavigationViewAnimateTransitionsPropertyInfo = Bool
type AttrGetType NavigationViewAnimateTransitionsPropertyInfo = Bool
type AttrLabel NavigationViewAnimateTransitionsPropertyInfo = "animate-transitions"
type AttrOrigin NavigationViewAnimateTransitionsPropertyInfo = NavigationView
attrGet = getNavigationViewAnimateTransitions
attrSet = setNavigationViewAnimateTransitions
attrTransfer _ v = do
return v
attrConstruct = constructNavigationViewAnimateTransitions
attrClear = undefined
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.animateTransitions"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:attr:animateTransitions"
})
#endif
getNavigationViewNavigationStack :: (MonadIO m, IsNavigationView o) => o -> m (Maybe Gio.ListModel.ListModel)
getNavigationViewNavigationStack :: forall (m :: * -> *) o.
(MonadIO m, IsNavigationView o) =>
o -> m (Maybe ListModel)
getNavigationViewNavigationStack o
obj = IO (Maybe ListModel) -> m (Maybe ListModel)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO (Maybe ListModel) -> m (Maybe ListModel))
-> IO (Maybe ListModel) -> m (Maybe ListModel)
forall a b. (a -> b) -> a -> b
$ o
-> String
-> (ManagedPtr ListModel -> ListModel)
-> IO (Maybe ListModel)
forall a b.
(GObject a, GObject b) =>
a -> String -> (ManagedPtr b -> b) -> IO (Maybe b)
B.Properties.getObjectPropertyObject o
obj String
"navigation-stack" ManagedPtr ListModel -> ListModel
Gio.ListModel.ListModel
#if defined(ENABLE_OVERLOADING)
data NavigationViewNavigationStackPropertyInfo
instance AttrInfo NavigationViewNavigationStackPropertyInfo where
type AttrAllowedOps NavigationViewNavigationStackPropertyInfo = '[ 'AttrGet, 'AttrClear]
type AttrBaseTypeConstraint NavigationViewNavigationStackPropertyInfo = IsNavigationView
type AttrSetTypeConstraint NavigationViewNavigationStackPropertyInfo = (~) ()
type AttrTransferTypeConstraint NavigationViewNavigationStackPropertyInfo = (~) ()
type AttrTransferType NavigationViewNavigationStackPropertyInfo = ()
type AttrGetType NavigationViewNavigationStackPropertyInfo = (Maybe Gio.ListModel.ListModel)
type AttrLabel NavigationViewNavigationStackPropertyInfo = "navigation-stack"
type AttrOrigin NavigationViewNavigationStackPropertyInfo = NavigationView
attrGet = getNavigationViewNavigationStack
attrSet = undefined
attrTransfer _ = undefined
attrConstruct = undefined
attrClear = undefined
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationStack"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:attr:navigationStack"
})
#endif
getNavigationViewPopOnEscape :: (MonadIO m, IsNavigationView o) => o -> m Bool
getNavigationViewPopOnEscape :: forall (m :: * -> *) o.
(MonadIO m, IsNavigationView o) =>
o -> m Bool
getNavigationViewPopOnEscape o
obj = IO Bool -> m Bool
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ o -> String -> IO Bool
forall a. GObject a => a -> String -> IO Bool
B.Properties.getObjectPropertyBool o
obj String
"pop-on-escape"
setNavigationViewPopOnEscape :: (MonadIO m, IsNavigationView o) => o -> Bool -> m ()
setNavigationViewPopOnEscape :: forall (m :: * -> *) o.
(MonadIO m, IsNavigationView o) =>
o -> Bool -> m ()
setNavigationViewPopOnEscape o
obj Bool
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
o -> String -> Bool -> IO ()
forall a. GObject a => a -> String -> Bool -> IO ()
B.Properties.setObjectPropertyBool o
obj String
"pop-on-escape" Bool
val
constructNavigationViewPopOnEscape :: (IsNavigationView o, MIO.MonadIO m) => Bool -> m (GValueConstruct o)
constructNavigationViewPopOnEscape :: forall o (m :: * -> *).
(IsNavigationView o, MonadIO m) =>
Bool -> m (GValueConstruct o)
constructNavigationViewPopOnEscape Bool
val = IO (GValueConstruct o) -> m (GValueConstruct o)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO (GValueConstruct o) -> m (GValueConstruct o))
-> IO (GValueConstruct o) -> m (GValueConstruct o)
forall a b. (a -> b) -> a -> b
$ do
IO (GValueConstruct o) -> IO (GValueConstruct o)
forall a. IO a -> IO a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (IO (GValueConstruct o) -> IO (GValueConstruct o))
-> IO (GValueConstruct o) -> IO (GValueConstruct o)
forall a b. (a -> b) -> a -> b
$ String -> Bool -> IO (GValueConstruct o)
forall o. String -> Bool -> IO (GValueConstruct o)
B.Properties.constructObjectPropertyBool String
"pop-on-escape" Bool
val
#if defined(ENABLE_OVERLOADING)
data NavigationViewPopOnEscapePropertyInfo
instance AttrInfo NavigationViewPopOnEscapePropertyInfo where
type AttrAllowedOps NavigationViewPopOnEscapePropertyInfo = '[ 'AttrSet, 'AttrConstruct, 'AttrGet]
type AttrBaseTypeConstraint NavigationViewPopOnEscapePropertyInfo = IsNavigationView
type AttrSetTypeConstraint NavigationViewPopOnEscapePropertyInfo = (~) Bool
type AttrTransferTypeConstraint NavigationViewPopOnEscapePropertyInfo = (~) Bool
type AttrTransferType NavigationViewPopOnEscapePropertyInfo = Bool
type AttrGetType NavigationViewPopOnEscapePropertyInfo = Bool
type AttrLabel NavigationViewPopOnEscapePropertyInfo = "pop-on-escape"
type AttrOrigin NavigationViewPopOnEscapePropertyInfo = NavigationView
attrGet = getNavigationViewPopOnEscape
attrSet = setNavigationViewPopOnEscape
attrTransfer _ v = do
return v
attrConstruct = constructNavigationViewPopOnEscape
attrClear = undefined
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.popOnEscape"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:attr:popOnEscape"
})
#endif
getNavigationViewVisiblePage :: (MonadIO m, IsNavigationView o) => o -> m (Maybe Adw.NavigationPage.NavigationPage)
getNavigationViewVisiblePage :: forall (m :: * -> *) o.
(MonadIO m, IsNavigationView o) =>
o -> m (Maybe NavigationPage)
getNavigationViewVisiblePage o
obj = NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
MIO.liftIO (NavigationViewGetNextPageCallback -> m (Maybe NavigationPage))
-> NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a b. (a -> b) -> a -> b
$ o
-> String
-> (ManagedPtr NavigationPage -> NavigationPage)
-> NavigationViewGetNextPageCallback
forall a b.
(GObject a, GObject b) =>
a -> String -> (ManagedPtr b -> b) -> IO (Maybe b)
B.Properties.getObjectPropertyObject o
obj String
"visible-page" ManagedPtr NavigationPage -> NavigationPage
Adw.NavigationPage.NavigationPage
#if defined(ENABLE_OVERLOADING)
data NavigationViewVisiblePagePropertyInfo
instance AttrInfo NavigationViewVisiblePagePropertyInfo where
type AttrAllowedOps NavigationViewVisiblePagePropertyInfo = '[ 'AttrGet, 'AttrClear]
type AttrBaseTypeConstraint NavigationViewVisiblePagePropertyInfo = IsNavigationView
type AttrSetTypeConstraint NavigationViewVisiblePagePropertyInfo = (~) ()
type AttrTransferTypeConstraint NavigationViewVisiblePagePropertyInfo = (~) ()
type AttrTransferType NavigationViewVisiblePagePropertyInfo = ()
type AttrGetType NavigationViewVisiblePagePropertyInfo = (Maybe Adw.NavigationPage.NavigationPage)
type AttrLabel NavigationViewVisiblePagePropertyInfo = "visible-page"
type AttrOrigin NavigationViewVisiblePagePropertyInfo = NavigationView
attrGet = getNavigationViewVisiblePage
attrSet = undefined
attrTransfer _ = undefined
attrConstruct = undefined
attrClear = undefined
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.visiblePage"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#g:attr:visiblePage"
})
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList NavigationView
type instance O.AttributeList NavigationView = NavigationViewAttributeList
type NavigationViewAttributeList = ('[ '("accessibleRole", Gtk.Accessible.AccessibleAccessibleRolePropertyInfo), '("animateTransitions", NavigationViewAnimateTransitionsPropertyInfo), '("canFocus", Gtk.Widget.WidgetCanFocusPropertyInfo), '("canTarget", Gtk.Widget.WidgetCanTargetPropertyInfo), '("cssClasses", Gtk.Widget.WidgetCssClassesPropertyInfo), '("cssName", Gtk.Widget.WidgetCssNamePropertyInfo), '("cursor", Gtk.Widget.WidgetCursorPropertyInfo), '("focusOnClick", Gtk.Widget.WidgetFocusOnClickPropertyInfo), '("focusable", Gtk.Widget.WidgetFocusablePropertyInfo), '("halign", Gtk.Widget.WidgetHalignPropertyInfo), '("hasDefault", Gtk.Widget.WidgetHasDefaultPropertyInfo), '("hasFocus", Gtk.Widget.WidgetHasFocusPropertyInfo), '("hasTooltip", Gtk.Widget.WidgetHasTooltipPropertyInfo), '("heightRequest", Gtk.Widget.WidgetHeightRequestPropertyInfo), '("hexpand", Gtk.Widget.WidgetHexpandPropertyInfo), '("hexpandSet", Gtk.Widget.WidgetHexpandSetPropertyInfo), '("layoutManager", Gtk.Widget.WidgetLayoutManagerPropertyInfo), '("marginBottom", Gtk.Widget.WidgetMarginBottomPropertyInfo), '("marginEnd", Gtk.Widget.WidgetMarginEndPropertyInfo), '("marginStart", Gtk.Widget.WidgetMarginStartPropertyInfo), '("marginTop", Gtk.Widget.WidgetMarginTopPropertyInfo), '("name", Gtk.Widget.WidgetNamePropertyInfo), '("navigationStack", NavigationViewNavigationStackPropertyInfo), '("opacity", Gtk.Widget.WidgetOpacityPropertyInfo), '("overflow", Gtk.Widget.WidgetOverflowPropertyInfo), '("parent", Gtk.Widget.WidgetParentPropertyInfo), '("popOnEscape", NavigationViewPopOnEscapePropertyInfo), '("receivesDefault", Gtk.Widget.WidgetReceivesDefaultPropertyInfo), '("root", Gtk.Widget.WidgetRootPropertyInfo), '("scaleFactor", Gtk.Widget.WidgetScaleFactorPropertyInfo), '("sensitive", Gtk.Widget.WidgetSensitivePropertyInfo), '("tooltipMarkup", Gtk.Widget.WidgetTooltipMarkupPropertyInfo), '("tooltipText", Gtk.Widget.WidgetTooltipTextPropertyInfo), '("valign", Gtk.Widget.WidgetValignPropertyInfo), '("vexpand", Gtk.Widget.WidgetVexpandPropertyInfo), '("vexpandSet", Gtk.Widget.WidgetVexpandSetPropertyInfo), '("visible", Gtk.Widget.WidgetVisiblePropertyInfo), '("visiblePage", NavigationViewVisiblePagePropertyInfo), '("widthRequest", Gtk.Widget.WidgetWidthRequestPropertyInfo)] :: [(Symbol, DK.Type)])
#endif
#if defined(ENABLE_OVERLOADING)
navigationViewAnimateTransitions :: AttrLabelProxy "animateTransitions"
navigationViewAnimateTransitions = AttrLabelProxy
navigationViewNavigationStack :: AttrLabelProxy "navigationStack"
navigationViewNavigationStack = AttrLabelProxy
navigationViewPopOnEscape :: AttrLabelProxy "popOnEscape"
navigationViewPopOnEscape = AttrLabelProxy
navigationViewVisiblePage :: AttrLabelProxy "visiblePage"
navigationViewVisiblePage = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
type instance O.SignalList NavigationView = NavigationViewSignalList
type NavigationViewSignalList = ('[ '("destroy", Gtk.Widget.WidgetDestroySignalInfo), '("directionChanged", Gtk.Widget.WidgetDirectionChangedSignalInfo), '("getNextPage", NavigationViewGetNextPageSignalInfo), '("hide", Gtk.Widget.WidgetHideSignalInfo), '("keynavFailed", Gtk.Widget.WidgetKeynavFailedSignalInfo), '("map", Gtk.Widget.WidgetMapSignalInfo), '("mnemonicActivate", Gtk.Widget.WidgetMnemonicActivateSignalInfo), '("moveFocus", Gtk.Widget.WidgetMoveFocusSignalInfo), '("notify", GObject.Object.ObjectNotifySignalInfo), '("popped", NavigationViewPoppedSignalInfo), '("pushed", NavigationViewPushedSignalInfo), '("queryTooltip", Gtk.Widget.WidgetQueryTooltipSignalInfo), '("realize", Gtk.Widget.WidgetRealizeSignalInfo), '("replaced", NavigationViewReplacedSignalInfo), '("show", Gtk.Widget.WidgetShowSignalInfo), '("stateFlagsChanged", Gtk.Widget.WidgetStateFlagsChangedSignalInfo), '("unmap", Gtk.Widget.WidgetUnmapSignalInfo), '("unrealize", Gtk.Widget.WidgetUnrealizeSignalInfo)] :: [(Symbol, DK.Type)])
#endif
foreign import ccall "adw_navigation_view_new" adw_navigation_view_new ::
IO (Ptr NavigationView)
navigationViewNew ::
(B.CallStack.HasCallStack, MonadIO m) =>
m NavigationView
navigationViewNew :: forall (m :: * -> *). (HasCallStack, MonadIO m) => m NavigationView
navigationViewNew = IO NavigationView -> m NavigationView
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO NavigationView -> m NavigationView)
-> IO NavigationView -> m NavigationView
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
result <- IO (Ptr NavigationView)
adw_navigation_view_new
Text -> Ptr NavigationView -> IO ()
forall a. HasCallStack => Text -> Ptr a -> IO ()
checkUnexpectedReturnNULL Text
"navigationViewNew" Ptr NavigationView
result
NavigationView
result' <- ((ManagedPtr NavigationView -> NavigationView)
-> Ptr NavigationView -> IO NavigationView
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr NavigationView -> NavigationView
NavigationView) Ptr NavigationView
result
NavigationView -> IO NavigationView
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return NavigationView
result'
#if defined(ENABLE_OVERLOADING)
#endif
foreign import ccall "adw_navigation_view_add" adw_navigation_view_add ::
Ptr NavigationView ->
Ptr Adw.NavigationPage.NavigationPage ->
IO ()
navigationViewAdd ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) =>
a
-> b
-> m ()
navigationViewAdd :: forall (m :: * -> *) a b.
(HasCallStack, MonadIO m, IsNavigationView a,
IsNavigationPage b) =>
a -> b -> m ()
navigationViewAdd a
self b
page = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr NavigationPage
page' <- b -> IO (Ptr NavigationPage)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr b
page
Ptr NavigationView -> Ptr NavigationPage -> IO ()
adw_navigation_view_add Ptr NavigationView
self' Ptr NavigationPage
page'
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
b -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr b
page
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewAddMethodInfo
instance (signature ~ (b -> m ()), MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) => O.OverloadedMethod NavigationViewAddMethodInfo a signature where
overloadedMethod = navigationViewAdd
instance O.OverloadedMethodInfo NavigationViewAddMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewAdd",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewAdd"
})
#endif
foreign import ccall "adw_navigation_view_find_page" adw_navigation_view_find_page ::
Ptr NavigationView ->
CString ->
IO (Ptr Adw.NavigationPage.NavigationPage)
navigationViewFindPage ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> T.Text
-> m (Maybe Adw.NavigationPage.NavigationPage)
navigationViewFindPage :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> Text -> m (Maybe NavigationPage)
navigationViewFindPage a
self Text
tag = NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (NavigationViewGetNextPageCallback -> m (Maybe NavigationPage))
-> NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
CString
tag' <- Text -> IO CString
textToCString Text
tag
Ptr NavigationPage
result <- Ptr NavigationView -> CString -> IO (Ptr NavigationPage)
adw_navigation_view_find_page Ptr NavigationView
self' CString
tag'
Maybe NavigationPage
maybeResult <- Ptr NavigationPage
-> (Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
convertIfNonNull Ptr NavigationPage
result ((Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback)
-> (Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback
forall a b. (a -> b) -> a -> b
$ \Ptr NavigationPage
result' -> do
NavigationPage
result'' <- ((ManagedPtr NavigationPage -> NavigationPage)
-> Ptr NavigationPage -> IO NavigationPage
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr NavigationPage -> NavigationPage
Adw.NavigationPage.NavigationPage) Ptr NavigationPage
result'
NavigationPage -> IO NavigationPage
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return NavigationPage
result''
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
CString -> IO ()
forall a. Ptr a -> IO ()
freeMem CString
tag'
Maybe NavigationPage -> NavigationViewGetNextPageCallback
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe NavigationPage
maybeResult
#if defined(ENABLE_OVERLOADING)
data NavigationViewFindPageMethodInfo
instance (signature ~ (T.Text -> m (Maybe Adw.NavigationPage.NavigationPage)), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewFindPageMethodInfo a signature where
overloadedMethod = navigationViewFindPage
instance O.OverloadedMethodInfo NavigationViewFindPageMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewFindPage",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewFindPage"
})
#endif
foreign import ccall "adw_navigation_view_get_animate_transitions" adw_navigation_view_get_animate_transitions ::
Ptr NavigationView ->
IO CInt
navigationViewGetAnimateTransitions ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> m Bool
navigationViewGetAnimateTransitions :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> m Bool
navigationViewGetAnimateTransitions a
self = IO Bool -> m Bool
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
CInt
result <- Ptr NavigationView -> IO CInt
adw_navigation_view_get_animate_transitions Ptr NavigationView
self'
let result' :: Bool
result' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= CInt
0) CInt
result
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
result'
#if defined(ENABLE_OVERLOADING)
data NavigationViewGetAnimateTransitionsMethodInfo
instance (signature ~ (m Bool), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewGetAnimateTransitionsMethodInfo a signature where
overloadedMethod = navigationViewGetAnimateTransitions
instance O.OverloadedMethodInfo NavigationViewGetAnimateTransitionsMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewGetAnimateTransitions",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewGetAnimateTransitions"
})
#endif
foreign import ccall "adw_navigation_view_get_navigation_stack" adw_navigation_view_get_navigation_stack ::
Ptr NavigationView ->
IO (Ptr Gio.ListModel.ListModel)
navigationViewGetNavigationStack ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> m Gio.ListModel.ListModel
navigationViewGetNavigationStack :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> m ListModel
navigationViewGetNavigationStack a
self = IO ListModel -> m ListModel
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO ListModel -> m ListModel) -> IO ListModel -> m ListModel
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr ListModel
result <- Ptr NavigationView -> IO (Ptr ListModel)
adw_navigation_view_get_navigation_stack Ptr NavigationView
self'
Text -> Ptr ListModel -> IO ()
forall a. HasCallStack => Text -> Ptr a -> IO ()
checkUnexpectedReturnNULL Text
"navigationViewGetNavigationStack" Ptr ListModel
result
ListModel
result' <- ((ManagedPtr ListModel -> ListModel)
-> Ptr ListModel -> IO ListModel
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
wrapObject ManagedPtr ListModel -> ListModel
Gio.ListModel.ListModel) Ptr ListModel
result
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
ListModel -> IO ListModel
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ListModel
result'
#if defined(ENABLE_OVERLOADING)
data NavigationViewGetNavigationStackMethodInfo
instance (signature ~ (m Gio.ListModel.ListModel), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewGetNavigationStackMethodInfo a signature where
overloadedMethod = navigationViewGetNavigationStack
instance O.OverloadedMethodInfo NavigationViewGetNavigationStackMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewGetNavigationStack",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewGetNavigationStack"
})
#endif
foreign import ccall "adw_navigation_view_get_pop_on_escape" adw_navigation_view_get_pop_on_escape ::
Ptr NavigationView ->
IO CInt
navigationViewGetPopOnEscape ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> m Bool
navigationViewGetPopOnEscape :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> m Bool
navigationViewGetPopOnEscape a
self = IO Bool -> m Bool
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
CInt
result <- Ptr NavigationView -> IO CInt
adw_navigation_view_get_pop_on_escape Ptr NavigationView
self'
let result' :: Bool
result' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= CInt
0) CInt
result
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
result'
#if defined(ENABLE_OVERLOADING)
data NavigationViewGetPopOnEscapeMethodInfo
instance (signature ~ (m Bool), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewGetPopOnEscapeMethodInfo a signature where
overloadedMethod = navigationViewGetPopOnEscape
instance O.OverloadedMethodInfo NavigationViewGetPopOnEscapeMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewGetPopOnEscape",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewGetPopOnEscape"
})
#endif
foreign import ccall "adw_navigation_view_get_previous_page" adw_navigation_view_get_previous_page ::
Ptr NavigationView ->
Ptr Adw.NavigationPage.NavigationPage ->
IO (Ptr Adw.NavigationPage.NavigationPage)
navigationViewGetPreviousPage ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) =>
a
-> b
-> m (Maybe Adw.NavigationPage.NavigationPage)
navigationViewGetPreviousPage :: forall (m :: * -> *) a b.
(HasCallStack, MonadIO m, IsNavigationView a,
IsNavigationPage b) =>
a -> b -> m (Maybe NavigationPage)
navigationViewGetPreviousPage a
self b
page = NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (NavigationViewGetNextPageCallback -> m (Maybe NavigationPage))
-> NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr NavigationPage
page' <- b -> IO (Ptr NavigationPage)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr b
page
Ptr NavigationPage
result <- Ptr NavigationView -> Ptr NavigationPage -> IO (Ptr NavigationPage)
adw_navigation_view_get_previous_page Ptr NavigationView
self' Ptr NavigationPage
page'
Maybe NavigationPage
maybeResult <- Ptr NavigationPage
-> (Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
convertIfNonNull Ptr NavigationPage
result ((Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback)
-> (Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback
forall a b. (a -> b) -> a -> b
$ \Ptr NavigationPage
result' -> do
NavigationPage
result'' <- ((ManagedPtr NavigationPage -> NavigationPage)
-> Ptr NavigationPage -> IO NavigationPage
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr NavigationPage -> NavigationPage
Adw.NavigationPage.NavigationPage) Ptr NavigationPage
result'
NavigationPage -> IO NavigationPage
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return NavigationPage
result''
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
b -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr b
page
Maybe NavigationPage -> NavigationViewGetNextPageCallback
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe NavigationPage
maybeResult
#if defined(ENABLE_OVERLOADING)
data NavigationViewGetPreviousPageMethodInfo
instance (signature ~ (b -> m (Maybe Adw.NavigationPage.NavigationPage)), MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) => O.OverloadedMethod NavigationViewGetPreviousPageMethodInfo a signature where
overloadedMethod = navigationViewGetPreviousPage
instance O.OverloadedMethodInfo NavigationViewGetPreviousPageMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewGetPreviousPage",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewGetPreviousPage"
})
#endif
foreign import ccall "adw_navigation_view_get_visible_page" adw_navigation_view_get_visible_page ::
Ptr NavigationView ->
IO (Ptr Adw.NavigationPage.NavigationPage)
navigationViewGetVisiblePage ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> m (Maybe Adw.NavigationPage.NavigationPage)
navigationViewGetVisiblePage :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> m (Maybe NavigationPage)
navigationViewGetVisiblePage a
self = NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (NavigationViewGetNextPageCallback -> m (Maybe NavigationPage))
-> NavigationViewGetNextPageCallback -> m (Maybe NavigationPage)
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr NavigationPage
result <- Ptr NavigationView -> IO (Ptr NavigationPage)
adw_navigation_view_get_visible_page Ptr NavigationView
self'
Maybe NavigationPage
maybeResult <- Ptr NavigationPage
-> (Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
convertIfNonNull Ptr NavigationPage
result ((Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback)
-> (Ptr NavigationPage -> IO NavigationPage)
-> NavigationViewGetNextPageCallback
forall a b. (a -> b) -> a -> b
$ \Ptr NavigationPage
result' -> do
NavigationPage
result'' <- ((ManagedPtr NavigationPage -> NavigationPage)
-> Ptr NavigationPage -> IO NavigationPage
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr NavigationPage -> NavigationPage
Adw.NavigationPage.NavigationPage) Ptr NavigationPage
result'
NavigationPage -> IO NavigationPage
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return NavigationPage
result''
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
Maybe NavigationPage -> NavigationViewGetNextPageCallback
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe NavigationPage
maybeResult
#if defined(ENABLE_OVERLOADING)
data NavigationViewGetVisiblePageMethodInfo
instance (signature ~ (m (Maybe Adw.NavigationPage.NavigationPage)), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewGetVisiblePageMethodInfo a signature where
overloadedMethod = navigationViewGetVisiblePage
instance O.OverloadedMethodInfo NavigationViewGetVisiblePageMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewGetVisiblePage",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewGetVisiblePage"
})
#endif
foreign import ccall "adw_navigation_view_pop" adw_navigation_view_pop ::
Ptr NavigationView ->
IO CInt
navigationViewPop ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> m Bool
navigationViewPop :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> m Bool
navigationViewPop a
self = IO Bool -> m Bool
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
CInt
result <- Ptr NavigationView -> IO CInt
adw_navigation_view_pop Ptr NavigationView
self'
let result' :: Bool
result' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= CInt
0) CInt
result
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
result'
#if defined(ENABLE_OVERLOADING)
data NavigationViewPopMethodInfo
instance (signature ~ (m Bool), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewPopMethodInfo a signature where
overloadedMethod = navigationViewPop
instance O.OverloadedMethodInfo NavigationViewPopMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewPop",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewPop"
})
#endif
foreign import ccall "adw_navigation_view_pop_to_page" adw_navigation_view_pop_to_page ::
Ptr NavigationView ->
Ptr Adw.NavigationPage.NavigationPage ->
IO CInt
navigationViewPopToPage ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) =>
a
-> b
-> m Bool
navigationViewPopToPage :: forall (m :: * -> *) a b.
(HasCallStack, MonadIO m, IsNavigationView a,
IsNavigationPage b) =>
a -> b -> m Bool
navigationViewPopToPage a
self b
page = IO Bool -> m Bool
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr NavigationPage
page' <- b -> IO (Ptr NavigationPage)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr b
page
CInt
result <- Ptr NavigationView -> Ptr NavigationPage -> IO CInt
adw_navigation_view_pop_to_page Ptr NavigationView
self' Ptr NavigationPage
page'
let result' :: Bool
result' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= CInt
0) CInt
result
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
b -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr b
page
Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
result'
#if defined(ENABLE_OVERLOADING)
data NavigationViewPopToPageMethodInfo
instance (signature ~ (b -> m Bool), MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) => O.OverloadedMethod NavigationViewPopToPageMethodInfo a signature where
overloadedMethod = navigationViewPopToPage
instance O.OverloadedMethodInfo NavigationViewPopToPageMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewPopToPage",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewPopToPage"
})
#endif
foreign import ccall "adw_navigation_view_pop_to_tag" adw_navigation_view_pop_to_tag ::
Ptr NavigationView ->
CString ->
IO CInt
navigationViewPopToTag ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> T.Text
-> m Bool
navigationViewPopToTag :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> Text -> m Bool
navigationViewPopToTag a
self Text
tag = IO Bool -> m Bool
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Bool -> m Bool) -> IO Bool -> m Bool
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
CString
tag' <- Text -> IO CString
textToCString Text
tag
CInt
result <- Ptr NavigationView -> CString -> IO CInt
adw_navigation_view_pop_to_tag Ptr NavigationView
self' CString
tag'
let result' :: Bool
result' = (CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
/= CInt
0) CInt
result
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
CString -> IO ()
forall a. Ptr a -> IO ()
freeMem CString
tag'
Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
result'
#if defined(ENABLE_OVERLOADING)
data NavigationViewPopToTagMethodInfo
instance (signature ~ (T.Text -> m Bool), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewPopToTagMethodInfo a signature where
overloadedMethod = navigationViewPopToTag
instance O.OverloadedMethodInfo NavigationViewPopToTagMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewPopToTag",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewPopToTag"
})
#endif
foreign import ccall "adw_navigation_view_push" adw_navigation_view_push ::
Ptr NavigationView ->
Ptr Adw.NavigationPage.NavigationPage ->
IO ()
navigationViewPush ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) =>
a
-> b
-> m ()
navigationViewPush :: forall (m :: * -> *) a b.
(HasCallStack, MonadIO m, IsNavigationView a,
IsNavigationPage b) =>
a -> b -> m ()
navigationViewPush a
self b
page = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr NavigationPage
page' <- b -> IO (Ptr NavigationPage)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr b
page
Ptr NavigationView -> Ptr NavigationPage -> IO ()
adw_navigation_view_push Ptr NavigationView
self' Ptr NavigationPage
page'
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
b -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr b
page
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewPushMethodInfo
instance (signature ~ (b -> m ()), MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) => O.OverloadedMethod NavigationViewPushMethodInfo a signature where
overloadedMethod = navigationViewPush
instance O.OverloadedMethodInfo NavigationViewPushMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewPush",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewPush"
})
#endif
foreign import ccall "adw_navigation_view_push_by_tag" adw_navigation_view_push_by_tag ::
Ptr NavigationView ->
CString ->
IO ()
navigationViewPushByTag ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> T.Text
-> m ()
navigationViewPushByTag :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> Text -> m ()
navigationViewPushByTag a
self Text
tag = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
CString
tag' <- Text -> IO CString
textToCString Text
tag
Ptr NavigationView -> CString -> IO ()
adw_navigation_view_push_by_tag Ptr NavigationView
self' CString
tag'
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
CString -> IO ()
forall a. Ptr a -> IO ()
freeMem CString
tag'
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewPushByTagMethodInfo
instance (signature ~ (T.Text -> m ()), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewPushByTagMethodInfo a signature where
overloadedMethod = navigationViewPushByTag
instance O.OverloadedMethodInfo NavigationViewPushByTagMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewPushByTag",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewPushByTag"
})
#endif
foreign import ccall "adw_navigation_view_remove" adw_navigation_view_remove ::
Ptr NavigationView ->
Ptr Adw.NavigationPage.NavigationPage ->
IO ()
navigationViewRemove ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) =>
a
-> b
-> m ()
navigationViewRemove :: forall (m :: * -> *) a b.
(HasCallStack, MonadIO m, IsNavigationView a,
IsNavigationPage b) =>
a -> b -> m ()
navigationViewRemove a
self b
page = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr NavigationPage
page' <- b -> IO (Ptr NavigationPage)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr b
page
Ptr NavigationView -> Ptr NavigationPage -> IO ()
adw_navigation_view_remove Ptr NavigationView
self' Ptr NavigationPage
page'
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
b -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr b
page
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewRemoveMethodInfo
instance (signature ~ (b -> m ()), MonadIO m, IsNavigationView a, Adw.NavigationPage.IsNavigationPage b) => O.OverloadedMethod NavigationViewRemoveMethodInfo a signature where
overloadedMethod = navigationViewRemove
instance O.OverloadedMethodInfo NavigationViewRemoveMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewRemove",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewRemove"
})
#endif
foreign import ccall "adw_navigation_view_replace" adw_navigation_view_replace ::
Ptr NavigationView ->
Ptr (Ptr Adw.NavigationPage.NavigationPage) ->
Int32 ->
IO ()
navigationViewReplace ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> [Adw.NavigationPage.NavigationPage]
-> m ()
navigationViewReplace :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> [NavigationPage] -> m ()
navigationViewReplace a
self [NavigationPage]
pages = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
let nPages :: Int32
nPages = Int -> Int32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> Int32) -> Int -> Int32
forall a b. (a -> b) -> a -> b
$ [NavigationPage] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
P.length [NavigationPage]
pages
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
[Ptr NavigationPage]
pages' <- (NavigationPage -> IO (Ptr NavigationPage))
-> [NavigationPage] -> IO [Ptr NavigationPage]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM NavigationPage -> IO (Ptr NavigationPage)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr [NavigationPage]
pages
Ptr (Ptr NavigationPage)
pages'' <- [Ptr NavigationPage] -> IO (Ptr (Ptr NavigationPage))
forall a. [Ptr a] -> IO (Ptr (Ptr a))
packPtrArray [Ptr NavigationPage]
pages'
Ptr NavigationView -> Ptr (Ptr NavigationPage) -> Int32 -> IO ()
adw_navigation_view_replace Ptr NavigationView
self' Ptr (Ptr NavigationPage)
pages'' Int32
nPages
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
NavigationViewPoppedCallback -> [NavigationPage] -> IO ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ NavigationViewPoppedCallback
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr [NavigationPage]
pages
Ptr (Ptr NavigationPage) -> IO ()
forall a. Ptr a -> IO ()
freeMem Ptr (Ptr NavigationPage)
pages''
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewReplaceMethodInfo
instance (signature ~ ([Adw.NavigationPage.NavigationPage] -> m ()), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewReplaceMethodInfo a signature where
overloadedMethod = navigationViewReplace
instance O.OverloadedMethodInfo NavigationViewReplaceMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewReplace",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewReplace"
})
#endif
foreign import ccall "adw_navigation_view_replace_with_tags" adw_navigation_view_replace_with_tags ::
Ptr NavigationView ->
Ptr CString ->
Int32 ->
IO ()
navigationViewReplaceWithTags ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> [T.Text]
-> m ()
navigationViewReplaceWithTags :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> [Text] -> m ()
navigationViewReplaceWithTags a
self [Text]
tags = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
let nTags :: Int32
nTags = Int -> Int32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> Int32) -> Int -> Int32
forall a b. (a -> b) -> a -> b
$ [Text] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
P.length [Text]
tags
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
Ptr CString
tags' <- [Text] -> IO (Ptr CString)
packUTF8CArray [Text]
tags
Ptr NavigationView -> Ptr CString -> Int32 -> IO ()
adw_navigation_view_replace_with_tags Ptr NavigationView
self' Ptr CString
tags' Int32
nTags
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
(Int32 -> (CString -> IO ()) -> Ptr CString -> IO ()
forall a b c.
(Storable a, Integral b) =>
b -> (a -> IO c) -> Ptr a -> IO ()
mapCArrayWithLength Int32
nTags) CString -> IO ()
forall a. Ptr a -> IO ()
freeMem Ptr CString
tags'
Ptr CString -> IO ()
forall a. Ptr a -> IO ()
freeMem Ptr CString
tags'
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewReplaceWithTagsMethodInfo
instance (signature ~ ([T.Text] -> m ()), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewReplaceWithTagsMethodInfo a signature where
overloadedMethod = navigationViewReplaceWithTags
instance O.OverloadedMethodInfo NavigationViewReplaceWithTagsMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewReplaceWithTags",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewReplaceWithTags"
})
#endif
foreign import ccall "adw_navigation_view_set_animate_transitions" adw_navigation_view_set_animate_transitions ::
Ptr NavigationView ->
CInt ->
IO ()
navigationViewSetAnimateTransitions ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> Bool
-> m ()
navigationViewSetAnimateTransitions :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> Bool -> m ()
navigationViewSetAnimateTransitions a
self Bool
animateTransitions = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
let animateTransitions' :: CInt
animateTransitions' = (Int -> CInt
forall a b. (Integral a, Num b) => a -> b
P.fromIntegral (Int -> CInt) -> (Bool -> Int) -> Bool -> CInt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Bool -> Int
forall a. Enum a => a -> Int
P.fromEnum) Bool
animateTransitions
Ptr NavigationView -> CInt -> IO ()
adw_navigation_view_set_animate_transitions Ptr NavigationView
self' CInt
animateTransitions'
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewSetAnimateTransitionsMethodInfo
instance (signature ~ (Bool -> m ()), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewSetAnimateTransitionsMethodInfo a signature where
overloadedMethod = navigationViewSetAnimateTransitions
instance O.OverloadedMethodInfo NavigationViewSetAnimateTransitionsMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewSetAnimateTransitions",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewSetAnimateTransitions"
})
#endif
foreign import ccall "adw_navigation_view_set_pop_on_escape" adw_navigation_view_set_pop_on_escape ::
Ptr NavigationView ->
CInt ->
IO ()
navigationViewSetPopOnEscape ::
(B.CallStack.HasCallStack, MonadIO m, IsNavigationView a) =>
a
-> Bool
-> m ()
navigationViewSetPopOnEscape :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsNavigationView a) =>
a -> Bool -> m ()
navigationViewSetPopOnEscape a
self Bool
popOnEscape = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Ptr NavigationView
self' <- a -> IO (Ptr NavigationView)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
let popOnEscape' :: CInt
popOnEscape' = (Int -> CInt
forall a b. (Integral a, Num b) => a -> b
P.fromIntegral (Int -> CInt) -> (Bool -> Int) -> Bool -> CInt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Bool -> Int
forall a. Enum a => a -> Int
P.fromEnum) Bool
popOnEscape
Ptr NavigationView -> CInt -> IO ()
adw_navigation_view_set_pop_on_escape Ptr NavigationView
self' CInt
popOnEscape'
a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
#if defined(ENABLE_OVERLOADING)
data NavigationViewSetPopOnEscapeMethodInfo
instance (signature ~ (Bool -> m ()), MonadIO m, IsNavigationView a) => O.OverloadedMethod NavigationViewSetPopOnEscapeMethodInfo a signature where
overloadedMethod = navigationViewSetPopOnEscape
instance O.OverloadedMethodInfo NavigationViewSetPopOnEscapeMethodInfo a where
overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Adw.Objects.NavigationView.navigationViewSetPopOnEscape",
O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-adwaita-1.0.7/docs/GI-Adw-Objects-NavigationView.html#v:navigationViewSetPopOnEscape"
})
#endif