Reflex.Dom.Class

Documentation

(=:) :: k -> a -> Map k a

Alias for Data.Map.singleton

keycodeEnter :: Int

keycodeEscape :: Int

class (Reflex t, MonadHold t m, MonadIO m, MonadAsyncException m, Functor m, MonadReflexCreateTrigger t m, HasDocument m, HasWebView m, HasWebView (WidgetHost m), HasWebView (GuiAction m), MonadIO (WidgetHost m), MonadAsyncException (WidgetHost m), MonadIO (GuiAction m), MonadAsyncException (GuiAction m), Functor (WidgetHost m), MonadSample t (WidgetHost m), HasPostGui t (GuiAction m) (WidgetHost m), HasPostGui t (GuiAction m) m, HasPostGui t (GuiAction m) (GuiAction m), MonadRef m, MonadRef (WidgetHost m), Ref m ~ Ref IO, Ref (WidgetHost m) ~ Ref IO, MonadFix m) => MonadWidget t m | m -> t where

Associated Types

type WidgetHost m :: * -> *

type GuiAction m :: * -> *

Methods

askParent :: m Node

subWidget :: Node -> m a -> m a

subWidgetWithVoidActions :: Node -> m a -> m (a, Event t (WidgetHost m ()))

liftWidgetHost :: WidgetHost m a -> m a

schedulePostBuild :: WidgetHost m () -> m ()

addVoidAction :: Event t (WidgetHost m ()) -> m ()

getRunWidget :: IsNode n => m (n -> m a -> WidgetHost m (a, WidgetHost m (), Event t (WidgetHost m ())))

Instances

MonadWidget t m => MonadWidget t (ReaderT r 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))

class Monad m => HasDocument m where

Methods

askDocument :: m HTMLDocument

Instances

HasDocument m => HasDocument (ReaderT r m)

HasDocument m => HasDocument (StateT r m)

HasDocument m => HasDocument (Widget t m)

Monad m => HasDocument (Gui t h m)

class Monad m => HasWebView m where

Methods

askWebView :: m WebView

Instances

Monad m => HasWebView (WithWebView m)

HasWebView m => HasWebView (ReaderT r m)

HasWebView m => HasWebView (StateT r m)

HasWebView m => HasWebView (Widget t m)

Monad m => HasWebView (Gui t h m)

newtype Restore m

Constructors

Restore

Fields

restore :: forall a. m a -> IO a

class Monad m => MonadIORestore m where

Methods

askRestore :: m (Restore m)

Instances

MonadIORestore m => MonadIORestore (ReaderT r m)

MonadIORestore m => MonadIORestore (Gui t h m)

class (MonadRef h, Ref h ~ Ref m, MonadRef m) => HasPostGui t h m | m -> t h where

Methods

askPostGui :: m (h () -> IO ())

askRunWithActions :: m ([DSum (EventTrigger t)] -> h ())

Instances

HasPostGui t h m => HasPostGui t h (ReaderT r m)

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

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

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

runFrameWithTriggerRef :: (HasPostGui t h m, MonadRef m, MonadIO m) => Ref m (Maybe (EventTrigger t a)) -> a -> m ()

performEvent_ :: MonadWidget t m => Event t (WidgetHost m ()) -> m ()

performEvent :: (MonadWidget t m, Ref m ~ Ref IO) => Event t (WidgetHost m a) -> m (Event t a)

performEventAsync :: forall t m a. MonadWidget t m => Event t ((a -> IO ()) -> WidgetHost m ()) -> m (Event t a)

getPostBuild :: MonadWidget t m => m (Event t ())