implementation module Gtk.Widgets

import StdEnv
import StdMaybe

import Control.Monad
import Control.Monad.Identity
import Control.Monad.State
import System._Pointer

import qualified Gtk.Internal as I
import Gtk.State
import Gtk.Types

:: GtkWidget :== Pointer

instance gtkWidget GtkWidget where gtkWidget w = w
instance ptr GtkWidget where ptr w = w

show :: !w -> State GtkState w | gtkWidget w
show widget = toState ('I'.gtk_widget_show (gtkWidget widget)) >>| pure widget

:: GtkContainer :== Pointer

instance gtkWidget GtkContainer where gtkWidget c = c
instance gtkContainer GtkContainer where gtkContainer c = c

addToContainer :: !w !c -> State GtkState () | gtkWidget w & gtkContainer c
addToContainer widget container =
	toState ('I'.gtk_container_add (gtkContainer container) (gtkWidget widget))

:: GtkBox :== Pointer

instance gtkWidget GtkBox where gtkWidget b = b
instance gtkContainer GtkBox where gtkContainer b = b

newBox :: !GtkOrientation !Int -> State GtkState GtkBox
newBox orientation spacing =
	toStateR ('I'.gtk_box_new orientation=:Vertical spacing) >>=
	show

packBox :: !w !GtkBox !GtkDirection !GtkExpand -> State GtkState () | gtkWidget w
packBox widget box direction expand =
	toState (if direction=:StartToEnd 'I'.gtk_box_pack_start 'I'.gtk_box_pack_end
		box (gtkWidget widget) expand=:Expand True 0)

:: GtkPaned :== Pointer

instance gtkWidget GtkPaned where gtkWidget p = p
instance gtkContainer GtkPaned where gtkContainer p = p

newPaned :: !GtkOrientation !GtkPanedHandleWidth -> State GtkState GtkPaned
newPaned orientation handle_width =
	toStateR ('I'.gtk_paned_new orientation=:Vertical) >>= \paned ->
	toState ('I'.gtk_paned_set_wide_handle paned handle_width=:WideHandle) >>|
	show paned

packPane1 :: !w !GtkPaned !GtkResize !GtkShrink -> State GtkState () | gtkWidget w
packPane1 widget paned resize shrink =
	toState ('I'.gtk_paned_pack1 paned (gtkWidget widget) resize=:Resize shrink=:Shrink)

packPane2 :: !w !GtkPaned !GtkResize !GtkShrink -> State GtkState () | gtkWidget w
packPane2 widget paned resize shrink =
	toState ('I'.gtk_paned_pack2 paned (gtkWidget widget) resize=:Resize shrink=:Shrink)

:: GtkTextBuffer :== Pointer

insertAtCursor :: !String !GtkTextBuffer -> State GtkState ()
insertAtCursor s buffer = toState ('I'.gtk_text_buffer_insert_at_cursor buffer s (size s))

:: GtkTextView :== Pointer

instance gtkWidget GtkTextView where gtkWidget tv = tv
instance gtkContainer GtkTextView where gtkContainer tv = tv

newTextView :: State GtkState GtkTextView
newTextView = toStateR 'I'.gtk_text_view_new >>= show

getTextBuffer :: !GtkTextView -> GtkTextBuffer
getTextBuffer text_view = 'I'.gtk_text_view_get_buffer text_view

:: GtkWindow :== Pointer

instance gtkWidget GtkWindow where gtkWidget w = w
instance gtkContainer GtkWindow where gtkContainer w = w

newPopup :: !String !(Maybe (Int,Int)) -> State GtkState GtkWindow
newPopup title size = new_window_or_popup True title size

newWindow :: !String !(Maybe (Int,Int)) -> State GtkState GtkWindow
newWindow title size = new_window_or_popup False title size

new_window_or_popup :: !Bool !String !(Maybe (Int,Int)) -> State GtkState GtkWindow
new_window_or_popup is_popup title size =
	toStateR ('I'.gtk_window_new is_popup) >>= \window ->
	toState ('I'.gtk_window_set_title window title) >>|
	(case size of
		Nothing    -> pure ()
		Just (h,v) -> toState ('I'.gtk_widget_set_size_request window h v)) >>|
	show window