{-# LANGUAGE OverloadedLabels  #-}
{-# LANGUAGE OverloadedLists   #-}
{-# LANGUAGE OverloadedStrings #-}
module Main where

import qualified GI.Gtk                        as Gtk
import           GI.Gtk.Declarative
import           GI.Gtk.Declarative.App.Simple

type State = ()

data Event = Closed

view' :: State -> AppView Gtk.Window Event
view' _ = bin
    Gtk.Window
    [ #title := "Demo"
    , on #deleteEvent $ {- GI.Gdk.Unions.Event.Event -> (Bool, Event) -} \_ -> (True,Closed)
    ]
    $ widget Gtk.Label [#label := "Hello, World!"]

update' :: State -> Event -> Transition State Event
update' _ Closed = Exit

main :: IO ()
main = run App
    -- :: App Gtk.Window State Event
    { view         = view'
    , update       = update'
    , inputs       = []
    , initialState = ()
    }