Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. type ScreenSizeChangedCallback = IO ()

    gi-gdk3 GI.Gdk.Objects.Screen

    The sizeChanged signal is emitted when the pixel width or height of a screen changes. Since: 2.2

  2. type SeatDeviceAddedCallback = Device -> IO ()

    gi-gdk3 GI.Gdk.Objects.Seat

    The deviceAdded signal is emitted when a new input device is related to this seat. Since: 3.20

  3. type SeatDeviceRemovedCallback = Device -> IO ()

    gi-gdk3 GI.Gdk.Objects.Seat

    The deviceRemoved signal is emitted when an input device is removed (e.g. unplugged). Since: 3.20

  4. type SeatToolAddedCallback = DeviceTool -> IO ()

    gi-gdk3 GI.Gdk.Objects.Seat

    The toolAdded signal is emitted whenever a new tool is made known to the seat. The tool may later be assigned to a device (i.e. on proximity with a tablet). The device will emit the Device::toolChanged signal accordingly. A same tool may be used by several devices. Since: 3.22

  5. type SeatToolRemovedCallback = DeviceTool -> IO ()

    gi-gdk3 GI.Gdk.Objects.Seat

    This signal is emitted whenever a tool is no longer known to this seat. Since: 3.22

  6. type WindowCreateSurfaceCallback = Int32 -> Int32 -> IO Surface

    gi-gdk3 GI.Gdk.Objects.Window

    The createSurface signal is emitted when an offscreen window needs its surface (re)created, which happens either when the window is first drawn to, or when the window is being resized. The first signal handler that returns a non-Nothing surface will stop any further signal emission, and its surface will be used. Note that it is not possible to access the window's previous surface from within any callback of this signal. Calling offscreenWindowGetSurface will lead to a crash. Since: 3.0

  7. type WindowFromEmbedderCallback = Double -> Double -> IO (Double, Double)

    gi-gdk3 GI.Gdk.Objects.Window

    The fromEmbedder signal is emitted to translate coordinates in the embedder of an offscreen window to the offscreen window. See also Window::toEmbedder. Since: 2.18

  8. type WindowMovedToRectCallback = Ptr () -> Ptr () -> Bool -> Bool -> IO ()

    gi-gdk3 GI.Gdk.Objects.Window

    Emitted when the position of window is finalized after being moved to a destination rectangle. window might be flipped over the destination rectangle in order to keep it on-screen, in which case flippedX and flippedY will be set to True accordingly. flippedRect is the ideal position of window after any possible flipping, but before any possible sliding. finalRect is flippedRect, but possibly translated in the case that flipping is still ineffective in keeping window on-screen. Since: 3.22

  9. type WindowPickEmbeddedChildCallback = Double -> Double -> IO Maybe Window

    gi-gdk3 GI.Gdk.Objects.Window

    The pickEmbeddedChild signal is emitted to find an embedded child at the given position. Since: 2.18

  10. type WindowToEmbedderCallback = Double -> Double -> IO (Double, Double)

    gi-gdk3 GI.Gdk.Objects.Window

    The toEmbedder signal is emitted to translate coordinates in an offscreen window to its embedder. See also Window::fromEmbedder. Since: 2.18

Page 691 of many | Previous | Next