blob: 81dccdf8a2e394f09aa8955a8d3d6a10e365cc61 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
withShared :: a !((Shared a) -> GtkM b) -> GtkM b | shared a
|
