Safe Haskell	Safe-Inferred
Language	Haskell98

Reflex.Dom.Builder.Class

Synopsis

type Namespace = Text
data Element er d t = Element {
- _element_events :: EventSelector t (WrapArg er EventName)
- _element_raw :: RawElement d
}
class Default (EventSpec d EventResult) => DomSpace d where
- type EventSpec d :: (EventTag -> Type) -> Type
- type RawDocument d :: Type
- type RawTextNode d :: Type
- type RawCommentNode d :: Type
- type RawElement d :: Type
- type RawInputElement d :: Type
- type RawTextAreaElement d :: Type
- type RawSelectElement d :: Type
- addEventSpecFlags :: proxy d -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec d er -> EventSpec d er
class Monad m => HasDocument m where
- askDocument :: m (RawDocument (DomBuilderSpace m))
data EventFlags = EventFlags {
- _eventFlags_propagation :: Propagation
- _eventFlags_preventDefault :: Bool
}
class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t m | m -> t where
- type DomBuilderSpace m :: Type
- 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)
data TextNodeConfig t = TextNodeConfig {
- _textNodeConfig_initialContents :: !Text
- _textNodeConfig_setContents :: !(Maybe (Event t Text))
}
newtype TextNode d t = TextNode {
- _textNode_raw :: RawTextNode d
}
data CommentNodeConfig t = CommentNodeConfig {
- _commentNodeConfig_initialContents :: !Text
- _commentNodeConfig_setContents :: !(Maybe (Event t Text))
}
newtype CommentNode d t = CommentNode {
- _commentNode_raw :: RawCommentNode 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 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 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 TextAreaElementConfig er t m = TextAreaElementConfig {
- _textAreaElementConfig_initialValue :: Text
- _textAreaElementConfig_setValue :: Maybe (Event t Text)
- _textAreaElementConfig_elementConfig :: ElementConfig er t m
}
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 SelectElementConfig er t m = SelectElementConfig {
- _selectElementConfig_initialValue :: Text
- _selectElementConfig_setValue :: Maybe (Event t Text)
- _selectElementConfig_elementConfig :: ElementConfig er t m
}
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 RawElementConfig er t s = RawElementConfig {
- _rawElementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
- _rawElementConfig_eventSpec :: EventSpec s er
}
class DomBuilder t m => MountableDomBuilder t m where
- type DomFragment m :: Type
- buildDomFragment :: m a -> m (DomFragment m, a)
- mountDomFragment :: DomFragment m -> Event t (DomFragment m) -> m ()
data AttributeName = AttributeName !(Maybe Namespace) !Text
data Propagation
- = Propagation_Continue
- | Propagation_Stop
- | Propagation_StopImmediate
class InitialAttributes a where
- initialAttributes :: Lens' a (Map AttributeName Text)
class ModifyAttributes t a | a -> t where
- modifyAttributes :: Reflex t => Lens' a (Event t (Map AttributeName (Maybe Text)))
class HasNamespace a where
- namespace :: Lens' a (Maybe Namespace)
class HasDomEvent t target eventName | target -> t where
- type DomEventType target eventName :: Type
- domEvent :: EventName eventName -> target -> Event t (DomEventType target eventName)
type LiftDomBuilder t f m = (Reflex t, MonadTransControlStateless f, Monad m, DomBuilder t m, DomBuilderSpace (f m) ~ DomBuilderSpace m)
class MonadTransControl t => MonadTransControlStateless t where
- stTCoercion :: proxy t -> Coercion (StT t a) a
type RunStateless t = forall n b. Monad n => t n b -> n b
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 ()
class HasSetValue a where
- type SetValue a :: Type
- setValue :: Lens' a (SetValue a)
stopPropagation :: EventFlags
preventDefault :: EventFlags
mapKeysToAttributeName :: Map Text v -> Map AttributeName v
extractRawElementConfig :: ElementConfig er t m -> RawElementConfig er t m
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)
elementConfig_initialAttributes :: forall er k (t :: k) k (s :: k). Lens' (ElementConfig er (t :: k) (s :: k)) (Map AttributeName Text)
inputElementConfig_elementConfig :: forall er k (t :: k) k (s :: k) er k (s :: k). Lens (InputElementConfig er (t :: k) (s :: k)) (InputElementConfig er (t :: k) (s :: k)) (ElementConfig er t s) (ElementConfig er t s)
textAreaElementConfig_elementConfig :: forall er k (t :: k) k (m :: k) er k (m :: k). Lens (TextAreaElementConfig er (t :: k) (m :: k)) (TextAreaElementConfig er (t :: k) (m :: k)) (ElementConfig er t m) (ElementConfig er t m)
selectElementConfig_elementConfig :: forall er k (t :: k) k (m :: k) er k (m :: k). Lens (SelectElementConfig er (t :: k) (m :: k)) (SelectElementConfig er (t :: k) (m :: k)) (ElementConfig er t m) (ElementConfig er t m)
elementConfig_namespace :: forall er k (t :: k) k (s :: k). Lens' (ElementConfig er (t :: k) (s :: k)) (Maybe Namespace)
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)
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
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
textNodeConfig_initialContents :: forall k (t :: k). Lens' (TextNodeConfig (t :: k)) Text
commentNodeConfig_initialContents :: forall k (t :: k). Lens' (CommentNodeConfig (t :: k)) Text
inputElementConfig_initialChecked :: forall er k (t :: k) k (s :: k). Lens' (InputElementConfig er (t :: k) (s :: k)) Bool
inputElementConfig_initialValue :: forall er k (t :: k) k (s :: k). Lens' (InputElementConfig er (t :: k) (s :: k)) Text
rawElementConfig_eventSpec :: forall er k (t :: k) k (s :: k) er k (s :: k). Lens (RawElementConfig er (t :: k) (s :: k)) (RawElementConfig er (t :: k) (s :: k)) (EventSpec s er) (EventSpec s er)
elementConfig_eventSpec :: forall er k (t :: k) k (s :: k) er k (s :: k). Lens (ElementConfig er (t :: k) (s :: k)) (ElementConfig er (t :: k) (s :: k)) (EventSpec s er) (EventSpec s er)
textAreaElementConfig_initialValue :: forall er k (t :: k) k (m :: k). Lens' (TextAreaElementConfig er (t :: k) (m :: k)) Text
selectElementConfig_initialValue :: forall er k (t :: k) k (m :: k). Lens' (SelectElementConfig er (t :: k) (m :: k)) Text
module Reflex.Dom.Builder.Class.Events
module Reflex.NotReady.Class

Documentation

type Namespace = 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

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

Associated Types

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

type RawDocument d :: Type Source #

type RawTextNode d :: Type Source #

type RawCommentNode d :: Type Source #

type RawElement d :: Type Source #

type RawInputElement d :: Type Source #

type RawTextAreaElement d :: Type Source #

type RawSelectElement d :: Type Source #

Methods

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

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

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 #

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 :: Type 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, 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 => 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, 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) 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 #
(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) 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, 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) 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 #
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 #

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 #

newtype TextNode d t Source #

Constructors

TextNode
Fields _textNode_raw :: RawTextNode 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 CommentNode d t Source #

Constructors

CommentNode
Fields _commentNode_raw :: RawCommentNode d

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 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 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 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 #
Reflex t => HasSetValue (TextAreaElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type SetValue (TextAreaElementConfig er t m) Source # 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 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 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 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 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 #

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

Associated Types

type DomFragment m :: 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) 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 #

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 #

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 #

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 #

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

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

Associated Types

type DomEventType target eventName :: Type 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 Source # 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 Source # 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 Source # 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 Source # Methods domEvent :: EventName en -> TextAreaElement EventResult d t -> Event t (DomEventType (TextAreaElement EventResult d t) en) Source #

type LiftDomBuilder t f m = (Reflex t, MonadTransControlStateless f, Monad m, DomBuilder t m, DomBuilderSpace (f m) ~ DomBuilderSpace m) 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 RunStateless t = forall n b. Monad n => t n b -> n b 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 :: 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 #

class HasSetValue a where Source #

Associated Types

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

stopPropagation :: EventFlags Source #

preventDefault :: EventFlags Source #

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

extractRawElementConfig :: ElementConfig er t m -> RawElementConfig er t m 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.

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

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

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

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

elementConfig_namespace :: forall er k (t :: k) k (s :: k). Lens' (ElementConfig er (t :: k) (s :: k)) (Maybe Namespace) 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 #

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 #

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

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

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

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

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

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

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

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

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

module Reflex.Dom.Builder.Class.Events

module Reflex.NotReady.Class