{-# LANGUAGE CPP #-}
module Data.GI.Gtk.BuildFn
( BuildFn
, buildWithBuilder
, getObject
) where
import Prelude ()
import Prelude.Compat
import Control.Monad.Reader (ReaderT, runReaderT, ask, MonadIO, liftIO)
import Data.GI.Base (GObject, castTo)
#if !MIN_VERSION_haskell_gi_base(0,20,1)
import Data.GI.Base.BasicTypes (nullToNothing)
#endif
import Data.Maybe (fromJust)
import qualified Data.Text as T
import Foreign.ForeignPtr (ForeignPtr)
import GI.Gtk hiding (main)
type BuildFn a = ReaderT Builder IO a
buildWithBuilder :: MonadIO m => BuildFn a -> Builder -> m a
buildWithBuilder :: forall (m :: * -> *) a. MonadIO m => BuildFn a -> Builder -> m a
buildWithBuilder BuildFn a
fn Builder
builder = IO a -> m a
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO a -> m a) -> IO a -> m a
forall a b. (a -> b) -> a -> b
$ BuildFn a -> Builder -> IO a
forall r (m :: * -> *) a. ReaderT r m a -> r -> m a
runReaderT BuildFn a
fn Builder
builder
getObject :: GObject a => (ManagedPtr a -> a) -> T.Text -> BuildFn a
getObject :: forall a. GObject a => (ManagedPtr a -> a) -> Text -> BuildFn a
getObject ManagedPtr a -> a
ctor Text
name = do
Builder
builder <- ReaderT Builder IO Builder
forall r (m :: * -> *). MonadReader r m => m r
ask
#if MIN_VERSION_haskell_gi_base(0,20,1)
Just Object
obj <- Builder -> Text -> ReaderT Builder IO (Maybe Object)
forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsBuilder a) =>
a -> Text -> m (Maybe Object)
builderGetObject Builder
builder Text
name
#else
Just obj <- nullToNothing $ builderGetObject builder name
#endif
IO a -> BuildFn a
forall a. IO a -> ReaderT Builder IO a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO a -> BuildFn a) -> IO a -> BuildFn a
forall a b. (a -> b) -> a -> b
$ Maybe a -> a
forall a. HasCallStack => Maybe a -> a
fromJust (Maybe a -> a) -> IO (Maybe a) -> IO a
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (ManagedPtr a -> a) -> Object -> IO (Maybe a)
forall o o'.
(HasCallStack, ManagedPtrNewtype o, TypedObject o,
ManagedPtrNewtype o', TypedObject o', GObject o') =>
(ManagedPtr o' -> o') -> o -> IO (Maybe o')
castTo ManagedPtr a -> a
ctor Object
obj