Safe Haskell	None
Language	Haskell98

Reflex.Dom.Builder.Class

Synopsis

type Namespace = Text
data Element (er :: EventTag -> Type) (d :: k) (t :: k1) = Element {
- _element_events :: EventSelector t (WrapArg er EventName)
- _element_raw :: RawElement d
}
stopPropagation :: EventFlags
preventDefault :: EventFlags
class HasSetValue a where
- type SetValue a
- setValue :: Lens' a (SetValue a)
class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t (m :: Type -> Type) | m -> t where
- type DomBuilderSpace (m :: Type -> Type)
- textNode :: TextNodeConfig t -> m (TextNode (DomBuilderSpace m) t)
- commentNode :: CommentNodeConfig t -> m (CommentNode (DomBuilderSpace m) t)
- element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace m) -> m a -> m (Element er (DomBuilderSpace m) t, a)
- inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t)
- textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace m) -> m (TextAreaElement er (DomBuilderSpace m) t)
- selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace m) -> m a -> m (SelectElement er (DomBuilderSpace m) t, a)
- placeRawElement :: RawElement (DomBuilderSpace m) -> m ()
- wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace m) -> RawElementConfig er t (DomBuilderSpace m) -> m (Element er (DomBuilderSpace m) t)
class Default (EventSpec d EventResult) => DomSpace (d :: k) where
- type EventSpec (d :: k) :: (EventTag -> Type) -> Type
- type RawDocument (d :: k)
- type RawTextNode (d :: k)
- type RawCommentNode (d :: k)
- type RawElement (d :: k)
- type RawInputElement (d :: k)
- type RawTextAreaElement (d :: k)
- type RawSelectElement (d :: k)
- addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy d -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec d er -> EventSpec d er
type family EventSpec (d :: k) :: (EventTag -> Type) -> Type
class Monad m => HasDocument (m :: Type -> Type) where
- askDocument :: m (RawDocument (DomBuilderSpace m))
type family RawDocument (d :: k)
type family RawTextNode (d :: k)
type family RawCommentNode (d :: k)
type family RawElement (d :: k)
type family RawInputElement (d :: k)
type family RawTextAreaElement (d :: k)
type family RawSelectElement (d :: k)
data EventFlags = EventFlags {
- _eventFlags_propagation :: Propagation
- _eventFlags_preventDefault :: Bool
}
type family DomBuilderSpace (m :: Type -> Type)
data TextNodeConfig (t :: k) = TextNodeConfig {
- _textNodeConfig_initialContents :: !Text
- _textNodeConfig_setContents :: !(Maybe (Event t Text))
}
newtype TextNode (d :: k) (t :: k1) = TextNode {
- _textNode_raw :: RawTextNode d
}
data CommentNodeConfig (t :: k) = CommentNodeConfig {
- _commentNodeConfig_initialContents :: !Text
- _commentNodeConfig_setContents :: !(Maybe (Event t Text))
}
newtype CommentNode (d :: k) (t :: k1) = CommentNode {
- _commentNode_raw :: RawCommentNode d
}
data ElementConfig (er :: EventTag -> Type) (t :: k) (s :: k1) = 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 InputElementConfig (er :: EventTag -> Type) (t :: k) (s :: k1) = 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 InputElement (er :: EventTag -> Type) (d :: k) (t :: k1) = 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 TextAreaElementConfig (er :: EventTag -> Type) (t :: k) (m :: k1) = TextAreaElementConfig {
- _textAreaElementConfig_initialValue :: Text
- _textAreaElementConfig_setValue :: Maybe (Event t Text)
- _textAreaElementConfig_elementConfig :: ElementConfig er t m
}
data TextAreaElement (er :: EventTag -> Type) (d :: k) (t :: k1) = 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 SelectElementConfig (er :: EventTag -> Type) (t :: k) (m :: k1) = SelectElementConfig {
- _selectElementConfig_initialValue :: Text
- _selectElementConfig_setValue :: Maybe (Event t Text)
- _selectElementConfig_elementConfig :: ElementConfig er t m
}
data SelectElement (er :: EventTag -> Type) (d :: k) (t :: k1) = 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 RawElementConfig (er :: EventTag -> Type) (t :: k) (s :: k1) = RawElementConfig {
- _rawElementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
- _rawElementConfig_eventSpec :: EventSpec s er
}
class DomBuilder t m => MountableDomBuilder t (m :: Type -> Type) where
- type DomFragment (m :: Type -> Type)
- buildDomFragment :: m a -> m (DomFragment m, a)
- mountDomFragment :: DomFragment m -> Event t (DomFragment m) -> m ()
type family DomFragment (m :: Type -> Type)
data AttributeName = AttributeName !(Maybe Namespace) !Text
mapKeysToAttributeName :: Map Text v -> Map AttributeName v
data Propagation
- = Propagation_Continue
- | Propagation_Stop
- | Propagation_StopImmediate
extractRawElementConfig :: forall {k1} {k2} (er :: EventTag -> Type) (t :: k1) (m :: k2). ElementConfig er t m -> RawElementConfig er t m
textNodeConfig_setContents :: forall {k} (t :: k). Reflex t => Lens' (TextNodeConfig t) (Event t Text)
commentNodeConfig_setContents :: forall {k} (t :: k). Reflex t => Lens (CommentNodeConfig t) (CommentNodeConfig t) (Event t Text) (Event t Text)
inputElementConfig_setValue :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (InputElementConfig er t m) (Event t Text)
inputElementConfig_setChecked :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (InputElementConfig er t m) (Event t Bool)
rawElementConfig_modifyAttributes :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))
elementConfig_modifyAttributes :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))
textAreaElementConfig_setValue :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (TextAreaElementConfig er t m) (Event t Text)
selectElementConfig_setValue :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (SelectElementConfig er t m) (Event t Text)
class InitialAttributes a where
- initialAttributes :: Lens' a (Map AttributeName Text)
elementConfig_initialAttributes :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Map AttributeName Text -> f (Map AttributeName Text)) -> ElementConfig er t s -> f (ElementConfig er t s)
inputElementConfig_elementConfig :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (s1 :: k2) (er2 :: EventTag -> Type) k3 (s2 :: k3) f. Functor f => (ElementConfig er1 t s1 -> f (ElementConfig er2 t s2)) -> InputElementConfig er1 t s1 -> f (InputElementConfig er2 t s2)
textAreaElementConfig_elementConfig :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (m1 :: k2) (er2 :: EventTag -> Type) k3 (m2 :: k3) f. Functor f => (ElementConfig er1 t m1 -> f (ElementConfig er2 t m2)) -> TextAreaElementConfig er1 t m1 -> f (TextAreaElementConfig er2 t m2)
selectElementConfig_elementConfig :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (m1 :: k2) (er2 :: EventTag -> Type) k3 (m2 :: k3) f. Functor f => (ElementConfig er1 t m1 -> f (ElementConfig er2 t m2)) -> SelectElementConfig er1 t m1 -> f (SelectElementConfig er2 t m2)
class ModifyAttributes (t :: k) a | a -> t where
- modifyAttributes :: Lens' a (Event t (Map AttributeName (Maybe Text)))
class HasNamespace a where
- namespace :: Lens' a (Maybe Namespace)
elementConfig_namespace :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Maybe Namespace -> f (Maybe Namespace)) -> ElementConfig er t s -> f (ElementConfig er t s)
liftTextNode :: forall f t (m :: Type -> Type). (MonadTrans f, DomBuilder t m) => TextNodeConfig t -> f m (TextNode (DomBuilderSpace m) t)
liftCommentNode :: forall f t (m :: Type -> Type). (MonadTrans f, DomBuilder t m) => CommentNodeConfig t -> f m (CommentNode (DomBuilderSpace m) t)
class HasDomEvent (t :: k) target (eventName :: EventTag) | target -> t where
- type DomEventType target (eventName :: EventTag)
- domEvent :: EventName eventName -> target -> Event t (DomEventType target eventName)
type family DomEventType target (eventName :: EventTag)
type LiftDomBuilder t (f :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) = (Reflex t, MonadTransControlStateless f, Monad m, DomBuilder t m, DomBuilderSpace (f m) ~ DomBuilderSpace m)
class MonadTransControl t => MonadTransControlStateless (t :: (Type -> Type) -> Type -> Type) where
- stTCoercion :: proxy t -> Coercion (StT t a) a
toStT :: forall (t :: (Type -> Type) -> Type -> Type) proxy a. MonadTransControlStateless t => proxy t -> a -> StT t a
fromStT :: forall (t :: (Type -> Type) -> Type -> Type) proxy a. MonadTransControlStateless t => proxy t -> StT t a -> a
type RunStateless (t :: (Type -> Type) -> Type -> Type) = forall (n :: Type -> Type) b. Monad n => t n b -> n b
liftWithStateless :: (Monad m, MonadTransControlStateless t) => (RunStateless t -> m a) -> t m a
liftElement :: forall t f (m :: Type -> Type) (er :: EventTag -> Type) a. LiftDomBuilder t f m => Text -> ElementConfig er t (DomBuilderSpace m) -> f m a -> f m (Element er (DomBuilderSpace m) t, a)
class (Reflex t, Monad m) => DomRenderHook (t :: k) (m :: Type -> Type) | 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 ()
liftElementConfig :: forall {k1} {k2} (er :: EventTag -> Type) (t :: k1) (s :: k2). ElementConfig er t s -> ElementConfig er t s
type family SetValue a
textNodeConfig_initialContents :: forall k (t :: k) f. Functor f => (Text -> f Text) -> TextNodeConfig t -> f (TextNodeConfig t)
commentNodeConfig_initialContents :: forall k (t :: k) f. Functor f => (Text -> f Text) -> CommentNodeConfig t -> f (CommentNodeConfig t)
inputElementConfig_initialChecked :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Bool -> f Bool) -> InputElementConfig er t s -> f (InputElementConfig er t s)
inputElementConfig_initialValue :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Text -> f Text) -> InputElementConfig er t s -> f (InputElementConfig er t s)
rawElementConfig_eventSpec :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (s1 :: k2) (er2 :: EventTag -> Type) k3 (s2 :: k3) f. Functor f => (EventSpec s1 er1 -> f (EventSpec s2 er2)) -> RawElementConfig er1 t s1 -> f (RawElementConfig er2 t s2)
elementConfig_eventSpec :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (s1 :: k2) (er2 :: EventTag -> Type) k3 (s2 :: k3) f. Functor f => (EventSpec s1 er1 -> f (EventSpec s2 er2)) -> ElementConfig er1 t s1 -> f (ElementConfig er2 t s2)
textAreaElementConfig_initialValue :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (m :: k2) f. Functor f => (Text -> f Text) -> TextAreaElementConfig er t m -> f (TextAreaElementConfig er t m)
selectElementConfig_initialValue :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (m :: k2) f. Functor f => (Text -> f Text) -> SelectElementConfig er t m -> f (SelectElementConfig er t m)
module Reflex.Dom.Builder.Class.Events
module Reflex.NotReady.Class

Documentation

type Namespace = Text Source #

data Element (er :: EventTag -> Type) (d :: k) (t :: k1) 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
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (Element EventResult d t) en = EventResultType en

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

stopPropagation :: EventFlags Source #

preventDefault :: EventFlags Source #

class HasSetValue a where Source #

Associated Types

type SetValue a Source #

Methods

setValue :: Lens' a (SetValue a) Source #

Instances

Instances details

HasSetValue (CheckboxConfig t) Source #

Instance details

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (CheckboxConfig t)
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (CheckboxConfig t) = Event t Bool

Methods

setValue :: Lens' (CheckboxConfig t) (SetValue (CheckboxConfig t)) Source #

HasSetValue (RangeInputConfig t) Source #

Instance details

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (RangeInputConfig t)
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (RangeInputConfig t) = Event t Float

Methods

setValue :: Lens' (RangeInputConfig t) (SetValue (RangeInputConfig t)) Source #

HasSetValue (TextAreaConfig t) Source #

Instance details

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextAreaConfig t)
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (TextAreaConfig t) = Event t Text

Methods

setValue :: Lens' (TextAreaConfig t) (SetValue (TextAreaConfig t)) Source #

HasSetValue (TextInputConfig t) Source #

Instance details

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextInputConfig t)
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (TextInputConfig t) = Event t Text

Methods

setValue :: Lens' (TextInputConfig t) (SetValue (TextInputConfig t)) Source #

HasSetValue (DropdownConfig t k2) Source #

Instance details

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (DropdownConfig t k2)
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (DropdownConfig t k2) = Event t k2

Methods

setValue :: Lens' (DropdownConfig t k2) (SetValue (DropdownConfig t k2)) Source #

Reflex t => HasSetValue (TextAreaElementConfig er t m) Source #

Instance details

Defined in Reflex.Dom.Builder.Class

Associated Types

type SetValue (TextAreaElementConfig er t m)
Instance details Defined in Reflex.Dom.Builder.Class type SetValue (TextAreaElementConfig er t m) = Event t Text

Methods

setValue :: Lens' (TextAreaElementConfig er t m) (SetValue (TextAreaElementConfig er t m)) Source #

class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t (m :: Type -> Type) | 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 :: Type -> Type) Source #

Methods

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

default textNode :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (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 :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => CommentNodeConfig t -> m (CommentNode (DomBuilderSpace m) t) Source #

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

default element :: forall (f :: (Type -> Type) -> Type -> Type) a (m' :: Type -> Type) (er :: EventTag -> Type). (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 :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t) Source #

default inputElement :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type) (er :: EventTag -> Type). (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 :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace m) -> m (TextAreaElement er (DomBuilderSpace m) t) Source #

default textAreaElement :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type) (er :: EventTag -> Type). (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 :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace m) -> m a -> m (SelectElement er (DomBuilderSpace m) t, a) Source #

default selectElement :: forall (f :: (Type -> Type) -> Type -> Type) a (m' :: Type -> Type) (er :: EventTag -> Type). (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 :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => RawElement (DomBuilderSpace m) -> m () Source #

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

default wrapRawElement :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type) (er :: EventTag -> Type). (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)
Instance details Defined in Reflex.Dom.Builder.Hydratable type DomBuilderSpace (HydratableT m) = DomBuilderSpace m

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)
Instance details Defined in Reflex.Dom.Builder.InputDisabled type DomBuilderSpace (InputDisabledT m) = DomBuilderSpace m

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, 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)
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (PostBuildT t m) = DomBuilderSpace m

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 => DomBuilder t (ReaderT r m) Source #

Instance details

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (ReaderT r m)
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (ReaderT r m) = DomBuilderSpace m

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, MonadFix m, Monoid w, MonadHold t m) => DomBuilder t (DynamicWriterT t w m) Source #

Instance details

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (DynamicWriterT t w m)
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (DynamicWriterT t w m) = DomBuilderSpace m

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 #

(DomBuilder t m, MonadHold t 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)
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (EventWriterT t w m) = DomBuilderSpace m

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, MonadFix m, MonadHold t m, Group q, Query q, Commutative 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)
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (QueryT t q m) = DomBuilderSpace m

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 #

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

Instance details

Defined in Reflex.Dom.Builder.Static

Associated Types

type DomBuilderSpace (StaticDomBuilderT t m)
Instance details Defined in Reflex.Dom.Builder.Static type DomBuilderSpace (StaticDomBuilderT t m) = StaticDomSpace

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)
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (RequesterT t request response m) = DomBuilderSpace m

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)
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) = GhcjsDomSpace

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)
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) = HydrationDomSpace

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 :: k) where Source #

Associated Types

type EventSpec (d :: k) :: (EventTag -> Type) -> Type Source #

type RawDocument (d :: k) Source #

type RawTextNode (d :: k) Source #

type RawCommentNode (d :: k) Source #

type RawElement (d :: k) Source #

type RawInputElement (d :: k) Source #

type RawTextAreaElement (d :: k) Source #

type RawSelectElement (d :: k) Source #

Methods

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

Instances

Instances details

DomSpace GhcjsDomSpace Source #

Instance details

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type EventSpec GhcjsDomSpace = GhcjsEventSpec
type RawDocument GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawDocument GhcjsDomSpace = Document
type RawTextNode GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextNode GhcjsDomSpace = Text
type RawCommentNode GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawCommentNode GhcjsDomSpace = Comment
type RawElement GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawElement GhcjsDomSpace = Element
type RawInputElement GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawInputElement GhcjsDomSpace = HTMLInputElement
type RawTextAreaElement GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextAreaElement GhcjsDomSpace = HTMLTextAreaElement
type RawSelectElement GhcjsDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawSelectElement GhcjsDomSpace = HTMLSelectElement

Methods

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

DomSpace HydrationDomSpace Source #

Instance details

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type EventSpec HydrationDomSpace = GhcjsEventSpec
type RawDocument HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawDocument HydrationDomSpace = Document
type RawTextNode HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextNode HydrationDomSpace = ()
type RawCommentNode HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawCommentNode HydrationDomSpace = ()
type RawElement HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawElement HydrationDomSpace = ()
type RawInputElement HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawInputElement HydrationDomSpace = ()
type RawTextAreaElement HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextAreaElement HydrationDomSpace = ()
type RawSelectElement HydrationDomSpace
Instance details Defined in Reflex.Dom.Builder.Immediate type RawSelectElement HydrationDomSpace = ()

Methods

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

DomSpace StaticDomSpace Source #

Instance details

Defined in Reflex.Dom.Builder.Static

Associated Types

type EventSpec StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type EventSpec StaticDomSpace = StaticEventSpec
type RawDocument StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type RawDocument StaticDomSpace = ()
type RawTextNode StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type RawTextNode StaticDomSpace = ()
type RawCommentNode StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type RawCommentNode StaticDomSpace = ()
type RawElement StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type RawElement StaticDomSpace = ()
type RawInputElement StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type RawInputElement StaticDomSpace = ()
type RawTextAreaElement StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type RawTextAreaElement StaticDomSpace = ()
type RawSelectElement StaticDomSpace
Instance details Defined in Reflex.Dom.Builder.Static type RawSelectElement StaticDomSpace = ()

Methods

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

type family EventSpec (d :: k) :: (EventTag -> Type) -> Type Source #

Instances

Instances details

type EventSpec GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type EventSpec GhcjsDomSpace = GhcjsEventSpec
type EventSpec HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type EventSpec HydrationDomSpace = GhcjsEventSpec
type EventSpec StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type EventSpec StaticDomSpace = StaticEventSpec

class Monad m => HasDocument (m :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

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

default askDocument :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (m ~ f m', RawDocument (DomBuilderSpace m) ~ RawDocument (DomBuilderSpace m'), MonadTrans f, 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 (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 (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 (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 (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 #
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 #
(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 #

type family RawDocument (d :: k) Source #

Instances

Instances details

type RawDocument GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawDocument GhcjsDomSpace = Document
type RawDocument HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawDocument HydrationDomSpace = Document
type RawDocument StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawDocument StaticDomSpace = ()

type family RawTextNode (d :: k) Source #

Instances

Instances details

type RawTextNode GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextNode GhcjsDomSpace = Text
type RawTextNode HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextNode HydrationDomSpace = ()
type RawTextNode StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawTextNode StaticDomSpace = ()

type family RawCommentNode (d :: k) Source #

Instances

Instances details

type RawCommentNode GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawCommentNode GhcjsDomSpace = Comment
type RawCommentNode HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawCommentNode HydrationDomSpace = ()
type RawCommentNode StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawCommentNode StaticDomSpace = ()

type family RawElement (d :: k) Source #

Instances

Instances details

type RawElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawElement GhcjsDomSpace = Element
type RawElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawElement HydrationDomSpace = ()
type RawElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawElement StaticDomSpace = ()

type family RawInputElement (d :: k) Source #

Instances

Instances details

type RawInputElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawInputElement GhcjsDomSpace = HTMLInputElement
type RawInputElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawInputElement HydrationDomSpace = ()
type RawInputElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawInputElement StaticDomSpace = ()

type family RawTextAreaElement (d :: k) Source #

Instances

Instances details

type RawTextAreaElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextAreaElement GhcjsDomSpace = HTMLTextAreaElement
type RawTextAreaElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextAreaElement HydrationDomSpace = ()
type RawTextAreaElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawTextAreaElement StaticDomSpace = ()

type family RawSelectElement (d :: k) Source #

Instances

Instances details

type RawSelectElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawSelectElement GhcjsDomSpace = HTMLSelectElement
type RawSelectElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawSelectElement HydrationDomSpace = ()
type RawSelectElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawSelectElement StaticDomSpace = ()

data EventFlags Source #

Constructors

EventFlags
Fields _eventFlags_propagation :: Propagation _eventFlags_preventDefault :: Bool

Instances

Instances details

Monoid EventFlags Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods mempty :: EventFlags # mappend :: EventFlags -> EventFlags -> EventFlags # mconcat :: [EventFlags] -> EventFlags #
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 #

type family DomBuilderSpace (m :: Type -> Type) Source #

Instances

Instances details

type DomBuilderSpace (HydratableT m) Source #
Instance details Defined in Reflex.Dom.Builder.Hydratable type DomBuilderSpace (HydratableT m) = DomBuilderSpace m
type DomBuilderSpace (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled type DomBuilderSpace (InputDisabledT m) = DomBuilderSpace m
type DomBuilderSpace (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (PostBuildT t m) = DomBuilderSpace m
type DomBuilderSpace (ReaderT r m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (ReaderT r m) = DomBuilderSpace m
type DomBuilderSpace (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (DynamicWriterT t w m) = DomBuilderSpace m
type DomBuilderSpace (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (EventWriterT t w m) = DomBuilderSpace m
type DomBuilderSpace (QueryT t q m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (QueryT t q m) = DomBuilderSpace m
type DomBuilderSpace (StaticDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Static type DomBuilderSpace (StaticDomBuilderT t m) = StaticDomSpace
type DomBuilderSpace (RequesterT t request response m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomBuilderSpace (RequesterT t request response m) = DomBuilderSpace m
type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) = GhcjsDomSpace
type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) = HydrationDomSpace

data TextNodeConfig (t :: k) 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 #

newtype TextNode (d :: k) (t :: k1) Source #

Constructors

TextNode
Fields _textNode_raw :: RawTextNode d

data CommentNodeConfig (t :: k) 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 CommentNode (d :: k) (t :: k1) Source #

Constructors

CommentNode
Fields _commentNode_raw :: RawCommentNode d

data ElementConfig (er :: EventTag -> Type) (t :: k) (s :: k1) 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 InputElementConfig (er :: EventTag -> Type) (t :: k) (s :: k1) 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 InputElement (er :: EventTag -> Type) (d :: k) (t :: k1) 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
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (InputElement EventResult d t) en = EventResultType en

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)
Instance details Defined in Reflex.Dom.Widget.Input type Value (InputElement er d t) = Dynamic t Text

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 TextAreaElementConfig (er :: EventTag -> Type) (t :: k) (m :: k1) 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 #

Reflex t => HasSetValue (TextAreaElementConfig er t m) Source #

Instance details

Defined in Reflex.Dom.Builder.Class

Associated Types

type SetValue (TextAreaElementConfig er t m)
Instance details Defined in Reflex.Dom.Builder.Class type SetValue (TextAreaElementConfig er t m) = Event t Text

Methods

setValue :: Lens' (TextAreaElementConfig er t m) (SetValue (TextAreaElementConfig er t m)) 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 #

type SetValue (TextAreaElementConfig er t m) Source #

Instance details

Defined in Reflex.Dom.Builder.Class

type SetValue (TextAreaElementConfig er t m) = Event t Text

data TextAreaElement (er :: EventTag -> Type) (d :: k) (t :: k1) 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
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (TextAreaElement EventResult d t) en = EventResultType en

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)
Instance details Defined in Reflex.Dom.Widget.Input type Value (TextAreaElement er d t) = Dynamic t Text

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 SelectElementConfig (er :: EventTag -> Type) (t :: k) (m :: k1) 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 SelectElement (er :: EventTag -> Type) (d :: k) (t :: k1) 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 RawElementConfig (er :: EventTag -> Type) (t :: k) (s :: k1) 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 #

class DomBuilder t m => MountableDomBuilder t (m :: Type -> Type) where Source #

Associated Types

type DomFragment (m :: Type -> Type) 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)
Instance details Defined in Reflex.Dom.Builder.Class type DomFragment (PostBuildT t m) = DomFragment m

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)
Instance details Defined in Reflex.Dom.Builder.Immediate type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)

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 #

type family DomFragment (m :: Type -> Type) Source #

Instances

Instances details

type DomFragment (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type DomFragment (PostBuildT t m) = DomFragment m
type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)

data AttributeName Source #

Constructors

AttributeName !(Maybe Namespace) !Text

Instances

Instances details

IsString AttributeName Source #	By default, AttributeNames are unnamespaced
Instance details Defined in Reflex.Dom.Builder.Class Methods fromString :: String -> 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 #
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 #

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

data Propagation Source #

Constructors

Propagation_Continue
Propagation_Stop
Propagation_StopImmediate

Instances

Instances details

Monoid Propagation Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods mempty :: Propagation # mappend :: Propagation -> Propagation -> Propagation # mconcat :: [Propagation] -> Propagation #
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 #
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 #
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 #

extractRawElementConfig :: forall {k1} {k2} (er :: EventTag -> Type) (t :: k1) (m :: k2). ElementConfig er t m -> RawElementConfig er t m Source #

textNodeConfig_setContents :: forall {k} (t :: k). 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 :: forall {k} (t :: k). 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 :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). 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 :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). 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 :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). 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 :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). 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 :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). 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 :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). 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.

class InitialAttributes a where Source #

Methods

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

Instances

Instances details

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

elementConfig_initialAttributes :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Map AttributeName Text -> f (Map AttributeName Text)) -> ElementConfig er t s -> f (ElementConfig er t s) Source #

inputElementConfig_elementConfig :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (s1 :: k2) (er2 :: EventTag -> Type) k3 (s2 :: k3) f. Functor f => (ElementConfig er1 t s1 -> f (ElementConfig er2 t s2)) -> InputElementConfig er1 t s1 -> f (InputElementConfig er2 t s2) Source #

textAreaElementConfig_elementConfig :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (m1 :: k2) (er2 :: EventTag -> Type) k3 (m2 :: k3) f. Functor f => (ElementConfig er1 t m1 -> f (ElementConfig er2 t m2)) -> TextAreaElementConfig er1 t m1 -> f (TextAreaElementConfig er2 t m2) Source #

selectElementConfig_elementConfig :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (m1 :: k2) (er2 :: EventTag -> Type) k3 (m2 :: k3) f. Functor f => (ElementConfig er1 t m1 -> f (ElementConfig er2 t m2)) -> SelectElementConfig er1 t m1 -> f (SelectElementConfig er2 t m2) Source #

class ModifyAttributes (t :: k) a | a -> t where Source #

Methods

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

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

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 #

elementConfig_namespace :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Maybe Namespace -> f (Maybe Namespace)) -> ElementConfig er t s -> f (ElementConfig er t s) Source #

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

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

class HasDomEvent (t :: k) target (eventName :: EventTag) | target -> t where Source #

Associated Types

type DomEventType target (eventName :: EventTag) Source #

Methods

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

Instances

Instances details

Reflex t => HasDomEvent (t :: k1) (TextInput t) en Source #

Instance details

Defined in Reflex.Dom.Widget.Input

Associated Types

type DomEventType (TextInput t) en
Instance details Defined in Reflex.Dom.Widget.Input type DomEventType (TextInput t) en = DomEventType (InputElement EventResult GhcjsDomSpace t) en

Methods

domEvent :: EventName en -> TextInput t -> Event t (DomEventType (TextInput 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
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (Element EventResult d t) en = EventResultType en

Methods

domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element 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
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (InputElement EventResult d t) en = EventResultType en

Methods

domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d 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
Instance details Defined in Reflex.Dom.Builder.Class type DomEventType (TextAreaElement EventResult d t) en = EventResultType en

Methods

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

type family DomEventType target (eventName :: EventTag) Source #

Instances

Instances details

type DomEventType (TextInput t) en Source #
Instance details Defined in Reflex.Dom.Widget.Input type DomEventType (TextInput t) en = DomEventType (InputElement EventResult GhcjsDomSpace t) en
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
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
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

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

class MonadTransControl t => MonadTransControlStateless (t :: (Type -> Type) -> Type -> Type) 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 #

toStT :: forall (t :: (Type -> Type) -> Type -> Type) proxy a. MonadTransControlStateless t => proxy t -> a -> StT t a Source #

fromStT :: forall (t :: (Type -> Type) -> Type -> Type) proxy a. MonadTransControlStateless t => proxy t -> StT t a -> a Source #

type RunStateless (t :: (Type -> Type) -> Type -> Type) = forall (n :: Type -> Type) b. Monad n => t n b -> n b Source #

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

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

class (Reflex t, Monad m) => DomRenderHook (t :: k) (m :: Type -> Type) | 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 :: 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 :: 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 :: 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 :: 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) (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) (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) (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 #

liftElementConfig :: forall {k1} {k2} (er :: EventTag -> Type) (t :: k1) (s :: k2). ElementConfig er t s -> ElementConfig er t s Source #

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

type family SetValue a Source #

Instances

Instances details

type SetValue (CheckboxConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (CheckboxConfig t) = Event t Bool
type SetValue (RangeInputConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (RangeInputConfig t) = Event t Float
type SetValue (TextAreaConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (TextAreaConfig t) = Event t Text
type SetValue (TextInputConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (TextInputConfig t) = Event t Text
type SetValue (DropdownConfig t k2) Source #
Instance details Defined in Reflex.Dom.Widget.Input type SetValue (DropdownConfig t k2) = Event t k2
type SetValue (TextAreaElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class type SetValue (TextAreaElementConfig er t m) = Event t Text

textNodeConfig_initialContents :: forall k (t :: k) f. Functor f => (Text -> f Text) -> TextNodeConfig t -> f (TextNodeConfig t) Source #

commentNodeConfig_initialContents :: forall k (t :: k) f. Functor f => (Text -> f Text) -> CommentNodeConfig t -> f (CommentNodeConfig t) Source #

inputElementConfig_initialChecked :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Bool -> f Bool) -> InputElementConfig er t s -> f (InputElementConfig er t s) Source #

inputElementConfig_initialValue :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Text -> f Text) -> InputElementConfig er t s -> f (InputElementConfig er t s) Source #

rawElementConfig_eventSpec :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (s1 :: k2) (er2 :: EventTag -> Type) k3 (s2 :: k3) f. Functor f => (EventSpec s1 er1 -> f (EventSpec s2 er2)) -> RawElementConfig er1 t s1 -> f (RawElementConfig er2 t s2) Source #

elementConfig_eventSpec :: forall (er1 :: EventTag -> Type) k1 (t :: k1) k2 (s1 :: k2) (er2 :: EventTag -> Type) k3 (s2 :: k3) f. Functor f => (EventSpec s1 er1 -> f (EventSpec s2 er2)) -> ElementConfig er1 t s1 -> f (ElementConfig er2 t s2) Source #

textAreaElementConfig_initialValue :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (m :: k2) f. Functor f => (Text -> f Text) -> TextAreaElementConfig er t m -> f (TextAreaElementConfig er t m) Source #

selectElementConfig_initialValue :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (m :: k2) f. Functor f => (Text -> f Text) -> SelectElementConfig er t m -> f (SelectElementConfig er t m) Source #

module Reflex.Dom.Builder.Class.Events

module Reflex.NotReady.Class