From b75a27702f72c60337c64ad20bd73b00b2c88396 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sun, 27 Oct 2019 19:26:47 +0100 Subject: Add withShared --- src/Gtk/Shares.dcl | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Gtk/Shares.dcl') 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 -- cgit v1.2.3