{-# LINE 2 "./Graphics/UI/Gtk/General/General.chs" #-}
module Graphics.UI.Gtk.General.General (
initGUI,
unsafeInitGUIForThreadedRTS,
postGUISync,
postGUIAsync,
threadsEnter,
threadsLeave,
mainGUI,
mainQuit,
eventsPending,
mainLevel,
mainIteration,
mainIterationDo,
mainDoEvent,
quitAddDestroy,
quitAdd,
quitRemove,
grabAdd,
grabGetCurrent,
grabRemove,
Priority,
priorityLow,
priorityDefaultIdle,
priorityHighIdle,
priorityDefault,
priorityHigh,
timeoutAdd,
timeoutAddFull,
timeoutRemove,
idleAdd,
idleRemove,
inputAdd,
inputRemove,
IOCondition(..),
HandlerId,
FD
) where
import Control.Applicative
import Prelude
import System.Environment (getProgName, getArgs)
import Control.Monad (liftM, when)
import Control.Concurrent (rtsSupportsBoundThreads, newEmptyMVar,
putMVar, takeMVar)
import System.Glib.FFI
import System.Glib.UTFString
import qualified System.Glib.MainLoop as ML
import System.Glib.MainLoop ( Priority, priorityLow, priorityDefaultIdle,
priorityHighIdle, priorityDefault, priorityHigh, timeoutRemove, idleRemove,
inputRemove, IOCondition(..), HandlerId )
import Graphics.UI.Gtk.Abstract.Object (makeNewObject)
import Graphics.UI.Gtk.Gdk.EventM (EventM)
import Control.Monad.Reader (ask)
import Control.Monad.Trans (liftIO)
import Graphics.UI.Gtk.Types
{-# LINE 100 "./Graphics/UI/Gtk/General/General.chs" #-}
{-# LINE 102 "./Graphics/UI/Gtk/General/General.chs" #-}
unsafeInitGUIForThreadedRTS :: IO [String]
unsafeInitGUIForThreadedRTS = IO [String]
initGUI
{-# NOINLINE initGUI #-}
initGUI :: IO [String]
initGUI :: IO [String]
initGUI = do
IO ()
initialise
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
rtsSupportsBoundThreads IO ()
initialiseGThreads
String
prog <- IO String
getProgName
[String]
args <- IO [String]
getArgs
let allArgs :: [String]
allArgs = (String
progString -> [String] -> [String]
forall a. a -> [a] -> [a]
:[String]
args)
(Text -> (CString -> IO [String]) -> IO [String])
-> [Text] -> ([CString] -> IO [String]) -> IO [String]
forall a b res.
(a -> (b -> res) -> res) -> [a] -> ([b] -> res) -> res
withMany Text -> (CString -> IO [String]) -> IO [String]
forall a. Text -> (CString -> IO a) -> IO a
forall s a. GlibString s => s -> (CString -> IO a) -> IO a
withUTFString ((String -> Text) -> [String] -> [Text]
forall a b. (a -> b) -> [a] -> [b]
map String -> Text
stringToGlib [String]
allArgs) (([CString] -> IO [String]) -> IO [String])
-> ([CString] -> IO [String]) -> IO [String]
forall a b. (a -> b) -> a -> b
$ \[CString]
addrs ->
[CString] -> (Int -> Ptr CString -> IO [String]) -> IO [String]
forall a b. Storable a => [a] -> (Int -> Ptr a -> IO b) -> IO b
withArrayLen [CString]
addrs ((Int -> Ptr CString -> IO [String]) -> IO [String])
-> (Int -> Ptr CString -> IO [String]) -> IO [String]
forall a b. (a -> b) -> a -> b
$ \Int
argc Ptr CString
argv ->
Ptr CString -> (Ptr (Ptr CString) -> IO [String]) -> IO [String]
forall a b. Storable a => a -> (Ptr a -> IO b) -> IO b
with Ptr CString
argv ((Ptr (Ptr CString) -> IO [String]) -> IO [String])
-> (Ptr (Ptr CString) -> IO [String]) -> IO [String]
forall a b. (a -> b) -> a -> b
$ \Ptr (Ptr CString)
argvp ->
Int -> (Ptr Int -> IO [String]) -> IO [String]
forall a b. Storable a => a -> (Ptr a -> IO b) -> IO b
with Int
argc ((Ptr Int -> IO [String]) -> IO [String])
-> (Ptr Int -> IO [String]) -> IO [String]
forall a b. (a -> b) -> a -> b
$ \Ptr Int
argcp -> do
CInt
res <- Ptr CInt -> Ptr (Ptr CString) -> IO CInt
gtk_init_check (Ptr Int -> Ptr CInt
forall a b. Ptr a -> Ptr b
castPtr Ptr Int
argcp) (Ptr (Ptr CString) -> Ptr (Ptr CString)
forall a b. Ptr a -> Ptr b
castPtr Ptr (Ptr CString)
argvp)
if (CInt -> Bool
forall a. (Eq a, Num a) => a -> Bool
toBool CInt
res) then do
Int
argc' <- Ptr Int -> IO Int
forall a. Storable a => Ptr a -> IO a
peek Ptr Int
argcp
Ptr CString
argv' <- Ptr (Ptr CString) -> IO (Ptr CString)
forall a. Storable a => Ptr a -> IO a
peek Ptr (Ptr CString)
argvp
CString
_:[CString]
addrs' <- Int -> Ptr CString -> IO [CString]
forall a. Storable a => Int -> Ptr a -> IO [a]
peekArray Int
argc' Ptr CString
argv'
(CString -> IO String) -> [CString] -> IO [String]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM ((Text -> String
glibToString (Text -> String) -> IO Text -> IO String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$>) (IO Text -> IO String)
-> (CString -> IO Text) -> CString -> IO String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CString -> IO Text
forall s. GlibString s => CString -> IO s
peekUTFString) [CString]
addrs'
else String -> IO [String]
forall a. HasCallStack => String -> a
error String
"Cannot initialize GUI."
foreign import ccall "hsgthread.h gtk2hs_threads_initialise"
initialiseGThreads :: IO ()
foreign import ccall "hsgthread.h gtk2hs_initialise"
initialise :: IO ()
postGUISync :: IO a -> IO a
postGUISync :: forall a. IO a -> IO a
postGUISync IO a
action = do
MVar a
resultVar <- IO (MVar a)
forall a. IO (MVar a)
newEmptyMVar
IO Bool -> Int -> IO CUInt
idleAdd (IO a
action IO a -> (a -> IO ()) -> IO ()
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= MVar a -> a -> IO ()
forall a. MVar a -> a -> IO ()
putMVar MVar a
resultVar IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False) Int
priorityDefault
MVar a -> IO a
forall a. MVar a -> IO a
takeMVar MVar a
resultVar
postGUIAsync :: IO () -> IO ()
postGUIAsync :: IO () -> IO ()
postGUIAsync IO ()
action = do
IO Bool -> Int -> IO CUInt
idleAdd (IO ()
action IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False) Int
priorityDefault
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
threadsEnter :: IO ()
threadsEnter :: IO ()
threadsEnter =
IO ()
threadsEnter'_ IO () -> (() -> IO ()) -> IO ()
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \()
res ->
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
{-# LINE 213 "./Graphics/UI/Gtk/General/General.chs" #-}
threadsLeave :: IO ()
threadsLeave :: IO ()
threadsLeave =
IO ()
threadsLeave'_ IO () -> (() -> IO ()) -> IO ()
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \()
res ->
() -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()
{-# LINE 219 "./Graphics/UI/Gtk/General/General.chs" #-}
eventsPending :: IO Int
eventsPending :: IO Int
eventsPending = (CInt -> Int) -> IO CInt -> IO Int
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM CInt -> Int
forall a b. (Integral a, Num b) => a -> b
fromIntegral IO CInt
gtk_events_pending
{-# LINE 224 "./Graphics/UI/Gtk/General/General.chs" #-}
mainGUI :: IO ()
mainGUI :: IO ()
mainGUI = IO ()
gtk_main
{-# LINE 229 "./Graphics/UI/Gtk/General/General.chs" #-}
mainLevel :: IO Int
mainLevel :: IO Int
mainLevel = (CUInt -> Int) -> IO CUInt -> IO Int
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM (Int -> Int
forall a. Enum a => Int -> a
toEnum(Int -> Int) -> (CUInt -> Int) -> CUInt -> Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
.CUInt -> Int
forall a. Enum a => a -> Int
fromEnum) IO CUInt
gtk_main_level
{-# LINE 238 "./Graphics/UI/Gtk/General/General.chs" #-}
mainQuit :: IO ()
mainQuit :: IO ()
mainQuit = IO ()
gtk_main_quit
{-# LINE 243 "./Graphics/UI/Gtk/General/General.chs" #-}
mainIteration :: IO Bool
mainIteration :: IO Bool
mainIteration = (CInt -> Bool) -> IO CInt -> IO Bool
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM CInt -> Bool
forall a. (Eq a, Num a) => a -> Bool
toBool IO CInt
gtk_main_iteration
{-# LINE 250 "./Graphics/UI/Gtk/General/General.chs" #-}
mainIterationDo :: Bool -> IO Bool
mainIterationDo :: Bool -> IO Bool
mainIterationDo Bool
blocking =
(CInt -> Bool) -> IO CInt -> IO Bool
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM CInt -> Bool
forall a. (Eq a, Num a) => a -> Bool
toBool (IO CInt -> IO Bool) -> IO CInt -> IO Bool
forall a b. (a -> b) -> a -> b
$ CInt -> IO CInt
gtk_main_iteration_do (Bool -> CInt
forall a. Num a => Bool -> a
fromBool Bool
blocking)
mainDoEvent :: EventM t ()
mainDoEvent :: forall t. EventM t ()
mainDoEvent = do
Ptr t
ptr <- ReaderT (Ptr t) IO (Ptr t)
forall r (m :: * -> *). MonadReader r m => m r
ask
IO () -> EventM t ()
forall a. IO a -> ReaderT (Ptr t) IO a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> EventM t ()) -> IO () -> EventM t ()
forall a b. (a -> b) -> a -> b
$ Ptr () -> IO ()
gtk_main_do_event (Ptr t -> Ptr ()
forall a b. Ptr a -> Ptr b
castPtr Ptr t
ptr)
quitAddDestroy :: ObjectClass obj
=> Int
-> obj
-> IO ()
quitAddDestroy :: forall obj. ObjectClass obj => Int -> obj -> IO ()
quitAddDestroy Int
mainLevel obj
obj =
(\CUInt
arg1 (Object ForeignPtr Object
arg2) -> ForeignPtr Object -> (Ptr Object -> IO ()) -> IO ()
forall a b. ForeignPtr a -> (Ptr a -> IO b) -> IO b
withForeignPtr ForeignPtr Object
arg2 ((Ptr Object -> IO ()) -> IO ()) -> (Ptr Object -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr Object
argPtr2 ->CUInt -> Ptr Object -> IO ()
gtk_quit_add_destroy CUInt
arg1 Ptr Object
argPtr2)
{-# LINE 312 "./Graphics/UI/Gtk/General/General.chs" #-}
(fromIntegral mainLevel)
(obj -> Object
forall o. ObjectClass o => o -> Object
toObject obj
obj)
quitAdd :: Int
-> (IO Bool)
-> IO Int
quitAdd :: Int -> IO Bool -> IO Int
quitAdd Int
mainLevel IO Bool
func = do
GtkFunction
funcPtr <- (Ptr () -> IO CInt) -> IO GtkFunction
mkGtkFunction ((Ptr () -> IO CInt) -> IO GtkFunction)
-> (Ptr () -> IO CInt) -> IO GtkFunction
forall a b. (a -> b) -> a -> b
$ \ Ptr ()
_ ->
(Bool -> CInt) -> IO Bool -> IO CInt
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM Bool -> CInt
forall a. Num a => Bool -> a
fromBool IO Bool
func
(CUInt -> Int) -> IO CUInt -> IO Int
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM CUInt -> Int
forall a b. (Integral a, Num b) => a -> b
fromIntegral (IO CUInt -> IO Int) -> IO CUInt -> IO Int
forall a b. (a -> b) -> a -> b
$
CUInt -> GtkFunction -> Ptr () -> IO CUInt
gtk_quit_add
{-# LINE 326 "./Graphics/UI/Gtk/General/General.chs" #-}
(Int -> CUInt
forall a b. (Integral a, Num b) => a -> b
fromIntegral Int
mainLevel)
GtkFunction
funcPtr
Ptr ()
forall a. Ptr a
nullPtr
type GtkFunction = FunPtr (((Ptr ()) -> (IO CInt)))
{-# LINE 331 "./Graphics/UI/Gtk/General/General.chs" #-}
foreign import ccall "wrapper" mkGtkFunction ::
(Ptr () -> IO (CInt)) -> IO GtkFunction
quitRemove :: Int
-> IO ()
quitRemove :: Int -> IO ()
quitRemove Int
quitHandlerId =
CUInt -> IO ()
gtk_quit_remove (Int -> CUInt
forall a b. (Integral a, Num b) => a -> b
fromIntegral Int
quitHandlerId)
grabAdd :: WidgetClass wd => wd -> IO ()
grabAdd :: forall wd. WidgetClass wd => wd -> IO ()
grabAdd = (\(Widget ForeignPtr Widget
arg1) -> ForeignPtr Widget -> (Ptr Widget -> IO ()) -> IO ()
forall a b. ForeignPtr a -> (Ptr a -> IO b) -> IO b
withForeignPtr ForeignPtr Widget
arg1 ((Ptr Widget -> IO ()) -> IO ()) -> (Ptr Widget -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr Widget
argPtr1 ->Ptr Widget -> IO ()
gtk_grab_add Ptr Widget
argPtr1) (Widget -> IO ()) -> (wd -> Widget) -> wd -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. wd -> Widget
forall o. WidgetClass o => o -> Widget
toWidget
grabGetCurrent :: IO (Maybe Widget)
grabGetCurrent :: IO (Maybe Widget)
grabGetCurrent = do
Ptr Widget
wPtr <- IO (Ptr Widget)
gtk_grab_get_current
{-# LINE 354 "./Graphics/UI/Gtk/General/General.chs" #-}
if (wPtr==nullPtr) then return Nothing else
liftM Just $ makeNewObject mkWidget (return wPtr)
grabRemove :: WidgetClass w => w -> IO ()
grabRemove :: forall wd. WidgetClass wd => wd -> IO ()
grabRemove = (\(Widget ForeignPtr Widget
arg1) -> ForeignPtr Widget -> (Ptr Widget -> IO ()) -> IO ()
forall a b. ForeignPtr a -> (Ptr a -> IO b) -> IO b
withForeignPtr ForeignPtr Widget
arg1 ((Ptr Widget -> IO ()) -> IO ()) -> (Ptr Widget -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr Widget
argPtr1 ->Ptr Widget -> IO ()
gtk_grab_remove Ptr Widget
argPtr1) (Widget -> IO ()) -> (w -> Widget) -> w -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. w -> Widget
forall o. WidgetClass o => o -> Widget
toWidget
timeoutAdd :: IO Bool -> Int -> IO HandlerId
timeoutAdd :: IO Bool -> Int -> IO CUInt
timeoutAdd IO Bool
fun Int
msec = IO Bool -> Int -> Int -> IO CUInt
timeoutAddFull IO Bool
fun Int
priorityDefault Int
msec
timeoutAddFull :: IO Bool -> Priority -> Int -> IO HandlerId
timeoutAddFull :: IO Bool -> Int -> Int -> IO CUInt
timeoutAddFull IO Bool
fun Int
pri Int
msec =
IO Bool -> Int -> Int -> IO CUInt
ML.timeoutAddFull (IO ()
threadsEnter IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> IO Bool
fun IO Bool -> (Bool -> IO Bool) -> IO Bool
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \Bool
r -> IO ()
threadsLeave IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
r)
Int
pri Int
msec
idleAdd :: IO Bool -> Priority -> IO HandlerId
idleAdd :: IO Bool -> Int -> IO CUInt
idleAdd IO Bool
fun Int
pri =
IO Bool -> Int -> IO CUInt
ML.idleAdd (IO ()
threadsEnter IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> IO Bool
fun IO Bool -> (Bool -> IO Bool) -> IO Bool
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \Bool
r -> IO ()
threadsLeave IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
r) Int
pri
type FD = Int
inputAdd ::
FD
-> [IOCondition]
-> Priority
-> IO Bool
-> IO HandlerId
inputAdd :: Int -> [IOCondition] -> Int -> IO Bool -> IO CUInt
inputAdd Int
fd [IOCondition]
conds Int
pri IO Bool
fun =
Int -> [IOCondition] -> Int -> IO Bool -> IO CUInt
ML.inputAdd Int
fd [IOCondition]
conds Int
pri (IO ()
threadsEnter IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> IO Bool
fun IO Bool -> (Bool -> IO Bool) -> IO Bool
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \Bool
r -> IO ()
threadsLeave IO () -> IO Bool -> IO Bool
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Bool -> IO Bool
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
r)
foreign import ccall unsafe "gtk_init_check"
gtk_init_check :: ((Ptr CInt) -> ((Ptr (Ptr (Ptr CChar))) -> (IO CInt)))
foreign import ccall safe "gdk_threads_enter"
threadsEnter'_ :: (IO ())
foreign import ccall unsafe "gdk_threads_leave"
threadsLeave'_ :: (IO ())
foreign import ccall safe "gtk_events_pending"
gtk_events_pending :: (IO CInt)
foreign import ccall safe "gtk_main"
gtk_main :: (IO ())
foreign import ccall unsafe "gtk_main_level"
gtk_main_level :: (IO CUInt)
foreign import ccall safe "gtk_main_quit"
gtk_main_quit :: (IO ())
foreign import ccall safe "gtk_main_iteration"
gtk_main_iteration :: (IO CInt)
foreign import ccall safe "gtk_main_iteration_do"
gtk_main_iteration_do :: (CInt -> (IO CInt))
foreign import ccall safe "gtk_main_do_event"
gtk_main_do_event :: ((Ptr ()) -> (IO ()))
foreign import ccall safe "gtk_quit_add_destroy"
gtk_quit_add_destroy :: (CUInt -> ((Ptr Object) -> (IO ())))
foreign import ccall safe "gtk_quit_add"
gtk_quit_add :: (CUInt -> ((FunPtr ((Ptr ()) -> (IO CInt))) -> ((Ptr ()) -> (IO CUInt))))
foreign import ccall safe "gtk_quit_remove"
gtk_quit_remove :: (CUInt -> (IO ()))
foreign import ccall safe "gtk_grab_add"
gtk_grab_add :: ((Ptr Widget) -> (IO ()))
foreign import ccall safe "gtk_grab_get_current"
gtk_grab_get_current :: (IO (Ptr Widget))
foreign import ccall safe "gtk_grab_remove"
gtk_grab_remove :: ((Ptr Widget) -> (IO ()))