From ad98343da1467653dacc811a9e52b7da2282c200 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 19 Oct 2019 19:57:53 +0200
Subject: Initial commit

---
 src/Gtk/State.dcl | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 src/Gtk/State.dcl

(limited to 'src/Gtk/State.dcl')

diff --git a/src/Gtk/State.dcl b/src/Gtk/State.dcl
new file mode 100644
index 0000000..d750900
--- /dev/null
+++ b/src/Gtk/State.dcl
@@ -0,0 +1,28 @@
+definition module Gtk.State
+
+from StdMaybe import :: Maybe
+
+from Control.Applicative import class pure
+from Control.Monad.State import :: State, :: StateT,
+	instance pure (StateT m s)
+from Control.Monad.Identity import :: Identity,
+	instance pure Identity
+from Data.Map import :: Map
+
+from Gtk.Signal import :: GSignalHandlerInternal
+
+:: GtkState =
+	{ world           :: !()
+	, return          :: !Bool
+	, signal_handlers :: !Map Int GSignalHandlerInternal
+	, signal_counter  :: !Int
+	}
+
+newGtkState :: GtkState
+
+runGtk :: !(State GtkState a) !*World -> (!a, !*World)
+
+toState :: !(A.a: a -> a) -> State GtkState ()
+toStateR :: !(A.a: a -> (r,a)) -> State GtkState r
+
+quit :: State GtkState ()
-- 
cgit v1.2.3