Remove ptr class

1 files changed, 0 insertions, 44 deletions

diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl
index 47dd3fb..de07c4f 100644
--- a/src/Gtk/Widgets.icl
+++ b/src/Gtk/Widgets.icl
@@ -53,10 +53,6 @@ where
 		pure box
 
 instance gtkWidget GtkButton where gtkWidget (GtkButton b) = GtkWidget b
-instance ptr GtkButton
-where
-	toPtr (GtkButton b) = b
-	fromPtr b = GtkButton b
 
 newButtonFromIconName :: !String -> GtkM GtkButton
 newButtonFromIconName icon =
@@ -66,11 +62,6 @@ newButtonFromIconName icon =
 instance gtkWidget GtkContainer where gtkWidget (GtkContainer c) = GtkWidget c
 instance gtkContainer GtkContainer where gtkContainer c = c
 
-instance ptr GtkContainer
-where
-	toPtr (GtkContainer c) = c
-	fromPtr c = GtkContainer c
-
 addToContainer :: !c !w -> GtkM w | gtkWidget w & gtkContainer c
 addToContainer container widget =
 	let
@@ -85,11 +76,6 @@ instance gtkContainer GtkDialog where gtkContainer (GtkDialog d) = GtkContainer
 instance gtkWindow GtkDialog where gtkWindow (GtkDialog d) = GtkWindow d
 instance gtkDialog GtkDialog where gtkDialog d = d
 
-instance ptr GtkDialog
-where
-	toPtr (GtkDialog d) = d
-	fromPtr d = GtkDialog d
-
 instance tune d GtkModal | gtkDialog d
 where
 	tune setting dialog =
@@ -164,10 +150,6 @@ where
 
 instance gtkWidget GtkFrame where gtkWidget (GtkFrame f) = GtkWidget f
 instance gtkContainer GtkFrame where gtkContainer (GtkFrame f) = GtkContainer f
-instance ptr GtkFrame
-where
-	toPtr (GtkFrame f) = f
-	fromPtr f = GtkFrame f
 
 newFrame :: !GtkTitle !w -> GtkM GtkFrame | gtkWidget w
 newFrame (Title title) widget =
@@ -278,10 +260,6 @@ setSubMenu item menu=:(GtkMenu m) =
 
 instance gtkWidget GtkCheckMenuItem where gtkWidget (GtkCheckMenuItem cmi) = GtkWidget cmi
 instance gtkMenuItem GtkCheckMenuItem where gtkMenuItem (GtkCheckMenuItem cmi) = GtkMenuItem cmi
-instance ptr GtkCheckMenuItem
-where
-	toPtr (GtkCheckMenuItem cmi) = cmi
-	fromPtr cmi = GtkCheckMenuItem cmi
 
 newCheckMenuItem :: !String -> GtkM GtkCheckMenuItem
 newCheckMenuItem label =
@@ -356,10 +334,6 @@ where
 		pure window
 
 instance gtkWidget GtkSeparator where gtkWidget (GtkSeparator s) = GtkWidget s
-instance ptr GtkSeparator
-where
-	toPtr (GtkSeparator s) = s
-	fromPtr s = GtkSeparator s
 
 newSeparator :: !GtkOrientation -> GtkM GtkSeparator
 newSeparator orientation =
@@ -367,10 +341,6 @@ newSeparator orientation =
 	show (GtkSeparator s)
 
 instance gtkWidget GtkSpinner where gtkWidget (GtkSpinner s) = GtkWidget s
-instance ptr GtkSpinner
-where
-	toPtr (GtkSpinner s) = s
-	fromPtr s = GtkSpinner s
 
 newSpinner :: GtkM GtkSpinner
 newSpinner =
@@ -387,11 +357,6 @@ stopSpinner spinner=:(GtkSpinner s) =
 	toState (gtk_spinner_stop s) >>|
 	pure spinner
 
-instance ptr GtkTextBuffer
-where
-	toPtr (GtkTextBuffer b) = b
-	fromPtr b = GtkTextBuffer b
-
 setText :: !String !GtkTextBuffer -> GtkM GtkTextBuffer
 setText s buffer=:(GtkTextBuffer b) =
 	toState (gtk_text_buffer_set_text b s (size s)) >>|
@@ -413,10 +378,6 @@ insertAtCursor s buffer=:(GtkTextBuffer b) =
 
 instance gtkWidget GtkTextView where gtkWidget (GtkTextView tv) = GtkWidget tv
 instance gtkContainer GtkTextView where gtkContainer (GtkTextView tv) = GtkContainer tv
-instance ptr GtkTextView
-where
-	toPtr (GtkTextView tv) = tv
-	fromPtr tv = GtkTextView tv
 
 newTextView :: GtkM GtkTextView
 newTextView =
@@ -483,11 +444,6 @@ selectPath path (GtkTreeView tv) =
 
 instance gtkWidget GtkWidget where gtkWidget w = w
 
-instance ptr GtkWidget
-where
-	toPtr (GtkWidget w) = w
-	fromPtr w = GtkWidget w
-
 show :: !w -> GtkM w | gtkWidget w
 show widget =
 	let (GtkWidget w) = gtkWidget widget in