packages feed

grapefruit-ui-gtk-0.0.0.0: src/Graphics/UI/Grapefruit/GTK/Backend.hs

module Graphics.UI.Grapefruit.GTK.Backend () where

    -- Graphics.UI.Grapefruit
    import Graphics.UI.Grapefruit.Backend as Backend

    -- Graphics.UI.Gtk
    import qualified Graphics.UI.Gtk as Gtk

    -- Graphics.UI.Grapefruit.GTK
    import {-# SOURCE #-} Graphics.UI.Grapefruit.GTK as GTK

    instance UIBackend GTK where

        type WidgetPlacement GTK = Gtk.Widget -> IO ()

        type WindowPlacement GTK = Gtk.Window -> IO ()

        initialize GTK = Gtk.initGUI >> return ()

        handleEvents GTK = Gtk.mainGUI

        requestQuitting GTK = Gtk.mainQuit

        finalize GTK = return ()

        topLevel GTK = const (return ())