Safe Haskell	None
Language	Haskell98

Reflex.Dom.Builder.Class

Synopsis

data SelectElement er d t = SelectElement {
- _selectElement_element :: Element er d t
- _selectElement_value :: Dynamic t Text
- _selectElement_change :: Event t Text
- _selectElement_hasFocus :: Dynamic t Bool
- _selectElement_raw :: RawSelectElement d
}
data SelectElementConfig er t m = SelectElementConfig {
- _selectElementConfig_initialValue :: Text
- _selectElementConfig_setValue :: Maybe (Event t Text)
- _selectElementConfig_elementConfig :: ElementConfig er t m
}
data RawElementConfig er t s = RawElementConfig {
- _rawElementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
- _rawElementConfig_eventSpec :: EventSpec s er
}
data TextAreaElement er d t = TextAreaElement {
- _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
}
data TextAreaElementConfig er t m = TextAreaElementConfig {
- _textAreaElementConfig_initialValue :: Text
- _textAreaElementConfig_setValue :: Maybe (Event t Text)
- _textAreaElementConfig_elementConfig :: ElementConfig er t m
}
data InputElement er d t = InputElement {
- _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]
}
data InputElementConfig er t s = InputElementConfig {
- _inputElementConfig_initialValue :: Text
- _inputElementConfig_setValue :: Maybe (Event t Text)
- _inputElementConfig_initialChecked :: Bool
- _inputElementConfig_setChecked :: Maybe (Event t Bool)
- _inputElementConfig_elementConfig :: ElementConfig er t s
}
data Element er d t = Element {
- _element_events :: EventSelector t (WrapArg er EventName)
- _element_raw :: RawElement d
}
data ElementConfig er t s = ElementConfig {
- _elementConfig_namespace :: Maybe Namespace
- _elementConfig_initialAttributes :: Map AttributeName Text
- _elementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
- _elementConfig_eventSpec :: EventSpec s er
}
data EventFlags = EventFlags {
- _eventFlags_propagation :: Propagation
- _eventFlags_preventDefault :: Bool
}
data Propagation
- = Propagation_Continue
- | Propagation_Stop
- | Propagation_StopImmediate
data AttributeName = AttributeName !(Maybe Namespace) !Text
newtype CommentNode d t = CommentNode {
- _commentNode_raw :: RawCommentNode d
}
data CommentNodeConfig t = CommentNodeConfig {
- _commentNodeConfig_initialContents :: !Text
- _commentNodeConfig_setContents :: !(Maybe (Event t Text))
}
newtype TextNode d t = TextNode {
- _textNode_raw :: RawTextNode d
}
data TextNodeConfig t = TextNodeConfig {
- _textNodeConfig_initialContents :: !Text
- _textNodeConfig_setContents :: !(Maybe (Event t Text))
}
type Namespace = Text
class DomBuilder t m => MountableDomBuilder t m where
- type DomFragment m :: *
- buildDomFragment :: m a -> m (DomFragment m, a)
- mountDomFragment :: DomFragment m -> Event t (DomFragment m) -> m ()
class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t m | m -> t where
- type DomBuilderSpace m :: *
- textNode :: TextNodeConfig t -> m (TextNode (DomBuilderSpace m) t)
- commentNode :: CommentNodeConfig t -> m (CommentNode (DomBuilderSpace m) t)
- element :: 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)
- textAreaElement :: 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)
- placeRawElement :: RawElement (DomBuilderSpace m) -> m ()
- wrapRawElement :: RawElement (DomBuilderSpace m) -> RawElementConfig er t (DomBuilderSpace m) -> m (Element er (DomBuilderSpace m) t)
class Default (EventSpec d EventResult) => DomSpace d where
- 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 :: *
- addEventSpecFlags :: proxy d -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec d er -> EventSpec d 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
- askDocument :: m (RawDocument (DomBuilderSpace m))
class (Reflex t, Monad m) => DomRenderHook t m | m -> t where
- 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 ()
type RunStateless t = forall n b. Monad n => t n b -> n b
class MonadTransControl t => MonadTransControlStateless t where
- stTCoercion :: proxy t -> Coercion (StT t 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
- type DomEventType target eventName :: *
- domEvent :: EventName eventName -> target -> Event t (DomEventType target eventName)
class HasNamespace a where
- namespace :: Lens' a (Maybe Namespace)
class ModifyAttributes t a | a -> t where
- modifyAttributes :: Reflex t => Lens' a (Event t (Map AttributeName (Maybe Text)))
class InitialAttributes a where
- initialAttributes :: Lens' a (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)
commentNodeConfig_setContents :: Reflex t => Lens (CommentNodeConfig t) (CommentNodeConfig t) (Event t Text) (Event t Text)
inputElementConfig_setValue :: Reflex t => Lens' (InputElementConfig er t m) (Event t Text)
inputElementConfig_setChecked :: Reflex t => Lens' (InputElementConfig er t m) (Event t Bool)
rawElementConfig_modifyAttributes :: Reflex t => Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))
elementConfig_modifyAttributes :: Reflex t => Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))
textAreaElementConfig_setValue :: Reflex t => Lens' (TextAreaElementConfig er t m) (Event t Text)
selectElementConfig_setValue :: Reflex t => Lens' (SelectElementConfig er t m) (Event t Text)
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
module Reflex.Dom.Builder.Class.Events
module Reflex.NotReady.Class

Documentation

data SelectElement er d t Source #

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 Source #

Constructors

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

Instances

Instances details

ModifyAttributes (t :: k1) (SelectElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (SelectElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
(Reflex t, er ~ EventResult, DomSpace s) => Default (SelectElementConfig er t s) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods def :: SelectElementConfig er t s #
InitialAttributes (SelectElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text) Source #

data RawElementConfig er t s Source #

Constructors

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

Instances

Instances details

ModifyAttributes (t :: k1) (RawElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
(Reflex t, er ~ EventResult, DomSpace s) => Default (RawElementConfig er t s) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods def :: RawElementConfig er t s #

data TextAreaElement er d t Source #

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

Instances details

Reflex t => HasDomEvent (t :: k1) (TextAreaElement EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (TextAreaElement EventResult d t) en Source # Methods domEvent :: EventName en -> TextAreaElement EventResult d t -> Event t (DomEventType (TextAreaElement EventResult d t) en) Source #
HasValue (TextAreaElement er d t) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Value (TextAreaElement er d t) Source # Methods value :: TextAreaElement er d t -> Value (TextAreaElement er d t) Source #
type Value (TextAreaElement er d t) Source #
Instance details Defined in Reflex.Dom.Widget.Input type Value (TextAreaElement er d t) = Dynamic t Text
type DomEventType (TextAreaElement EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (TextAreaElement EventResult d t) en = EventResultType en

data TextAreaElementConfig er t m Source #

Constructors

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

Instances

Instances details

ModifyAttributes (t :: k1) (TextAreaElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (TextAreaElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
(Reflex t, er ~ EventResult, DomSpace s) => Default (TextAreaElementConfig er t s) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods def :: TextAreaElementConfig er t s #
InitialAttributes (TextAreaElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text) Source #

data InputElement er d t Source #

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

Instances details

Reflex t => HasDomEvent (t :: k1) (InputElement EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (InputElement EventResult d t) en Source # Methods domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d t) en) Source #
HasValue (InputElement er d t) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Value (InputElement er d t) Source # Methods value :: InputElement er d t -> Value (InputElement er d t) Source #
type Value (InputElement er d t) Source #
Instance details Defined in Reflex.Dom.Widget.Input type Value (InputElement er d t) = Dynamic t Text
type DomEventType (InputElement EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (InputElement EventResult d t) en = EventResultType en

data InputElementConfig er t s Source #

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

Instances details

ModifyAttributes (t :: k1) (InputElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (InputElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
(Reflex t, er ~ EventResult, DomSpace s) => Default (InputElementConfig er t s) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods def :: InputElementConfig er t s #
InitialAttributes (InputElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text) Source #

data Element er d t Source #

Constructors

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

Instances

Instances details

Reflex t => HasDomEvent (t :: k1) (Element EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (Element EventResult d t) en Source # Methods domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element EventResult d t) en) Source #
type DomEventType (Element EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (Element EventResult d t) en = EventResultType en

data ElementConfig er t s Source #

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

Instances details

ModifyAttributes (t :: k1) (ElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
(Reflex t, er ~ EventResult, DomSpace s) => Default (ElementConfig er t s) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods def :: ElementConfig er t s #
HasNamespace (ElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods namespace :: Lens' (ElementConfig er t m) (Maybe Namespace) Source #
InitialAttributes (ElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (ElementConfig er t m) (Map AttributeName Text) Source #

data EventFlags Source #

Constructors

EventFlags
Fields _eventFlags_propagation :: Propagation _eventFlags_preventDefault :: Bool

Instances

Instances details

Semigroup EventFlags Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods (<>) :: EventFlags -> EventFlags -> EventFlags # sconcat :: NonEmpty EventFlags -> EventFlags # stimes :: Integral b => b -> EventFlags -> EventFlags #
Monoid EventFlags Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods mempty :: EventFlags # mappend :: EventFlags -> EventFlags -> EventFlags # mconcat :: [EventFlags] -> EventFlags #

data Propagation Source #

Constructors

Propagation_Continue
Propagation_Stop
Propagation_StopImmediate

Instances

Instances details

Eq Propagation Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods (==) :: Propagation -> Propagation -> Bool # (/=) :: Propagation -> Propagation -> Bool #
Ord Propagation Source #
Instance details 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 Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods readsPrec :: Int -> ReadS Propagation # readList :: ReadS [Propagation] # readPrec :: ReadPrec Propagation # readListPrec :: ReadPrec [Propagation] #
Show Propagation Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods showsPrec :: Int -> Propagation -> ShowS # show :: Propagation -> String # showList :: [Propagation] -> ShowS #
Semigroup Propagation Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods (<>) :: Propagation -> Propagation -> Propagation # sconcat :: NonEmpty Propagation -> Propagation # stimes :: Integral b => b -> Propagation -> Propagation #
Monoid Propagation Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods mempty :: Propagation # mappend :: Propagation -> Propagation -> Propagation # mconcat :: [Propagation] -> Propagation #

data AttributeName Source #

Constructors

AttributeName !(Maybe Namespace) !Text

Instances

Instances details

Eq AttributeName Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods (==) :: AttributeName -> AttributeName -> Bool # (/=) :: AttributeName -> AttributeName -> Bool #
Ord AttributeName Source #
Instance details 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 Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods readsPrec :: Int -> ReadS AttributeName # readList :: ReadS [AttributeName] # readPrec :: ReadPrec AttributeName # readListPrec :: ReadPrec [AttributeName] #
Show AttributeName Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods showsPrec :: Int -> AttributeName -> ShowS # show :: AttributeName -> String # showList :: [AttributeName] -> ShowS #
IsString AttributeName Source #	By default, AttributeNames are unnamespaced
Instance details Defined in Reflex.Dom.Builder.Class Methods fromString :: String -> AttributeName #

newtype CommentNode d t Source #

Constructors

CommentNode
Fields _commentNode_raw :: RawCommentNode d

data CommentNodeConfig t Source #

Constructors

CommentNodeConfig
Fields _commentNodeConfig_initialContents :: !Text _commentNodeConfig_setContents :: !(Maybe (Event t Text))

Instances

Instances details

Reflex t => Default (CommentNodeConfig t) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods def :: CommentNodeConfig t #

newtype TextNode d t Source #

Constructors

TextNode
Fields _textNode_raw :: RawTextNode d

data TextNodeConfig t Source #

Constructors

TextNodeConfig
Fields _textNodeConfig_initialContents :: !Text _textNodeConfig_setContents :: !(Maybe (Event t Text))

Instances

Instances details

Reflex t => Default (TextNodeConfig t) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods def :: TextNodeConfig t #

type Namespace = Text Source #

class DomBuilder t m => MountableDomBuilder t m where Source #

Associated Types

type DomFragment m :: * Source #

Methods

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

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

Instances

Instances details

(MountableDomBuilder t m, PerformEvent t m, MonadFix m, MonadHold t m) => MountableDomBuilder t (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomFragment (PostBuildT t m) Source # Methods buildDomFragment :: PostBuildT t m a -> PostBuildT t m (DomFragment (PostBuildT t m), a) Source # mountDomFragment :: DomFragment (PostBuildT t m) -> Event t (DomFragment (PostBuildT t m)) -> PostBuildT t m () Source #
SupportsHydrationDomBuilder t m => MountableDomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) Source # Methods buildDomFragment :: HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m), a) Source # mountDomFragment :: DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) -> Event t (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m () Source #

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

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 :: * Source #

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Instances

Instances details

DomBuilder t m => DomBuilder t (HydratableT m) Source #
Instance details Defined in Reflex.Dom.Builder.Hydratable Associated Types type DomBuilderSpace (HydratableT m) Source # Methods textNode :: TextNodeConfig t -> HydratableT m (TextNode (DomBuilderSpace (HydratableT m)) t) Source # commentNode :: CommentNodeConfig t -> HydratableT m (CommentNode (DomBuilderSpace (HydratableT m)) t) Source # 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) Source # inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (InputElement er (DomBuilderSpace (HydratableT m)) t) Source # textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (TextAreaElement er (DomBuilderSpace (HydratableT m)) t) Source # selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m a -> HydratableT m (SelectElement er (DomBuilderSpace (HydratableT m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (HydratableT m)) -> HydratableT m () Source # wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (HydratableT m)) -> RawElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (Element er (DomBuilderSpace (HydratableT m)) t) Source #
DomBuilder t m => DomBuilder t (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled Associated Types type DomBuilderSpace (InputDisabledT m) Source # Methods textNode :: TextNodeConfig t -> InputDisabledT m (TextNode (DomBuilderSpace (InputDisabledT m)) t) Source # commentNode :: CommentNodeConfig t -> InputDisabledT m (CommentNode (DomBuilderSpace (InputDisabledT m)) t) Source # 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) Source # inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (InputElement er (DomBuilderSpace (InputDisabledT m)) t) Source # textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (TextAreaElement er (DomBuilderSpace (InputDisabledT m)) t) Source # selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m a -> InputDisabledT m (SelectElement er (DomBuilderSpace (InputDisabledT m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m () Source # wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (InputDisabledT m)) -> RawElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (Element er (DomBuilderSpace (InputDisabledT m)) t) Source #
DomBuilder t m => DomBuilder t (ReaderT r m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (ReaderT r m) Source # Methods textNode :: TextNodeConfig t -> ReaderT r m (TextNode (DomBuilderSpace (ReaderT r m)) t) Source # commentNode :: CommentNodeConfig t -> ReaderT r m (CommentNode (DomBuilderSpace (ReaderT r m)) t) Source # 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) Source # inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (InputElement er (DomBuilderSpace (ReaderT r m)) t) Source # textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (TextAreaElement er (DomBuilderSpace (ReaderT r m)) t) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (ReaderT r m)) -> ReaderT r m () Source # 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) Source #
(DomBuilder t m, PerformEvent t m, MonadFix m, MonadHold t m) => DomBuilder t (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (PostBuildT t m) Source # Methods textNode :: TextNodeConfig t -> PostBuildT t m (TextNode (DomBuilderSpace (PostBuildT t m)) t) Source # commentNode :: CommentNodeConfig t -> PostBuildT t m (CommentNode (DomBuilderSpace (PostBuildT t m)) t) Source # 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) Source # inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (InputElement er (DomBuilderSpace (PostBuildT t m)) t) Source # textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (TextAreaElement er (DomBuilderSpace (PostBuildT t m)) t) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m () Source # 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) Source #
(DomBuilder t m, MonadFix m, MonadHold t m, Group q, Query q, Additive q, Eq q) => DomBuilder t (QueryT t q m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (QueryT t q m) Source # Methods textNode :: TextNodeConfig t -> QueryT t q m (TextNode (DomBuilderSpace (QueryT t q m)) t) Source # commentNode :: CommentNodeConfig t -> QueryT t q m (CommentNode (DomBuilderSpace (QueryT t q m)) t) Source # 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) Source # 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) Source # 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) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (QueryT t q m)) -> QueryT t q m () Source # 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) Source #
(DomBuilder t m, MonadHold t m, MonadFix m, Semigroup w) => DomBuilder t (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (EventWriterT t w m) Source # Methods textNode :: TextNodeConfig t -> EventWriterT t w m (TextNode (DomBuilderSpace (EventWriterT t w m)) t) Source # commentNode :: CommentNodeConfig t -> EventWriterT t w m (CommentNode (DomBuilderSpace (EventWriterT t w m)) t) Source # 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) Source # 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) Source # 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) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m () Source # 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) Source #
(DomBuilder t m, Monoid w, MonadHold t m, MonadFix m) => DomBuilder t (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (DynamicWriterT t w m) Source # Methods textNode :: TextNodeConfig t -> DynamicWriterT t w m (TextNode (DomBuilderSpace (DynamicWriterT t w m)) t) Source # commentNode :: CommentNodeConfig t -> DynamicWriterT t w m (CommentNode (DomBuilderSpace (DynamicWriterT t w m)) t) Source # 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) Source # 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) Source # 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) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m () Source # 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) Source #
SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Static Associated Types type DomBuilderSpace (StaticDomBuilderT t m) Source # Methods textNode :: TextNodeConfig t -> StaticDomBuilderT t m (TextNode (DomBuilderSpace (StaticDomBuilderT t m)) t) Source # commentNode :: CommentNodeConfig t -> StaticDomBuilderT t m (CommentNode (DomBuilderSpace (StaticDomBuilderT t m)) t) Source # 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) Source # inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (InputElement er (DomBuilderSpace (StaticDomBuilderT t m)) t) Source # textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (TextAreaElement er (DomBuilderSpace (StaticDomBuilderT t m)) t) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m () Source # 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) Source #
(DomBuilder t m, MonadHold t m, MonadFix m) => DomBuilder t (RequesterT t request response m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (RequesterT t request response m) Source # Methods textNode :: TextNodeConfig t -> RequesterT t request response m (TextNode (DomBuilderSpace (RequesterT t request response m)) t) Source # commentNode :: CommentNodeConfig t -> RequesterT t request response m (CommentNode (DomBuilderSpace (RequesterT t request response m)) t) Source # 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) Source # 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) Source # 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) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m () Source # 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) Source #
SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) Source # Methods textNode :: TextNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # commentNode :: CommentNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # 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) Source # 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) Source # 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) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m () Source # 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) Source #
SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) Source # Methods textNode :: TextNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # commentNode :: CommentNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # 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) Source # 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) Source # 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) Source # 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) Source # placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m () Source # 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) Source #

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

Associated Types

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

type RawDocument d :: * Source #

type RawTextNode d :: * Source #

type RawCommentNode d :: * Source #

type RawElement d :: * Source #

type RawInputElement d :: * Source #

type RawTextAreaElement d :: * Source #

type RawSelectElement d :: * Source #

Methods

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

Instances

Instances details

DomSpace HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type EventSpec HydrationDomSpace :: (EventTag -> Type) -> Type Source # type RawDocument HydrationDomSpace Source # type RawTextNode HydrationDomSpace Source # type RawCommentNode HydrationDomSpace Source # type RawElement HydrationDomSpace Source # type RawInputElement HydrationDomSpace Source # type RawTextAreaElement HydrationDomSpace Source # type RawSelectElement HydrationDomSpace Source # Methods addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy HydrationDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec HydrationDomSpace er -> EventSpec HydrationDomSpace er Source #
DomSpace GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type EventSpec GhcjsDomSpace :: (EventTag -> Type) -> Type Source # type RawDocument GhcjsDomSpace Source # type RawTextNode GhcjsDomSpace Source # type RawCommentNode GhcjsDomSpace Source # type RawElement GhcjsDomSpace Source # type RawInputElement GhcjsDomSpace Source # type RawTextAreaElement GhcjsDomSpace Source # type RawSelectElement GhcjsDomSpace Source # Methods addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy GhcjsDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec GhcjsDomSpace er -> EventSpec GhcjsDomSpace er Source #
DomSpace StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static Associated Types type EventSpec StaticDomSpace :: (EventTag -> Type) -> Type Source # type RawDocument StaticDomSpace Source # type RawTextNode StaticDomSpace Source # type RawCommentNode StaticDomSpace Source # type RawElement StaticDomSpace Source # type RawInputElement StaticDomSpace Source # type RawTextAreaElement StaticDomSpace Source # type RawSelectElement StaticDomSpace Source # Methods addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy StaticDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec StaticDomSpace er -> EventSpec StaticDomSpace er Source #

mapKeysToAttributeName :: Map Text v -> Map AttributeName v Source #

preventDefault :: EventFlags Source #

stopPropagation :: EventFlags Source #

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

class Monad m => HasDocument m where Source #

Minimal complete definition

Nothing

Methods

askDocument :: m (RawDocument (DomBuilderSpace m)) Source #

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

Instances

Instances details

HasDocument m => HasDocument (HydratableT m) Source #
Instance details Defined in Reflex.Dom.Builder.Hydratable Methods askDocument :: HydratableT m (RawDocument (DomBuilderSpace (HydratableT m))) Source #
HasDocument m => HasDocument (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled Methods askDocument :: InputDisabledT m (RawDocument (DomBuilderSpace (InputDisabledT m))) Source #
HasDocument m => HasDocument (ReaderT r m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: ReaderT r m (RawDocument (DomBuilderSpace (ReaderT r m))) Source #
HasDocument m => HasDocument (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: PostBuildT t m (RawDocument (DomBuilderSpace (PostBuildT t m))) Source #
HasDocument m => HasDocument (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: DynamicWriterT t w m (RawDocument (DomBuilderSpace (DynamicWriterT t w m))) Source #
HasDocument m => HasDocument (QueryT t q m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: QueryT t q m (RawDocument (DomBuilderSpace (QueryT t q m))) Source #
HasDocument m => HasDocument (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT t w m))) Source #
(SupportsStaticDomBuilder t m, Monad m) => HasDocument (StaticDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Static Methods askDocument :: StaticDomBuilderT t m (RawDocument (DomBuilderSpace (StaticDomBuilderT t m))) Source #
HasDocument m => HasDocument (RequesterT t request response m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: RequesterT t request response m (RawDocument (DomBuilderSpace (RequesterT t request response m))) Source #
(RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document, Monad m) => HasDocument (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods askDocument :: HydrationDomBuilderT s t m (RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m))) Source #

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

Methods

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

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

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

Instances

Instances details

DomRenderHook t m => DomRenderHook (t :: k) (StateT e m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a Source # requestDomAction :: Event t (JSM a) -> StateT e m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> StateT e m () Source #
DomRenderHook t m => DomRenderHook (t :: k) (StateT e m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a Source # requestDomAction :: Event t (JSM a) -> StateT e m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> StateT e m () Source #
DomRenderHook t m => DomRenderHook (t :: k) (ReaderT e m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> ReaderT e m a -> ReaderT e m a Source # requestDomAction :: Event t (JSM a) -> ReaderT e m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> ReaderT e m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (HydratableT m) Source #
Instance details Defined in Reflex.Dom.Builder.Hydratable Methods withRenderHook :: (forall x. JSM x -> JSM x) -> HydratableT m a -> HydratableT m a Source # requestDomAction :: Event t (JSM a) -> HydratableT m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> HydratableT m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled Methods withRenderHook :: (forall x. JSM x -> JSM x) -> InputDisabledT m a -> InputDisabledT m a Source # requestDomAction :: Event t (JSM a) -> InputDisabledT m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> InputDisabledT m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> PostBuildT t m a -> PostBuildT t m a Source # requestDomAction :: Event t (JSM a) -> PostBuildT t m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> PostBuildT t m () Source #
(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationRunnerT t m a -> HydrationRunnerT t m a Source # requestDomAction :: Event t (JSM a) -> HydrationRunnerT t m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> HydrationRunnerT t m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (QueryT t q m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> QueryT t q m a -> QueryT t q m a Source # requestDomAction :: Event t (JSM a) -> QueryT t q m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> QueryT t q m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> DynamicWriterT t w m a -> DynamicWriterT t w m a Source # requestDomAction :: Event t (JSM a) -> DynamicWriterT t w m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> DynamicWriterT t w m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> EventWriterT t w m a -> EventWriterT t w m a Source # requestDomAction :: Event t (JSM a) -> EventWriterT t w m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> EventWriterT t w m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (BehaviorWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> BehaviorWriterT t w m a -> BehaviorWriterT t w m a Source # requestDomAction :: Event t (JSM a) -> BehaviorWriterT t w m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> BehaviorWriterT t w m () Source #
DomRenderHook t m => DomRenderHook (t :: Type) (RequesterT t req rsp m) Source #
Instance details 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 Source # requestDomAction :: Event t (JSM a) -> RequesterT t req rsp m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> RequesterT t req rsp m () Source #
(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m a Source # requestDomAction :: Event t (JSM a) -> HydrationDomBuilderT s t m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> HydrationDomBuilderT s t m () Source #

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

class MonadTransControl t => MonadTransControlStateless t where Source #

Minimal complete definition

Nothing

Methods

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

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

Instances

Instances details

MonadTransControlStateless (ReaderT r) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods stTCoercion :: proxy (ReaderT r) -> Coercion (StT (ReaderT r) a) a Source #

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

class HasDomEvent t target eventName | target -> t where Source #

Associated Types

type DomEventType target eventName :: * Source #

Methods

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

Instances

Instances details

Reflex t => HasDomEvent (t :: k) (TextInput t) en Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type DomEventType (TextInput t) en Source # Methods domEvent :: EventName en -> TextInput t -> Event t (DomEventType (TextInput t) en) Source #
Reflex t => HasDomEvent (t :: k1) (TextAreaElement EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (TextAreaElement EventResult d t) en Source # Methods domEvent :: EventName en -> TextAreaElement EventResult d t -> Event t (DomEventType (TextAreaElement EventResult d t) en) Source #
Reflex t => HasDomEvent (t :: k1) (InputElement EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (InputElement EventResult d t) en Source # Methods domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d t) en) Source #
Reflex t => HasDomEvent (t :: k1) (Element EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (Element EventResult d t) en Source # Methods domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element EventResult d t) en) Source #

class HasNamespace a where Source #

Methods

namespace :: Lens' a (Maybe Namespace) Source #

Instances

Instances details

HasNamespace (ElConfig attrs) Source #
Instance details Defined in Reflex.Dom.Old Methods namespace :: Lens' (ElConfig attrs) (Maybe Namespace) Source #
HasNamespace (ElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods namespace :: Lens' (ElementConfig er t m) (Maybe Namespace) Source #

class ModifyAttributes t a | a -> t where Source #

Methods

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

Instances

Instances details

ModifyAttributes (t :: k1) (RawElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
ModifyAttributes (t :: k1) (SelectElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (SelectElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
ModifyAttributes (t :: k1) (TextAreaElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (TextAreaElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
ModifyAttributes (t :: k1) (InputElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (InputElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
ModifyAttributes (t :: k1) (ElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #

class InitialAttributes a where Source #

Methods

initialAttributes :: Lens' a (Map AttributeName Text) Source #

Instances

Instances details

InitialAttributes (SelectElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text) Source #
InitialAttributes (TextAreaElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text) Source #
InitialAttributes (InputElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text) Source #
InitialAttributes (ElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (ElementConfig er t m) (Map AttributeName Text) Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 Source #

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

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

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

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

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

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

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

module Reflex.Dom.Builder.Class.Events

module Reflex.NotReady.Class