reflex-dom-0.2: Functional Reactive Web Apps with Reflex

Safe HaskellNone
LanguageHaskell98

Reflex.Dom.Internal

Documentation

data GuiEnv t h Source

Constructors

GuiEnv 

Fields

_guiEnvDocument :: !HTMLDocument
 
_guiEnvPostGui :: !(h () -> IO ())
 
_guiEnvRunWithActions :: !([DSum (EventTrigger t)] -> h ())
 
_guiEnvWebView :: !WebView
 

newtype Gui t h m a Source

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) Source 
(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)) Source 
(Reflex t, MonadReflexCreateTrigger t m) => MonadReflexCreateTrigger t (Gui t h m) Source 
MonadSample t m => MonadSample t (Gui t h m) Source 
MonadHold t m => MonadHold t (Gui t h m) Source 
MonadTrans (Gui t h) Source 
Monad m => Monad (Gui t h m) Source 
Functor m => Functor (Gui t h m) Source 
MonadFix m => MonadFix (Gui t h m) Source 
Applicative m => Applicative (Gui t h m) Source 
MonadException m => MonadException (Gui t h m) Source 
MonadAsyncException m => MonadAsyncException (Gui t h m) Source 
MonadIO m => MonadIO (Gui t h m) Source 
MonadRef m => MonadRef (Gui t h m) Source 
MonadAtomicRef m => MonadAtomicRef (Gui t h m) Source 
MonadIORestore m => MonadIORestore (Gui t h m) Source 
Monad m => HasWebView (Gui t h m) Source 
Monad m => HasDocument (Gui t h m) Source 
type WidgetHost (Widget t (Gui t h m)) = Gui t h m Source 
type GuiAction (Widget t (Gui t h m)) = h Source 
type Ref (Gui t h m) = Ref m Source 

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

data WidgetEnv Source

Constructors

WidgetEnv 

Fields

_widgetEnvParent :: !Node
 

data WidgetState t m Source

Constructors

WidgetState 

Fields

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

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

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

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

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

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

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

widgetEnvParent :: Iso' WidgetEnv Node Source

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

newtype Widget t m a Source

Constructors

Widget 

Fields

unWidget :: WidgetInternal t m a
 

Instances

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)) ())) Source

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

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

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

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

newtype WithWebView m a Source

Constructors

WithWebView 

Fields

unWithWebView :: ReaderT WebView m a
 

Instances

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

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