From 8e4c06ed5e4572d7e9c1655b1d3442d4467f2997 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 29 Oct 2019 19:39:13 +0100
Subject: Add GtkSearchEntry

---
 src/Gtk/Widgets.icl | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

(limited to 'src/Gtk/Widgets.icl')

diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl
index cf11914..e457ee8 100644
--- a/src/Gtk/Widgets.icl
+++ b/src/Gtk/Widgets.icl
@@ -146,18 +146,22 @@ where
 				pure Nothing
 
 instance gtkWidget GtkEntry where gtkWidget (GtkEntry e) = GtkWidget e
+instance gtkEntry GtkEntry where gtkEntry e = e
 
 newEntry :: GtkM GtkEntry
 newEntry =
 	toStateR gtk_entry_new >>= \e ->
 	show (GtkEntry e)
 
-getText :: !GtkEntry -> GtkM String
-getText (GtkEntry e) = toStateR (gtk_entry_get_text e)
+getText :: !e -> GtkM String | gtkEntry e
+getText entry =
+	let (GtkEntry e) = gtkEntry entry in
+	toStateR (gtk_entry_get_text e)
 
 instance tune GtkEntry GtkText
 where
-	tune (Text text) entry=:(GtkEntry e) =
+	tune (Text text) entry =
+		let (GtkEntry e) = gtkEntry entry in
 		toState (gtk_entry_set_text e text) >>|
 		pure entry
 
@@ -354,6 +358,14 @@ where
 		toState (gtk_scrolled_window_set_policy sw (toInt hp) (toInt vp)) >>|
 		pure window
 
+instance gtkWidget GtkSearchEntry where gtkWidget (GtkSearchEntry se) = GtkWidget se
+instance gtkEntry GtkSearchEntry where gtkEntry (GtkSearchEntry se) = GtkEntry se
+
+newSearchEntry :: GtkM GtkSearchEntry
+newSearchEntry =
+	toStateR gtk_search_entry_new >>= \se ->
+	show (GtkSearchEntry se)
+
 instance gtkWidget GtkSeparator where gtkWidget (GtkSeparator s) = GtkWidget s
 
 newSeparator :: !GtkOrientation -> GtkM GtkSeparator
-- 
cgit v1.2.3