diff options
Diffstat (limited to 'src/Gtk/Widgets.dcl')
| -rw-r--r-- | src/Gtk/Widgets.dcl | 45 |
1 files changed, 39 insertions, 6 deletions
diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index d27d70d..8147c41 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -5,16 +5,49 @@ from StdMaybe import :: Maybe from System._Pointer import :: Pointer from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState +from Gtk.Types import :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize, + :: GtkShrink + +class ptr a :: !a -> Pointer :: GtkWidget -:: GtkWindow -class gtkWidget a -where - gtkWidget :: !a -> GtkWidget - gtkPtr :: !a -> Pointer +class gtkWidget a :: !a -> GtkWidget + +instance gtkWidget GtkWidget +instance ptr GtkWidget + +:: GtkContainer + +class gtkContainer a :: !a -> GtkContainer + +instance gtkWidget GtkContainer +instance gtkContainer GtkContainer + +addToContainer :: !w !c -> State GtkState () | gtkWidget w & gtkContainer c -instance gtkWidget GtkWidget, GtkWindow +:: GtkPaned +instance gtkWidget GtkPaned +instance gtkContainer GtkPaned + +newPaned :: !GtkOrientation !GtkPanedHandleWidth -> State GtkState GtkPaned +packPane1 :: !w !GtkPaned !GtkResize !GtkShrink -> State GtkState () | gtkWidget w +packPane2 :: !w !GtkPaned !GtkResize !GtkShrink -> State GtkState () | gtkWidget w + +:: GtkTextBuffer + +insertAtCursor :: !String !GtkTextBuffer -> State GtkState () + +:: GtkTextView +instance gtkWidget GtkTextView +instance gtkContainer GtkTextView + +newTextView :: State GtkState GtkTextView +getTextBuffer :: !GtkTextView -> GtkTextBuffer + +:: GtkWindow +instance gtkWidget GtkWindow +instance gtkContainer GtkWindow newPopup :: !String !(Maybe (Int,Int)) -> State GtkState GtkWindow newWindow :: !String !(Maybe (Int,Int)) -> State GtkState GtkWindow |