diff options
| author | Camil Staps | 2019-10-23 10:21:42 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-23 10:21:42 +0200 |
| commit | 5b96750c3c4252d29bb5524c6a1c0e2b1065e369 (patch) | |
| tree | cc749f5ce6fddb51c55735926e16a2db8a998d39 /src/Gtk/Shares.dcl | |
| parent | Add tune instance for signal handlers (diff) | |
Add rudimentary shares system
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 |