diff options
| author | Camil Staps | 2019-10-30 16:43:02 +0100 |
|---|---|---|
| committer | Camil Staps | 2019-10-30 16:43:02 +0100 |
| commit | 6a02f3d6086507b42b92663bce2992fbe74968fb (patch) | |
| tree | 0c74af04b2a2da65dbc435cd263d8e05c055e69a | |
| parent | Add GdkEvent and KeyPressHandler (diff) | |
Export all derived strictness
| -rw-r--r-- | src/Gtk/Types.dcl | 2 | ||||
| -rw-r--r-- | src/Gtk/Widgets.dcl | 3 | ||||
| -rw-r--r-- | src/Gtk/Widgets.icl | 3 |
3 files changed, 7 insertions, 1 deletions
diff --git a/src/Gtk/Types.dcl b/src/Gtk/Types.dcl index cb264bb..8ffa961 100644 --- a/src/Gtk/Types.dcl +++ b/src/Gtk/Types.dcl @@ -167,7 +167,7 @@ instance toInt GtkScrollbarPolicy = Shrink | NoShrink -:: GtkSizeRequest =: GtkSizeRequest (Int,Int) +:: GtkSizeRequest =: GtkSizeRequest (!Int,!Int) :: GtkSpacing =: Spacing Int diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index 9fba147..0b77204 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -175,6 +175,7 @@ instance gtkContainer GtkScrolledWindow newScrolledWindow :: GtkM GtkScrolledWindow instance tune GtkScrolledWindow (GtkScrollbarPolicy, GtkScrollbarPolicy) +where tune :: !(!GtkScrollbarPolicy, !GtkScrollbarPolicy) !GtkScrolledWindow -> GtkM GtkScrolledWindow :: GtkSearchEntry =: GtkSearchEntry Pointer instance gtkWidget GtkSearchEntry @@ -237,7 +238,9 @@ setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w instance tune w GtkSensitivity | gtkWidget w instance tune w (GtkAlign,GtkAlign) | gtkWidget w +where tune :: !(!GtkAlign, !GtkAlign) !w -> GtkM w | gtkWidget w instance tune w (GtkExpand,GtkExpand) | gtkWidget w +where tune :: !(!GtkExpand, !GtkExpand) !w -> GtkM w | gtkWidget w instance tune w GtkAccelerator | gtkWidget w instance tune w GtkSizeRequest | gtkWidget w diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl index db69b81..9573966 100644 --- a/src/Gtk/Widgets.icl +++ b/src/Gtk/Widgets.icl @@ -355,6 +355,7 @@ newScrolledWindow = instance tune GtkScrolledWindow (GtkScrollbarPolicy, GtkScrollbarPolicy) where + tune :: !(!GtkScrollbarPolicy, !GtkScrollbarPolicy) !GtkScrolledWindow -> GtkM GtkScrolledWindow tune (hp,vp) window=:(GtkScrolledWindow sw) = toState (gtk_scrolled_window_set_policy sw (toInt hp) (toInt vp)) >>| pure window @@ -537,6 +538,7 @@ where instance tune w (GtkAlign,GtkAlign) | gtkWidget w where + tune :: !(!GtkAlign, !GtkAlign) !w -> GtkM w | gtkWidget w tune (halign,valign) widget = let (GtkWidget w) = gtkWidget widget in toState (gtk_widget_set_halign w (toInt halign)) >>| @@ -545,6 +547,7 @@ where instance tune w (GtkExpand,GtkExpand) | gtkWidget w where + tune :: !(!GtkExpand, !GtkExpand) !w -> GtkM w | gtkWidget w tune (hexpand,vexpand) widget = let (GtkWidget w) = gtkWidget widget in toState (gtk_widget_set_hexpand w hexpand=:Expand) >>| |