diff options
author | Joe Crayne <joe@jerkface.net> | 2019-04-07 02:53:16 -0400 |
---|---|---|
committer | Joe Crayne <joe@jerkface.net> | 2019-04-07 02:53:16 -0400 |
commit | 483ffac7da055342598b44800e69ee5217cb47cd (patch) | |
tree | f2c5780ea4bbcbfd443a3c77cd789d34905e2d90 /Tut.hs |
initial commit
Diffstat (limited to 'Tut.hs')
-rw-r--r-- | Tut.hs | 32 |
1 files changed, 32 insertions, 0 deletions
@@ -0,0 +1,32 @@ | |||
1 | {-# LANGUAGE OverloadedLabels #-} | ||
2 | {-# LANGUAGE OverloadedLists #-} | ||
3 | {-# LANGUAGE OverloadedStrings #-} | ||
4 | module Main where | ||
5 | |||
6 | import qualified GI.Gtk as Gtk | ||
7 | import GI.Gtk.Declarative | ||
8 | import GI.Gtk.Declarative.App.Simple | ||
9 | |||
10 | type State = () | ||
11 | |||
12 | data Event = Closed | ||
13 | |||
14 | view' :: State -> AppView Gtk.Window Event | ||
15 | view' _ = bin | ||
16 | Gtk.Window | ||
17 | [ #title := "Demo" | ||
18 | , on #deleteEvent $ {- GI.Gdk.Unions.Event.Event -> (Bool, Event) -} \_ -> (True,Closed) | ||
19 | ] | ||
20 | $ widget Gtk.Label [#label := "Hello, World!"] | ||
21 | |||
22 | update' :: State -> Event -> Transition State Event | ||
23 | update' _ Closed = Exit | ||
24 | |||
25 | main :: IO () | ||
26 | main = run App | ||
27 | -- :: App Gtk.Window State Event | ||
28 | { view = view' | ||
29 | , update = update' | ||
30 | , inputs = [] | ||
31 | , initialState = () | ||
32 | } | ||