Reflex.Dom.Builder.Class

Documentation

data SelectElement er d t

Constructors

SelectElement

Fields

• _selectElement_element :: Element er d t
• _selectElement_value :: Dynamic t Text
• _selectElement_change :: Event t Text

  Fires when the value is changed by the user, but not when it is set by setValue

• _selectElement_hasFocus :: Dynamic t Bool
• _selectElement_raw :: RawSelectElement d

data SelectElementConfig er t m

Constructors

SelectElementConfig

Fields

• _selectElementConfig_initialValue :: Text
• _selectElementConfig_setValue :: Maybe (Event t Text)
• _selectElementConfig_elementConfig :: ElementConfig er t m

Instances

ModifyAttributes (t :: k1) (SelectElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (SelectElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (SelectElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: SelectElementConfig er t s

InitialAttributes (SelectElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text)

data RawElementConfig er t s

Constructors

RawElementConfig

Fields

• _rawElementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
• _rawElementConfig_eventSpec :: EventSpec s er

Instances

ModifyAttributes (t :: k1) (RawElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (RawElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: RawElementConfig er t s

data TextAreaElement er d t

Constructors

TextAreaElement

Fields

• _textAreaElement_value :: Dynamic t Text
• _textAreaElement_input :: Event t Text
• _textAreaElement_hasFocus :: Dynamic t Bool
• _textAreaElement_element :: Element er d t
• _textAreaElement_raw :: RawTextAreaElement d

Instances

Reflex t => HasDomEvent (t :: k1) (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (TextAreaElement EventResult d t) en

Methods

domEvent :: EventName en -> TextAreaElement EventResult d t -> Event t (DomEventType (TextAreaElement EventResult d t) en)

HasValue (TextAreaElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextAreaElement er d t)

Methods

value :: TextAreaElement er d t -> Value (TextAreaElement er d t)

type Value (TextAreaElement er d t)

Defined in Reflex.Dom.Widget.Input

type Value (TextAreaElement er d t) = Dynamic t Text

type DomEventType (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

type DomEventType (TextAreaElement EventResult d t) en = EventResultType en

data TextAreaElementConfig er t m

Constructors

TextAreaElementConfig

Fields

• _textAreaElementConfig_initialValue :: Text
• _textAreaElementConfig_setValue :: Maybe (Event t Text)
• _textAreaElementConfig_elementConfig :: ElementConfig er t m

Instances

ModifyAttributes (t :: k1) (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (TextAreaElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (TextAreaElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: TextAreaElementConfig er t s

InitialAttributes (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text)

data InputElement er d t

Constructors

InputElement

Fields

• _inputElement_value :: Dynamic t Text
• _inputElement_checked :: Dynamic t Bool
• _inputElement_checkedChange :: Event t Bool
• _inputElement_input :: Event t Text
• _inputElement_hasFocus :: Dynamic t Bool
• _inputElement_element :: Element er d t
• _inputElement_raw :: RawInputElement d
• _inputElement_files :: Dynamic t [File]

Instances

Reflex t => HasDomEvent (t :: k1) (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (InputElement EventResult d t) en

Methods

domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d t) en)

HasValue (InputElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (InputElement er d t)

Methods

value :: InputElement er d t -> Value (InputElement er d t)

type Value (InputElement er d t)

Defined in Reflex.Dom.Widget.Input

type Value (InputElement er d t) = Dynamic t Text

type DomEventType (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

type DomEventType (InputElement EventResult d t) en = EventResultType en

data InputElementConfig er t s

Constructors

InputElementConfig

Fields

• _inputElementConfig_initialValue :: Text
• _inputElementConfig_setValue :: Maybe (Event t Text)
• _inputElementConfig_initialChecked :: Bool
• _inputElementConfig_setChecked :: Maybe (Event t Bool)
• _inputElementConfig_elementConfig :: ElementConfig er t s

Instances

ModifyAttributes (t :: k1) (InputElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (InputElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (InputElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: InputElementConfig er t s

InitialAttributes (InputElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text)

data Element er d t

Constructors

Element

Fields

• _element_events :: EventSelector t (WrapArg er EventName)
• _element_raw :: RawElement d

Instances

Reflex t => HasDomEvent (t :: k1) (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (Element EventResult d t) en

Methods

domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element EventResult d t) en)

type DomEventType (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

type DomEventType (Element EventResult d t) en = EventResultType en

data ElementConfig er t s

Constructors

ElementConfig

Fields

• _elementConfig_namespace :: Maybe Namespace
• _elementConfig_initialAttributes :: Map AttributeName Text
• _elementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
• _elementConfig_eventSpec :: EventSpec s er

Instances

ModifyAttributes (t :: k1) (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (ElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: ElementConfig er t s

HasNamespace (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

namespace :: Lens' (ElementConfig er t m) (Maybe Namespace)

InitialAttributes (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (ElementConfig er t m) (Map AttributeName Text)

data EventFlags

Constructors

EventFlags

Fields

• _eventFlags_propagation :: Propagation
• _eventFlags_preventDefault :: Bool

Instances

Semigroup EventFlags

Defined in Reflex.Dom.Builder.Class

Methods

(<>) :: EventFlags -> EventFlags -> EventFlags

sconcat :: NonEmpty EventFlags -> EventFlags

stimes :: Integral b => b -> EventFlags -> EventFlags

Monoid EventFlags

Defined in Reflex.Dom.Builder.Class

Methods

mempty :: EventFlags

mappend :: EventFlags -> EventFlags -> EventFlags

mconcat :: [EventFlags] -> EventFlags

data Propagation

Constructors

Propagation_Continue

Propagation_Stop

Propagation_StopImmediate

Instances

Eq Propagation

Defined in Reflex.Dom.Builder.Class

Methods

(==) :: Propagation -> Propagation -> Bool

(/=) :: Propagation -> Propagation -> Bool

Ord Propagation

Defined in Reflex.Dom.Builder.Class

Methods

compare :: Propagation -> Propagation -> Ordering

(<) :: Propagation -> Propagation -> Bool

(<=) :: Propagation -> Propagation -> Bool

(>) :: Propagation -> Propagation -> Bool

(>=) :: Propagation -> Propagation -> Bool

max :: Propagation -> Propagation -> Propagation

min :: Propagation -> Propagation -> Propagation

Read Propagation

Defined in Reflex.Dom.Builder.Class

Methods

readsPrec :: Int -> ReadS Propagation

readList :: ReadS [Propagation]

readPrec :: ReadPrec Propagation

readListPrec :: ReadPrec [Propagation]

Show Propagation

Defined in Reflex.Dom.Builder.Class

Methods

showsPrec :: Int -> Propagation -> ShowS

show :: Propagation -> String

showList :: [Propagation] -> ShowS

Semigroup Propagation

Defined in Reflex.Dom.Builder.Class

Methods

(<>) :: Propagation -> Propagation -> Propagation

sconcat :: NonEmpty Propagation -> Propagation

stimes :: Integral b => b -> Propagation -> Propagation

Monoid Propagation

Defined in Reflex.Dom.Builder.Class

Methods

mempty :: Propagation

mappend :: Propagation -> Propagation -> Propagation

mconcat :: [Propagation] -> Propagation

data AttributeName

Constructors

AttributeName !(Maybe Namespace) !Text

Instances

Eq AttributeName

Defined in Reflex.Dom.Builder.Class

Methods

(==) :: AttributeName -> AttributeName -> Bool

(/=) :: AttributeName -> AttributeName -> Bool

Ord AttributeName

Defined in Reflex.Dom.Builder.Class

Methods

compare :: AttributeName -> AttributeName -> Ordering

(<) :: AttributeName -> AttributeName -> Bool

(<=) :: AttributeName -> AttributeName -> Bool

(>) :: AttributeName -> AttributeName -> Bool

(>=) :: AttributeName -> AttributeName -> Bool

max :: AttributeName -> AttributeName -> AttributeName

min :: AttributeName -> AttributeName -> AttributeName

Read AttributeName

Defined in Reflex.Dom.Builder.Class

Methods

readsPrec :: Int -> ReadS AttributeName

readList :: ReadS [AttributeName]

readPrec :: ReadPrec AttributeName

readListPrec :: ReadPrec [AttributeName]

Show AttributeName

Defined in Reflex.Dom.Builder.Class

Methods

showsPrec :: Int -> AttributeName -> ShowS

show :: AttributeName -> String

showList :: [AttributeName] -> ShowS

IsString AttributeName

By default, AttributeNames are unnamespaced

Defined in Reflex.Dom.Builder.Class

Methods

fromString :: String -> AttributeName

newtype CommentNode d t

Constructors

CommentNode

Fields

• _commentNode_raw :: RawCommentNode d

data CommentNodeConfig t

Constructors

CommentNodeConfig

Fields

• _commentNodeConfig_initialContents :: !Text
• _commentNodeConfig_setContents :: !(Maybe (Event t Text))

Instances

Reflex t => Default (CommentNodeConfig t)

Defined in Reflex.Dom.Builder.Class

Methods

def :: CommentNodeConfig t

newtype TextNode d t

Constructors

TextNode

Fields

• _textNode_raw :: RawTextNode d

data TextNodeConfig t

Constructors

TextNodeConfig

Fields

• _textNodeConfig_initialContents :: !Text
• _textNodeConfig_setContents :: !(Maybe (Event t Text))

Instances

Reflex t => Default (TextNodeConfig t)

Defined in Reflex.Dom.Builder.Class

Methods

def :: TextNodeConfig t

type Namespace = Text

class DomBuilder t m => MountableDomBuilder t m where

Associated Types

type DomFragment m :: *

Methods

buildDomFragment :: m a -> m (DomFragment m, a)

mountDomFragment :: DomFragment m -> Event t (DomFragment m) -> m ()

Instances

(MountableDomBuilder t m, PerformEvent t m, MonadFix m, MonadHold t m) => MountableDomBuilder t (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomFragment (PostBuildT t m)

Methods

buildDomFragment :: PostBuildT t m a -> PostBuildT t m (DomFragment (PostBuildT t m), a)

mountDomFragment :: DomFragment (PostBuildT t m) -> Event t (DomFragment (PostBuildT t m)) -> PostBuildT t m ()

SupportsHydrationDomBuilder t m => MountableDomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)

Methods

buildDomFragment :: HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m), a)

mountDomFragment :: DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) -> Event t (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m ()

class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t m | m -> t where

DomBuilder t m indicates that m is a Monad capable of building dynamic DOM in the Reflex timeline t

Minimal complete definition

Nothing

Associated Types

type DomBuilderSpace m :: *

Methods

textNode :: TextNodeConfig t -> m (TextNode (DomBuilderSpace m) t)

default textNode :: (MonadTrans f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => TextNodeConfig t -> m (TextNode (DomBuilderSpace m) t)

commentNode :: CommentNodeConfig t -> m (CommentNode (DomBuilderSpace m) t)

default commentNode :: (MonadTrans f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => CommentNodeConfig t -> m (CommentNode (DomBuilderSpace m) t)

element :: Text -> ElementConfig er t (DomBuilderSpace m) -> m a -> m (Element er (DomBuilderSpace m) t, a)

default element :: (MonadTransControl f, StT f a ~ a, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => Text -> ElementConfig er t (DomBuilderSpace m) -> m a -> m (Element er (DomBuilderSpace m) t, a)

inputElement :: InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t)

default inputElement :: (MonadTransControl f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace m) -> m (TextAreaElement er (DomBuilderSpace m) t)

default textAreaElement :: (MonadTransControl f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => TextAreaElementConfig er t (DomBuilderSpace m) -> m (TextAreaElement er (DomBuilderSpace m) t)

selectElement :: SelectElementConfig er t (DomBuilderSpace m) -> m a -> m (SelectElement er (DomBuilderSpace m) t, a)

default selectElement :: (MonadTransControl f, StT f a ~ a, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => SelectElementConfig er t (DomBuilderSpace m) -> m a -> m (SelectElement er (DomBuilderSpace m) t, a)

placeRawElement :: RawElement (DomBuilderSpace m) -> m ()

default placeRawElement :: (MonadTrans f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => RawElement (DomBuilderSpace m) -> m ()

wrapRawElement :: RawElement (DomBuilderSpace m) -> RawElementConfig er t (DomBuilderSpace m) -> m (Element er (DomBuilderSpace m) t)

default wrapRawElement :: (MonadTrans f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => RawElement (DomBuilderSpace m) -> RawElementConfig er t (DomBuilderSpace m) -> m (Element er (DomBuilderSpace m) t)

Instances

DomBuilder t m => DomBuilder t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type DomBuilderSpace (HydratableT m)

Methods

textNode :: TextNodeConfig t -> HydratableT m (TextNode (DomBuilderSpace (HydratableT m)) t)

commentNode :: CommentNodeConfig t -> HydratableT m (CommentNode (DomBuilderSpace (HydratableT m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m a -> HydratableT m (Element er (DomBuilderSpace (HydratableT m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (InputElement er (DomBuilderSpace (HydratableT m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (TextAreaElement er (DomBuilderSpace (HydratableT m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m a -> HydratableT m (SelectElement er (DomBuilderSpace (HydratableT m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (HydratableT m)) -> HydratableT m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (HydratableT m)) -> RawElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (Element er (DomBuilderSpace (HydratableT m)) t)

DomBuilder t m => DomBuilder t (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Associated Types

type DomBuilderSpace (InputDisabledT m)

Methods

textNode :: TextNodeConfig t -> InputDisabledT m (TextNode (DomBuilderSpace (InputDisabledT m)) t)

commentNode :: CommentNodeConfig t -> InputDisabledT m (CommentNode (DomBuilderSpace (InputDisabledT m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m a -> InputDisabledT m (Element er (DomBuilderSpace (InputDisabledT m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (InputElement er (DomBuilderSpace (InputDisabledT m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (TextAreaElement er (DomBuilderSpace (InputDisabledT m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m a -> InputDisabledT m (SelectElement er (DomBuilderSpace (InputDisabledT m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (InputDisabledT m)) -> RawElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (Element er (DomBuilderSpace (InputDisabledT m)) t)

DomBuilder t m => DomBuilder t (ReaderT r m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (ReaderT r m)

Methods

textNode :: TextNodeConfig t -> ReaderT r m (TextNode (DomBuilderSpace (ReaderT r m)) t)

commentNode :: CommentNodeConfig t -> ReaderT r m (CommentNode (DomBuilderSpace (ReaderT r m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m a -> ReaderT r m (Element er (DomBuilderSpace (ReaderT r m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (InputElement er (DomBuilderSpace (ReaderT r m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (TextAreaElement er (DomBuilderSpace (ReaderT r m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m a -> ReaderT r m (SelectElement er (DomBuilderSpace (ReaderT r m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (ReaderT r m)) -> ReaderT r m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (ReaderT r m)) -> RawElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (Element er (DomBuilderSpace (ReaderT r m)) t)

(DomBuilder t m, PerformEvent t m, MonadFix m, MonadHold t m) => DomBuilder t (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (PostBuildT t m)

Methods

textNode :: TextNodeConfig t -> PostBuildT t m (TextNode (DomBuilderSpace (PostBuildT t m)) t)

commentNode :: CommentNodeConfig t -> PostBuildT t m (CommentNode (DomBuilderSpace (PostBuildT t m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m a -> PostBuildT t m (Element er (DomBuilderSpace (PostBuildT t m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (InputElement er (DomBuilderSpace (PostBuildT t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (TextAreaElement er (DomBuilderSpace (PostBuildT t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m a -> PostBuildT t m (SelectElement er (DomBuilderSpace (PostBuildT t m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (PostBuildT t m)) -> RawElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (Element er (DomBuilderSpace (PostBuildT t m)) t)

(DomBuilder t m, MonadFix m, MonadHold t m, Group q, Query q, Additive q, Eq q) => DomBuilder t (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (QueryT t q m)

Methods

textNode :: TextNodeConfig t -> QueryT t q m (TextNode (DomBuilderSpace (QueryT t q m)) t)

commentNode :: CommentNodeConfig t -> QueryT t q m (CommentNode (DomBuilderSpace (QueryT t q m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m a -> QueryT t q m (Element er (DomBuilderSpace (QueryT t q m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (InputElement er (DomBuilderSpace (QueryT t q m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (TextAreaElement er (DomBuilderSpace (QueryT t q m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m a -> QueryT t q m (SelectElement er (DomBuilderSpace (QueryT t q m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (QueryT t q m)) -> QueryT t q m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (QueryT t q m)) -> RawElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (Element er (DomBuilderSpace (QueryT t q m)) t)

(DomBuilder t m, MonadHold t m, MonadFix m, Semigroup w) => DomBuilder t (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (EventWriterT t w m)

Methods

textNode :: TextNodeConfig t -> EventWriterT t w m (TextNode (DomBuilderSpace (EventWriterT t w m)) t)

commentNode :: CommentNodeConfig t -> EventWriterT t w m (CommentNode (DomBuilderSpace (EventWriterT t w m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m a -> EventWriterT t w m (Element er (DomBuilderSpace (EventWriterT t w m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (InputElement er (DomBuilderSpace (EventWriterT t w m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (TextAreaElement er (DomBuilderSpace (EventWriterT t w m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m a -> EventWriterT t w m (SelectElement er (DomBuilderSpace (EventWriterT t w m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (EventWriterT t w m)) -> RawElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (Element er (DomBuilderSpace (EventWriterT t w m)) t)

(DomBuilder t m, Monoid w, MonadHold t m, MonadFix m) => DomBuilder t (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (DynamicWriterT t w m)

Methods

textNode :: TextNodeConfig t -> DynamicWriterT t w m (TextNode (DomBuilderSpace (DynamicWriterT t w m)) t)

commentNode :: CommentNodeConfig t -> DynamicWriterT t w m (CommentNode (DomBuilderSpace (DynamicWriterT t w m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m a -> DynamicWriterT t w m (Element er (DomBuilderSpace (DynamicWriterT t w m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (InputElement er (DomBuilderSpace (DynamicWriterT t w m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (TextAreaElement er (DomBuilderSpace (DynamicWriterT t w m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m a -> DynamicWriterT t w m (SelectElement er (DomBuilderSpace (DynamicWriterT t w m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (DynamicWriterT t w m)) -> RawElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (Element er (DomBuilderSpace (DynamicWriterT t w m)) t)

SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Associated Types

type DomBuilderSpace (StaticDomBuilderT t m)

Methods

textNode :: TextNodeConfig t -> StaticDomBuilderT t m (TextNode (DomBuilderSpace (StaticDomBuilderT t m)) t)

commentNode :: CommentNodeConfig t -> StaticDomBuilderT t m (CommentNode (DomBuilderSpace (StaticDomBuilderT t m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m (Element er (DomBuilderSpace (StaticDomBuilderT t m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (InputElement er (DomBuilderSpace (StaticDomBuilderT t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (TextAreaElement er (DomBuilderSpace (StaticDomBuilderT t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m (SelectElement er (DomBuilderSpace (StaticDomBuilderT t m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (StaticDomBuilderT t m)) -> RawElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (Element er (DomBuilderSpace (StaticDomBuilderT t m)) t)

(DomBuilder t m, MonadHold t m, MonadFix m) => DomBuilder t (RequesterT t request response m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (RequesterT t request response m)

Methods

textNode :: TextNodeConfig t -> RequesterT t request response m (TextNode (DomBuilderSpace (RequesterT t request response m)) t)

commentNode :: CommentNodeConfig t -> RequesterT t request response m (CommentNode (DomBuilderSpace (RequesterT t request response m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m a -> RequesterT t request response m (Element er (DomBuilderSpace (RequesterT t request response m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (InputElement er (DomBuilderSpace (RequesterT t request response m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (TextAreaElement er (DomBuilderSpace (RequesterT t request response m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m a -> RequesterT t request response m (SelectElement er (DomBuilderSpace (RequesterT t request response m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (RequesterT t request response m)) -> RawElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (Element er (DomBuilderSpace (RequesterT t request response m)) t)

SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)

Methods

textNode :: TextNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

commentNode :: CommentNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> RawElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT HydrationDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)

Methods

textNode :: TextNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

commentNode :: CommentNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> RawElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

class Default (EventSpec d EventResult) => DomSpace d where

Associated Types

type EventSpec d :: (EventTag -> *) -> *

type RawDocument d :: *

type RawTextNode d :: *

type RawCommentNode d :: *

type RawElement d :: *

type RawInputElement d :: *

type RawTextAreaElement d :: *

type RawSelectElement d :: *

Methods

addEventSpecFlags :: proxy d -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec d er -> EventSpec d er

Instances

DomSpace HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec HydrationDomSpace :: (EventTag -> Type) -> Type

type RawDocument HydrationDomSpace

type RawTextNode HydrationDomSpace

type RawCommentNode HydrationDomSpace

type RawElement HydrationDomSpace

type RawInputElement HydrationDomSpace

type RawTextAreaElement HydrationDomSpace

type RawSelectElement HydrationDomSpace

Methods

addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy HydrationDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec HydrationDomSpace er -> EventSpec HydrationDomSpace er

DomSpace GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec GhcjsDomSpace :: (EventTag -> Type) -> Type

type RawDocument GhcjsDomSpace

type RawTextNode GhcjsDomSpace

type RawCommentNode GhcjsDomSpace

type RawElement GhcjsDomSpace

type RawInputElement GhcjsDomSpace

type RawTextAreaElement GhcjsDomSpace

type RawSelectElement GhcjsDomSpace

Methods

addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy GhcjsDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec GhcjsDomSpace er -> EventSpec GhcjsDomSpace er

DomSpace StaticDomSpace

Defined in Reflex.Dom.Builder.Static

Associated Types

type EventSpec StaticDomSpace :: (EventTag -> Type) -> Type

type RawDocument StaticDomSpace

type RawTextNode StaticDomSpace

type RawCommentNode StaticDomSpace

type RawElement StaticDomSpace

type RawInputElement StaticDomSpace

type RawTextAreaElement StaticDomSpace

type RawSelectElement StaticDomSpace

Methods

addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy StaticDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec StaticDomSpace er -> EventSpec StaticDomSpace er

mapKeysToAttributeName :: Map Text v -> Map AttributeName v

preventDefault :: EventFlags

stopPropagation :: EventFlags

extractRawElementConfig :: ElementConfig er t m -> RawElementConfig er t m

class Monad m => HasDocument m where

Minimal complete definition

Nothing

Methods

askDocument :: m (RawDocument (DomBuilderSpace m))

default askDocument :: (m ~ f m', RawDocument (DomBuilderSpace m) ~ RawDocument (DomBuilderSpace m'), MonadTrans f, Monad m', HasDocument m') => m (RawDocument (DomBuilderSpace m))

Instances

HasDocument m => HasDocument (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

askDocument :: HydratableT m (RawDocument (DomBuilderSpace (HydratableT m)))

HasDocument m => HasDocument (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Methods

askDocument :: InputDisabledT m (RawDocument (DomBuilderSpace (InputDisabledT m)))

HasDocument m => HasDocument (ReaderT r m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: ReaderT r m (RawDocument (DomBuilderSpace (ReaderT r m)))

HasDocument m => HasDocument (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: PostBuildT t m (RawDocument (DomBuilderSpace (PostBuildT t m)))

HasDocument m => HasDocument (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: DynamicWriterT t w m (RawDocument (DomBuilderSpace (DynamicWriterT t w m)))

HasDocument m => HasDocument (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: QueryT t q m (RawDocument (DomBuilderSpace (QueryT t q m)))

HasDocument m => HasDocument (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT t w m)))

(SupportsStaticDomBuilder t m, Monad m) => HasDocument (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

askDocument :: StaticDomBuilderT t m (RawDocument (DomBuilderSpace (StaticDomBuilderT t m)))

HasDocument m => HasDocument (RequesterT t request response m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: RequesterT t request response m (RawDocument (DomBuilderSpace (RequesterT t request response m)))

(RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document, Monad m) => HasDocument (HydrationDomBuilderT s t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

askDocument :: HydrationDomBuilderT s t m (RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)))

class (Reflex t, Monad m) => DomRenderHook t m | m -> t where

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> m a -> m a

requestDomAction :: Event t (JSM a) -> m (Event t a)

requestDomAction_ :: Event t (JSM a) -> m ()

Instances

DomRenderHook t m => DomRenderHook (t :: k) (StateT e m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a

requestDomAction :: Event t (JSM a) -> StateT e m (Event t a)

requestDomAction_ :: Event t (JSM a) -> StateT e m ()

DomRenderHook t m => DomRenderHook (t :: k) (StateT e m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a

requestDomAction :: Event t (JSM a) -> StateT e m (Event t a)

requestDomAction_ :: Event t (JSM a) -> StateT e m ()

DomRenderHook t m => DomRenderHook (t :: k) (ReaderT e m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> ReaderT e m a -> ReaderT e m a

requestDomAction :: Event t (JSM a) -> ReaderT e m (Event t a)

requestDomAction_ :: Event t (JSM a) -> ReaderT e m ()

DomRenderHook t m => DomRenderHook (t :: Type) (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> HydratableT m a -> HydratableT m a

requestDomAction :: Event t (JSM a) -> HydratableT m (Event t a)

requestDomAction_ :: Event t (JSM a) -> HydratableT m ()

DomRenderHook t m => DomRenderHook (t :: Type) (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> InputDisabledT m a -> InputDisabledT m a

requestDomAction :: Event t (JSM a) -> InputDisabledT m (Event t a)

requestDomAction_ :: Event t (JSM a) -> InputDisabledT m ()

DomRenderHook t m => DomRenderHook (t :: Type) (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> PostBuildT t m a -> PostBuildT t m a

requestDomAction :: Event t (JSM a) -> PostBuildT t m (Event t a)

requestDomAction_ :: Event t (JSM a) -> PostBuildT t m ()

(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationRunnerT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationRunnerT t m a -> HydrationRunnerT t m a

requestDomAction :: Event t (JSM a) -> HydrationRunnerT t m (Event t a)

requestDomAction_ :: Event t (JSM a) -> HydrationRunnerT t m ()

DomRenderHook t m => DomRenderHook (t :: Type) (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> QueryT t q m a -> QueryT t q m a

requestDomAction :: Event t (JSM a) -> QueryT t q m (Event t a)

requestDomAction_ :: Event t (JSM a) -> QueryT t q m ()

DomRenderHook t m => DomRenderHook (t :: Type) (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> DynamicWriterT t w m a -> DynamicWriterT t w m a

requestDomAction :: Event t (JSM a) -> DynamicWriterT t w m (Event t a)

requestDomAction_ :: Event t (JSM a) -> DynamicWriterT t w m ()

DomRenderHook t m => DomRenderHook (t :: Type) (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> EventWriterT t w m a -> EventWriterT t w m a

requestDomAction :: Event t (JSM a) -> EventWriterT t w m (Event t a)

requestDomAction_ :: Event t (JSM a) -> EventWriterT t w m ()

DomRenderHook t m => DomRenderHook (t :: Type) (BehaviorWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> BehaviorWriterT t w m a -> BehaviorWriterT t w m a

requestDomAction :: Event t (JSM a) -> BehaviorWriterT t w m (Event t a)

requestDomAction_ :: Event t (JSM a) -> BehaviorWriterT t w m ()

DomRenderHook t m => DomRenderHook (t :: Type) (RequesterT t req rsp m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> RequesterT t req rsp m a -> RequesterT t req rsp m a

requestDomAction :: Event t (JSM a) -> RequesterT t req rsp m (Event t a)

requestDomAction_ :: Event t (JSM a) -> RequesterT t req rsp m ()

(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationDomBuilderT s t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m a

requestDomAction :: Event t (JSM a) -> HydrationDomBuilderT s t m (Event t a)

requestDomAction_ :: Event t (JSM a) -> HydrationDomBuilderT s t m ()

type RunStateless t = forall n b. Monad n => t n b -> n b

class MonadTransControl t => MonadTransControlStateless t where

Minimal complete definition

Nothing

Methods

stTCoercion :: proxy t -> Coercion (StT t a) a

default stTCoercion :: a ~ StT t a => proxy t -> Coercion (StT t a) a

Instances

MonadTransControlStateless (ReaderT r)

Defined in Reflex.Dom.Builder.Class

Methods

stTCoercion :: proxy (ReaderT r) -> Coercion (StT (ReaderT r) a) a

type LiftDomBuilder t f m = (Reflex t, MonadTransControlStateless f, Monad m, DomBuilder t m, DomBuilderSpace (f m) ~ DomBuilderSpace m)

class HasDomEvent t target eventName | target -> t where

Associated Types

type DomEventType target eventName :: *

Methods

domEvent :: EventName eventName -> target -> Event t (DomEventType target eventName)

Instances

Reflex t => HasDomEvent (t :: k) (TextInput t) en

Defined in Reflex.Dom.Widget.Input

Associated Types

type DomEventType (TextInput t) en

Methods

domEvent :: EventName en -> TextInput t -> Event t (DomEventType (TextInput t) en)

Reflex t => HasDomEvent (t :: k1) (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (TextAreaElement EventResult d t) en

Methods

domEvent :: EventName en -> TextAreaElement EventResult d t -> Event t (DomEventType (TextAreaElement EventResult d t) en)

Reflex t => HasDomEvent (t :: k1) (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (InputElement EventResult d t) en

Methods

domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d t) en)

Reflex t => HasDomEvent (t :: k1) (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (Element EventResult d t) en

Methods

domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element EventResult d t) en)

class HasNamespace a where

Methods

namespace :: Lens' a (Maybe Namespace)

Instances

HasNamespace (ElConfig attrs)

Defined in Reflex.Dom.Old

Methods

namespace :: Lens' (ElConfig attrs) (Maybe Namespace)

HasNamespace (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

namespace :: Lens' (ElementConfig er t m) (Maybe Namespace)

class ModifyAttributes t a | a -> t where

Methods

modifyAttributes :: Reflex t => Lens' a (Event t (Map AttributeName (Maybe Text)))

Instances

ModifyAttributes (t :: k1) (RawElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k1) (SelectElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (SelectElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k1) (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (TextAreaElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k1) (InputElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (InputElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k1) (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

class InitialAttributes a where

Methods

initialAttributes :: Lens' a (Map AttributeName Text)

Instances

InitialAttributes (SelectElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text)

InitialAttributes (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text)

InitialAttributes (InputElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text)

InitialAttributes (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (ElementConfig er t m) (Map AttributeName Text)

textNodeConfig_initialContents :: forall t. Lens' (TextNodeConfig t) Text

commentNodeConfig_initialContents :: forall t. Lens' (CommentNodeConfig t) Text

inputElementConfig_elementConfig :: forall er t s er s. Lens (InputElementConfig er t s) (InputElementConfig er t s) (ElementConfig er t s) (ElementConfig er t s)

inputElementConfig_initialChecked :: forall er t s. Lens' (InputElementConfig er t s) Bool

inputElementConfig_initialValue :: forall er t s. Lens' (InputElementConfig er t s) Text

rawElementConfig_eventSpec :: forall er t s er s. Lens (RawElementConfig er t s) (RawElementConfig er t s) (EventSpec s er) (EventSpec s er)

elementConfig_eventSpec :: forall er t s er s. Lens (ElementConfig er t s) (ElementConfig er t s) (EventSpec s er) (EventSpec s er)

elementConfig_initialAttributes :: forall er t s. Lens' (ElementConfig er t s) (Map AttributeName Text)

elementConfig_namespace :: forall er t s. Lens' (ElementConfig er t s) (Maybe Namespace)

textAreaElementConfig_elementConfig :: forall er t m er m. Lens (TextAreaElementConfig er t m) (TextAreaElementConfig er t m) (ElementConfig er t m) (ElementConfig er t m)

textAreaElementConfig_initialValue :: forall er t m. Lens' (TextAreaElementConfig er t m) Text

selectElementConfig_elementConfig :: forall er t m er m. Lens (SelectElementConfig er t m) (SelectElementConfig er t m) (ElementConfig er t m) (ElementConfig er t m)

selectElementConfig_initialValue :: forall er t m. Lens' (SelectElementConfig er t m) Text

textNodeConfig_setContents :: Reflex t => Lens' (TextNodeConfig t) (Event t Text)

This lens is technically illegal. The implementation of TextNodeConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with TextNodeConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

commentNodeConfig_setContents :: Reflex t => Lens (CommentNodeConfig t) (CommentNodeConfig t) (Event t Text) (Event t Text)

This lens is technically illegal. The implementation of CommentNodeConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with CommentNodeConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

inputElementConfig_setValue :: Reflex t => Lens' (InputElementConfig er t m) (Event t Text)

This lens is technically illegal. The implementation of InputElementConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with InputElementConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

inputElementConfig_setChecked :: Reflex t => Lens' (InputElementConfig er t m) (Event t Bool)

This lens is technically illegal. The implementation of InputElementConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with InputElementConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

rawElementConfig_modifyAttributes :: Reflex t => Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

This lens is technically illegal. The implementation of RawElementConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with RawElementConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

elementConfig_modifyAttributes :: Reflex t => Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

This lens is technically illegal. The implementation of RawElementConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with RawElementConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

textAreaElementConfig_setValue :: Reflex t => Lens' (TextAreaElementConfig er t m) (Event t Text)

This lens is technically illegal. The implementation of TextAreaElementConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with TextAreaElementConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

selectElementConfig_setValue :: Reflex t => Lens' (SelectElementConfig er t m) (Event t Text)

This lens is technically illegal. The implementation of SelectElementConfig uses a Maybe under the hood for efficiency reasons. However, always interacting with SelectElementConfig via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing as never.

toStT :: MonadTransControlStateless t => proxy t -> a -> StT t a

fromStT :: MonadTransControlStateless t => proxy t -> StT t a -> a

liftWithStateless :: forall m t a. (Monad m, MonadTransControlStateless t) => (RunStateless t -> m a) -> t m a

liftTextNode :: (MonadTrans f, DomBuilder t m) => TextNodeConfig t -> f m (TextNode (DomBuilderSpace m) t)

liftCommentNode :: (MonadTrans f, DomBuilder t m) => CommentNodeConfig t -> f m (CommentNode (DomBuilderSpace m) t)

liftElement :: LiftDomBuilder t f m => Text -> ElementConfig er t (DomBuilderSpace m) -> f m a -> f m (Element er (DomBuilderSpace m) t, a)

liftElementConfig :: ElementConfig er t s -> ElementConfig er t s

Deprecated: Use id instead; this function is no longer necessary

module Reflex.Dom.Builder.Class.Events

module Reflex.NotReady.Class