summaryrefslogtreecommitdiff
path: root/src/Gtk/Shares.dcl
blob: 3a3891b6c1a8e32f6ec6321428d6eee759e7a2bf (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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

singletonShared :: !String !(GtkM a) -> GtkM a | shared a