Reflex.Dom.Internal

Documentation

data GuiEnv t h

Constructors

GuiEnv

Fields

_guiEnvDocument :: !HTMLDocument

_guiEnvPostGui :: !(h () -> IO ())

_guiEnvRunWithActions :: !([DSum (EventTrigger t)] -> h ())

_guiEnvWebView :: !WebView

newtype Gui t h m a

Constructors

Gui

Fields

unGui :: ReaderT (GuiEnv t h) m a

Instances

(MonadRef h, (~) (* -> *) (Ref h) (Ref m), MonadRef m) => HasPostGui t h (Gui t h m)

(MonadRef m, (~) (* -> *) (Ref m) (Ref IO), MonadRef h, (~) (* -> *) (Ref h) (Ref IO), MonadIO m, MonadAsyncException m, MonadIO h, MonadAsyncException h, Functor m, ReflexHost t, MonadReflexCreateTrigger t m, MonadSample t m, MonadHold t m, MonadFix m, HasWebView h, HasPostGui t h h) => MonadWidget t (Widget t (Gui t h m))

(Reflex t, MonadReflexCreateTrigger t m) => MonadReflexCreateTrigger t (Gui t h m)

MonadSample t m => MonadSample t (Gui t h m)

MonadHold t m => MonadHold t (Gui t h m)

MonadTrans (Gui t h)

Monad m => Monad (Gui t h m)

Functor m => Functor (Gui t h m)

MonadFix m => MonadFix (Gui t h m)

Applicative m => Applicative (Gui t h m)

MonadException m => MonadException (Gui t h m)

MonadAsyncException m => MonadAsyncException (Gui t h m)

MonadIO m => MonadIO (Gui t h m)

MonadRef m => MonadRef (Gui t h m)

MonadAtomicRef m => MonadAtomicRef (Gui t h m)

MonadIORestore m => MonadIORestore (Gui t h m)

Monad m => HasWebView (Gui t h m)

Monad m => HasDocument (Gui t h m)

type WidgetHost (Widget t (Gui t h m)) = Gui t h m

type GuiAction (Widget t (Gui t h m)) = h

type Ref (Gui t h m) = Ref m

runGui :: Gui t h m a -> GuiEnv t h -> m a

data WidgetEnv

Constructors

WidgetEnv

Fields

_widgetEnvParent :: !Node

data WidgetState t m

Constructors

WidgetState

Fields

_widgetStatePostBuild :: !(m ())

_widgetStateVoidActions :: ![Event t (m ())]

guiEnvWebView :: forall t h. Lens' (GuiEnv t h) WebView

guiEnvRunWithActions :: forall t h t. Lens (GuiEnv t h) (GuiEnv t h) ([DSum (EventTrigger t)] -> h ()) ([DSum (EventTrigger t)] -> h ())

guiEnvPostGui :: forall t h. Lens' (GuiEnv t h) (h () -> IO ())

guiEnvDocument :: forall t h. Lens' (GuiEnv t h) HTMLDocument

widgetStateVoidActions :: forall t m t. Lens (WidgetState t m) (WidgetState t m) [Event t (m ())] [Event t (m ())]

widgetStatePostBuild :: forall t m. Lens' (WidgetState t m) (m ())

widgetEnvParent :: Iso' WidgetEnv Node

type WidgetInternal t m a = ReaderT WidgetEnv (StateT (WidgetState t m) m) a

newtype Widget t m a

Constructors

Widget

Fields

unWidget :: WidgetInternal t m a

Instances

HasPostGui t h m => HasPostGui t h (Widget t m)

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (Widget t m)

MonadSample t m => MonadSample t (Widget t m)

MonadHold t m => MonadHold t (Widget t m)

(MonadRef m, (~) (* -> *) (Ref m) (Ref IO), MonadRef h, (~) (* -> *) (Ref h) (Ref IO), MonadIO m, MonadAsyncException m, MonadIO h, MonadAsyncException h, Functor m, ReflexHost t, MonadReflexCreateTrigger t m, MonadSample t m, MonadHold t m, MonadFix m, HasWebView h, HasPostGui t h h) => MonadWidget t (Widget t (Gui t h m))

MonadTrans (Widget t)

Monad m => Monad (Widget t m)

Functor m => Functor (Widget t m)

MonadFix m => MonadFix (Widget t m)

Monad m => Applicative (Widget t m)

MonadException m => MonadException (Widget t m)

MonadAsyncException m => MonadAsyncException (Widget t m)

MonadIO m => MonadIO (Widget t m)

MonadRef m => MonadRef (Widget t m)

MonadAtomicRef m => MonadAtomicRef (Widget t m)

HasWebView m => HasWebView (Widget t m)

HasDocument m => HasDocument (Widget t m)

type Ref (Widget t m) = Ref m

type WidgetHost (Widget t (Gui t h m)) = Gui t h m

type GuiAction (Widget t (Gui t h m)) = h

runWidget :: (Monad m, Reflex t, IsNode n) => n -> Widget t (Gui t h m) a -> WidgetHost (Widget t (Gui t h m)) (a, WidgetHost (Widget t (Gui t h m)) (), Event t (WidgetHost (Widget t (Gui t h m)) ()))

holdOnStartup :: MonadWidget t m => a -> WidgetHost m a -> m (Behavior t a)

mainWidget :: Widget Spider (Gui Spider (WithWebView SpiderHost) (HostFrame Spider)) () -> IO ()

mainWidgetWithHead :: Widget Spider (Gui Spider (WithWebView SpiderHost) (HostFrame Spider)) () -> Widget Spider (Gui Spider (WithWebView SpiderHost) (HostFrame Spider)) () -> IO ()

mainWidgetWithCss :: ByteString -> Widget Spider (Gui Spider (WithWebView SpiderHost) (HostFrame Spider)) () -> IO ()

newtype WithWebView m a

Constructors

WithWebView

Fields

unWithWebView :: ReaderT WebView m a

Instances

MonadTrans WithWebView

MonadSubscribeEvent t m => MonadSubscribeEvent t (WithWebView m)

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (WithWebView m)

MonadReflexHost t m => MonadReflexHost t (WithWebView m)

HasPostGui t h m => HasPostGui t (WithWebView h) (WithWebView m)

Monad m => Monad (WithWebView m)

Functor m => Functor (WithWebView m)

MonadFix m => MonadFix (WithWebView m)

Applicative m => Applicative (WithWebView m)

MonadException m => MonadException (WithWebView m)

MonadAsyncException m => MonadAsyncException (WithWebView m)

MonadIO m => MonadIO (WithWebView m)

MonadRef m => MonadRef (WithWebView m)

MonadAtomicRef m => MonadAtomicRef (WithWebView m)

Monad m => HasWebView (WithWebView m)

type Ref (WithWebView m) = Ref m

type ReadPhase (WithWebView m) = ReadPhase m

runWithWebView :: WithWebView m a -> WebView -> m a

attachWidget :: IsHTMLElement e => e -> WebView -> Widget Spider (Gui Spider (WithWebView SpiderHost) (HostFrame Spider)) a -> IO a