diff options
Diffstat (limited to 'src/Gtk/Shares.dcl')
-rw-r--r-- | src/Gtk/Shares.dcl | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/Gtk/Shares.dcl b/src/Gtk/Shares.dcl new file mode 100644 index 0000000..e05407c --- /dev/null +++ b/src/Gtk/Shares.dcl @@ -0,0 +1,15 @@ +definition module Gtk.Shares + +from Gtk.State import :: GtkM + +:: ShareId :== String + +:: Shared a + +class shared a | TC a + +share :: !ShareId a -> Shared a | shared a + +getShared :: !(Shared a) -> GtkM a | shared a +setShared :: !(Shared a) !a -> GtkM a | shared a +updateShared :: !(a -> a) !(Shared a) -> GtkM a | shared a |