blob: d1e5556a2e5b5b401cacccb68567329c1d2dd60d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
definition module Gtk.Shares
from Gtk.State import :: GtkM
:: ShareId :== String
//* Exported to have a TC instance -- do not use directly!
:: Shared a :== (String,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
singletonShared :: !String !(GtkM a) -> GtkM a | shared a
withShared :: a !((Shared a) -> GtkM b) -> GtkM b | shared a
|
