@@ -0,0 +1,41 @@
1+{-# LANGUAGE RankNTypes #-}
2+{-# LANGUAGE TypeFamilies #-}
3+module Reflex.Dom.Internal
4+ (module Main, mainWidget, mainWidgetWithHead, mainWidgetWithCss,
5+ mainWidgetWithHead', mainWidgetInElementById, runApp') where
6+
7+import Data.ByteString (ByteString)
8+import Data.Text (Text)
9+import Reflex.Spider (Spider)
10+import Reflex.Dom.Core (Widget)
11+import Reflex.Dom.Main as Main hiding
12+ (mainWidget, mainWidgetWithHead, mainWidgetWithCss,
13+ mainWidgetWithHead', mainWidgetInElementById, runApp')
14+import qualified Reflex.Dom.Main as Main
15+ (mainWidget, mainWidgetWithHead, mainWidgetWithCss,
16+ mainWidgetWithHead', mainWidgetInElementById, runApp')
17+import Language.Javascript.JSaddle.WebKitGTK (run)
18+
19+mainWidget :: (forall x. Widget x ()) -> IO ()
20+mainWidget w = run $ Main.mainWidget w
21+{-# INLINE mainWidget #-}
22+
23+mainWidgetWithHead :: (forall x. Widget x ()) -> (forall x. Widget x ()) -> IO ()
24+mainWidgetWithHead h b = run $ Main.mainWidgetWithHead h b
25+{-# INLINE mainWidgetWithHead #-}
26+
27+mainWidgetWithCss :: ByteString -> (forall x. Widget x ()) -> IO ()
28+mainWidgetWithCss css w = run $ Main.mainWidgetWithCss css w
29+{-# INLINE mainWidgetWithCss #-}
30+
31+mainWidgetWithHead' :: (forall x. (a -> Widget x b, b -> Widget x a)) -> IO ()
32+mainWidgetWithHead' w = run $ Main.mainWidgetWithHead' w
33+{-# INLINE mainWidgetWithHead' #-}
34+
35+mainWidgetInElementById :: Text -> (forall x. Widget x ()) -> IO ()
36+mainWidgetInElementById eid w = run $ Main.mainWidgetInElementById eid w
37+{-# INLINE mainWidgetInElementById #-}
38+
39+runApp' :: (t ~ Spider) => (forall x. AppInput t -> Widget x (AppOutput t)) -> IO ()
40+runApp' app = run $ Main.runApp' app
41+{-# INLINE runApp' #-}