diff options
| author | Camil Staps | 2019-10-27 19:26:47 +0100 |
|---|---|---|
| committer | Camil Staps | 2019-10-27 19:26:47 +0100 |
| commit | b75a27702f72c60337c64ad20bd73b00b2c88396 (patch) | |
| tree | 8d9b52acf04e5303696f3185bd44f58dd83ad3d6 /src/Gtk/Shares.dcl | |
| parent | Add GtkScrollbarPolicy and instance tune GtkScrolledWindow (GtkScrollbarPolic... (diff) | |
Add withShared
Diffstat (limited to 'src/Gtk/Shares.dcl')
| -rw-r--r-- | src/Gtk/Shares.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Gtk/Shares.dcl b/src/Gtk/Shares.dcl index 3a3891b..81dccdf 100644 --- a/src/Gtk/Shares.dcl +++ b/src/Gtk/Shares.dcl @@ -15,3 +15,5 @@ setShared :: !(Shared a) !a -> GtkM a | shared a updateShared :: !(a -> a) !(Shared a) -> GtkM a | shared a singletonShared :: !String !(GtkM a) -> GtkM a | shared a + +withShared :: a !((Shared a) -> GtkM b) -> GtkM b | shared a |