summaryrefslogtreecommitdiff
path: root/src/Gtk/Widgets.dcl
blob: 2403b40542cca2532518449853918dd9fca5b51b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
definition module Gtk.Widgets

from StdMaybe import :: Maybe

from System.FilePath import :: FilePath
from System._Pointer import :: Pointer

from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState, :: GtkM
from Gtk.Types import :: GtkCSSClass, :: GtkDirection, :: GtkExpand,
	:: GtkLabel, :: GtkMargins, :: GtkOrientation, :: GtkPanedHandleWidth,
	:: GtkResize, :: GtkShrink, :: GtkStylePriority

class ptr a
where
	toPtr   :: !a -> Pointer
	fromPtr :: !Pointer -> a

:: GtkWidget

class gtkWidget a :: !a -> GtkWidget

instance gtkWidget GtkWidget
instance ptr GtkWidget

addCSSClass :: !GtkCSSClass !w -> GtkM w | gtkWidget w
removeCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w
setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w
show :: !w -> GtkM w | gtkWidget w

:: GtkContainer

class gtkContainer a :: !a -> GtkContainer

instance gtkWidget GtkContainer
instance gtkContainer GtkContainer
instance ptr GtkContainer

addToContainer :: !c !w -> GtkM w | gtkWidget w & gtkContainer c

:: GtkBox
instance gtkWidget GtkBox
instance gtkContainer GtkBox

newBox :: !GtkOrientation !Int -> GtkM GtkBox
packBox :: !GtkBox !GtkDirection !GtkExpand !w -> GtkM w | gtkWidget w

:: GtkFrame
instance gtkWidget GtkFrame
instance gtkContainer GtkFrame

newFrame :: !GtkLabel !w -> GtkM GtkFrame | gtkWidget w
framed :: !GtkLabel !(GtkM w) -> GtkM (w, GtkFrame) | gtkWidget w

:: GtkMenu
instance gtkWidget GtkMenu

newMenu :: GtkM GtkMenu

:: GtkMenuBar
instance gtkWidget GtkMenuBar

newMenuBar :: GtkM GtkMenuBar

:: GtkMenuItem
instance gtkWidget GtkMenuItem

newMenuItem :: !String -> GtkM GtkMenuItem
setSubMenu :: !GtkMenuItem !GtkMenu -> GtkM GtkMenu

:: GtkMenuShell
instance gtkWidget GtkMenuShell

class gtkMenuShell a :: !a -> GtkMenuShell
instance gtkMenuShell GtkMenu, GtkMenuBar, GtkMenuShell

appendToMenuShell :: !s !GtkMenuItem -> GtkM GtkMenuItem | gtkMenuShell s

:: GtkPaned
instance gtkWidget GtkPaned
instance gtkContainer GtkPaned

newPaned :: !GtkOrientation !GtkPanedHandleWidth -> GtkM GtkPaned
packPane1 :: !GtkPaned !GtkResize !GtkShrink !w -> GtkM w | gtkWidget w
packPane2 :: !GtkPaned !GtkResize !GtkShrink !w -> GtkM w | gtkWidget w

:: GtkScrolledWindow
instance gtkWidget GtkScrolledWindow
instance gtkContainer GtkScrolledWindow

newScrolledWindow :: GtkM GtkScrolledWindow

:: GtkTextBuffer

insertAtCursor :: !String !GtkTextBuffer -> GtkM ()

:: GtkTextView
instance gtkWidget GtkTextView
instance gtkContainer GtkTextView

newTextView :: GtkM GtkTextView
getTextBuffer :: !GtkTextView -> GtkTextBuffer

:: GtkWindow
instance gtkWidget GtkWindow
instance gtkContainer GtkWindow

newPopup :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow
newWindow :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow
addCSSFromFile :: !GtkStylePriority !FilePath !GtkWindow -> GtkM Bool