diff options
Diffstat (limited to 'src/Gtk/State.dcl')
| -rw-r--r-- | src/Gtk/State.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Gtk/State.dcl b/src/Gtk/State.dcl index 81373e2..e97f3d3 100644 --- a/src/Gtk/State.dcl +++ b/src/Gtk/State.dcl @@ -27,4 +27,7 @@ runGtk :: !(GtkM a) !*World -> (!a, !*World) toState :: !(A.a: a -> a) -> GtkM () toStateR :: !(A.a: a -> (r,a)) -> GtkM r +appWorld :: !(*World -> *World) -> GtkM () +accWorld :: !(*World -> (r,*World)) -> GtkM r + quit :: GtkM () |