Safe Haskell | None |
---|---|
Language | Haskell98 |
Reflex.Dom.Builder.Class
Synopsis
- data SelectElement er d t = SelectElement {}
- data SelectElementConfig er t m = SelectElementConfig {}
- data RawElementConfig er t s = RawElementConfig {}
- data TextAreaElement er d t = TextAreaElement {}
- data TextAreaElementConfig er t m = TextAreaElementConfig {}
- data InputElement er d t = InputElement {
- _inputElement_value :: Dynamic t Text
- _inputElement_checked :: Dynamic t Bool
- _inputElement_checkedChange :: Event t Bool
- _inputElement_input :: Event t Text
- _inputElement_hasFocus :: Dynamic t Bool
- _inputElement_element :: Element er d t
- _inputElement_raw :: RawInputElement d
- _inputElement_files :: Dynamic t [File]
- data InputElementConfig er t s = InputElementConfig {}
- data Element er d t = Element {
- _element_events :: EventSelector t (WrapArg er EventName)
- _element_raw :: RawElement d
- data ElementConfig er t s = ElementConfig {}
- data EventFlags = EventFlags {}
- data Propagation
- data AttributeName = AttributeName !(Maybe Namespace) !Text
- newtype CommentNode d t = CommentNode {}
- data CommentNodeConfig t = CommentNodeConfig {}
- newtype TextNode d t = TextNode {
- _textNode_raw :: RawTextNode d
- data TextNodeConfig t = TextNodeConfig {}
- type Namespace = Text
- class DomBuilder t m => MountableDomBuilder t m where
- type DomFragment m :: *
- buildDomFragment :: m a -> m (DomFragment m, a)
- mountDomFragment :: DomFragment m -> Event t (DomFragment m) -> m ()
- class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t m | m -> t where
- type DomBuilderSpace m :: *
- textNode :: TextNodeConfig t -> m (TextNode (DomBuilderSpace m) t)
- commentNode :: CommentNodeConfig t -> m (CommentNode (DomBuilderSpace m) t)
- element :: Text -> ElementConfig er t (DomBuilderSpace m) -> m a -> m (Element er (DomBuilderSpace m) t, a)
- inputElement :: InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t)
- textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace m) -> m (TextAreaElement er (DomBuilderSpace m) t)
- selectElement :: SelectElementConfig er t (DomBuilderSpace m) -> m a -> m (SelectElement er (DomBuilderSpace m) t, a)
- placeRawElement :: RawElement (DomBuilderSpace m) -> m ()
- wrapRawElement :: RawElement (DomBuilderSpace m) -> RawElementConfig er t (DomBuilderSpace m) -> m (Element er (DomBuilderSpace m) t)
- class Default (EventSpec d EventResult) => DomSpace d where
- type EventSpec d :: (EventTag -> *) -> *
- type RawDocument d :: *
- type RawTextNode d :: *
- type RawCommentNode d :: *
- type RawElement d :: *
- type RawInputElement d :: *
- type RawTextAreaElement d :: *
- type RawSelectElement d :: *
- addEventSpecFlags :: proxy d -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec d er -> EventSpec d er
- mapKeysToAttributeName :: Map Text v -> Map AttributeName v
- preventDefault :: EventFlags
- stopPropagation :: EventFlags
- extractRawElementConfig :: ElementConfig er t m -> RawElementConfig er t m
- class Monad m => HasDocument m where
- askDocument :: m (RawDocument (DomBuilderSpace m))
- class (Reflex t, Monad m) => DomRenderHook t m | m -> t where
- withRenderHook :: (forall x. JSM x -> JSM x) -> m a -> m a
- requestDomAction :: Event t (JSM a) -> m (Event t a)
- requestDomAction_ :: Event t (JSM a) -> m ()
- type RunStateless t = forall n b. Monad n => t n b -> n b
- class MonadTransControl t => MonadTransControlStateless t where
- stTCoercion :: proxy t -> Coercion (StT t a) a
- type LiftDomBuilder t f m = (Reflex t, MonadTransControlStateless f, Monad m, DomBuilder t m, DomBuilderSpace (f m) ~ DomBuilderSpace m)
- class HasDomEvent t target eventName where
- type DomEventType target eventName :: *
- domEvent :: EventName eventName -> target -> Event t (DomEventType target eventName)
- class HasNamespace a where
- class ModifyAttributes t a | a -> t where
- modifyAttributes :: Reflex t => Lens' a (Event t (Map AttributeName (Maybe Text)))
- class InitialAttributes a where
- initialAttributes :: Lens' a (Map AttributeName Text)
- textNodeConfig_initialContents :: forall t. Lens' (TextNodeConfig t) Text
- commentNodeConfig_initialContents :: forall t. Lens' (CommentNodeConfig t) Text
- inputElementConfig_elementConfig :: forall er t s er s. Lens (InputElementConfig er t s) (InputElementConfig er t s) (ElementConfig er t s) (ElementConfig er t s)
- inputElementConfig_initialChecked :: forall er t s. Lens' (InputElementConfig er t s) Bool
- inputElementConfig_initialValue :: forall er t s. Lens' (InputElementConfig er t s) Text
- rawElementConfig_eventSpec :: forall er t s er s. Lens (RawElementConfig er t s) (RawElementConfig er t s) (EventSpec s er) (EventSpec s er)
- elementConfig_eventSpec :: forall er t s er s. Lens (ElementConfig er t s) (ElementConfig er t s) (EventSpec s er) (EventSpec s er)
- elementConfig_initialAttributes :: forall er t s. Lens' (ElementConfig er t s) (Map AttributeName Text)
- elementConfig_namespace :: forall er t s. Lens' (ElementConfig er t s) (Maybe Namespace)
- textAreaElementConfig_elementConfig :: forall er t m er m. Lens (TextAreaElementConfig er t m) (TextAreaElementConfig er t m) (ElementConfig er t m) (ElementConfig er t m)
- textAreaElementConfig_initialValue :: forall er t m. Lens' (TextAreaElementConfig er t m) Text
- selectElementConfig_elementConfig :: forall er t m er m. Lens (SelectElementConfig er t m) (SelectElementConfig er t m) (ElementConfig er t m) (ElementConfig er t m)
- selectElementConfig_initialValue :: forall er t m. Lens' (SelectElementConfig er t m) Text
- textNodeConfig_setContents :: Reflex t => Lens' (TextNodeConfig t) (Event t Text)
- commentNodeConfig_setContents :: Reflex t => Lens (CommentNodeConfig t) (CommentNodeConfig t) (Event t Text) (Event t Text)
- inputElementConfig_setValue :: Reflex t => Lens' (InputElementConfig er t m) (Event t Text)
- inputElementConfig_setChecked :: Reflex t => Lens' (InputElementConfig er t m) (Event t Bool)
- rawElementConfig_modifyAttributes :: Reflex t => Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))
- elementConfig_modifyAttributes :: Reflex t => Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))
- textAreaElementConfig_setValue :: Reflex t => Lens' (TextAreaElementConfig er t m) (Event t Text)
- selectElementConfig_setValue :: Reflex t => Lens' (SelectElementConfig er t m) (Event t Text)
- toStT :: MonadTransControlStateless t => proxy t -> a -> StT t a
- fromStT :: MonadTransControlStateless t => proxy t -> StT t a -> a
- liftWithStateless :: forall m t a. (Monad m, MonadTransControlStateless t) => (RunStateless t -> m a) -> t m a
- liftTextNode :: (MonadTrans f, DomBuilder t m) => TextNodeConfig t -> f m (TextNode (DomBuilderSpace m) t)
- liftCommentNode :: (MonadTrans f, DomBuilder t m) => CommentNodeConfig t -> f m (CommentNode (DomBuilderSpace m) t)
- liftElement :: LiftDomBuilder t f m => Text -> ElementConfig er t (DomBuilderSpace m) -> f m a -> f m (Element er (DomBuilderSpace m) t, a)
- liftElementConfig :: ElementConfig er t s -> ElementConfig er t s
- module Reflex.Dom.Builder.Class.Events
- module Reflex.NotReady.Class
Documentation
data SelectElement er d t Source #
Constructors
SelectElement | |
Fields
|
data SelectElementConfig er t m Source #
Constructors
SelectElementConfig | |
Fields |
Instances
ModifyAttributes (t :: k2) (SelectElementConfig er t m) Source # | |
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 # | |
Defined in Reflex.Dom.Builder.Class Methods def :: SelectElementConfig er t s # | |
InitialAttributes (SelectElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text) Source # |
data RawElementConfig er t s Source #
Constructors
RawElementConfig | |
Fields
|
Instances
ModifyAttributes (t :: k2) (RawElementConfig er t m) Source # | |
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 # | |
Defined in Reflex.Dom.Builder.Class Methods def :: RawElementConfig er t s # |
data TextAreaElement er d t Source #
Constructors
TextAreaElement | |
Fields |
Instances
Reflex t => HasDomEvent (t :: k2) (TextAreaElement EventResult d t) en Source # | |
Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (TextAreaElement EventResult d t) en :: Type Source # Methods domEvent :: EventName en -> TextAreaElement EventResult d t -> Event t (DomEventType (TextAreaElement EventResult d t) en) Source # | |
HasValue (TextAreaElement er d t) Source # | |
Defined in Reflex.Dom.Widget.Input Associated Types type Value (TextAreaElement er d t) :: Type Source # Methods value :: TextAreaElement er d t -> Value (TextAreaElement er d t) Source # | |
type Value (TextAreaElement er d t) Source # | |
Defined in Reflex.Dom.Widget.Input | |
type DomEventType (TextAreaElement EventResult d t) en Source # | |
Defined in Reflex.Dom.Builder.Class |
data TextAreaElementConfig er t m Source #
Constructors
TextAreaElementConfig | |
Instances
ModifyAttributes (t :: k2) (TextAreaElementConfig er t m) Source # | |
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 # | |
Defined in Reflex.Dom.Builder.Class Methods def :: TextAreaElementConfig er t s # | |
InitialAttributes (TextAreaElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text) Source # |
data InputElement er d t Source #
Constructors
InputElement | |
Fields
|
Instances
Reflex t => HasDomEvent (t :: k2) (InputElement EventResult d t) en Source # | |
Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (InputElement EventResult d t) en :: Type Source # Methods domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d t) en) Source # | |
HasValue (InputElement er d t) Source # | |
Defined in Reflex.Dom.Widget.Input Associated Types type Value (InputElement er d t) :: Type Source # Methods value :: InputElement er d t -> Value (InputElement er d t) Source # | |
type Value (InputElement er d t) Source # | |
Defined in Reflex.Dom.Widget.Input | |
type DomEventType (InputElement EventResult d t) en Source # | |
Defined in Reflex.Dom.Builder.Class |
data InputElementConfig er t s Source #
Constructors
InputElementConfig | |
Instances
ModifyAttributes (t :: k2) (InputElementConfig er t m) Source # | |
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 # | |
Defined in Reflex.Dom.Builder.Class Methods def :: InputElementConfig er t s # | |
InitialAttributes (InputElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text) Source # |
Constructors
Element | |
Fields
|
Instances
Reflex t => HasDomEvent (t :: k2) (Element EventResult d t) en Source # | |
Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (Element EventResult d t) en :: Type 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 # | |
Defined in Reflex.Dom.Builder.Class |
data ElementConfig er t s Source #
Constructors
ElementConfig | |
Instances
ModifyAttributes (t :: k2) (ElementConfig er t m) Source # | |
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 # | |
Defined in Reflex.Dom.Builder.Class Methods def :: ElementConfig er t s # | |
HasNamespace (ElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class | |
InitialAttributes (ElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (ElementConfig er t m) (Map AttributeName Text) Source # |
data EventFlags Source #
Constructors
EventFlags | |
Instances
Semigroup EventFlags Source # | |
Defined in Reflex.Dom.Builder.Class Methods (<>) :: EventFlags -> EventFlags -> EventFlags # sconcat :: NonEmpty EventFlags -> EventFlags # stimes :: Integral b => b -> EventFlags -> EventFlags # | |
Monoid EventFlags Source # | |
Defined in Reflex.Dom.Builder.Class Methods mempty :: EventFlags # mappend :: EventFlags -> EventFlags -> EventFlags # mconcat :: [EventFlags] -> EventFlags # |
data Propagation Source #
Instances
data AttributeName Source #
Constructors
AttributeName !(Maybe Namespace) !Text |
Instances
newtype CommentNode d t Source #
Constructors
CommentNode | |
Fields |
data CommentNodeConfig t Source #
Constructors
CommentNodeConfig | |
Fields |
Instances
Reflex t => Default (CommentNodeConfig t) Source # | |
Defined in Reflex.Dom.Builder.Class Methods def :: CommentNodeConfig t # |
Constructors
TextNode | |
Fields
|
data TextNodeConfig t Source #
Constructors
TextNodeConfig | |
Fields
|
Instances
Reflex t => Default (TextNodeConfig t) Source # | |
Defined in Reflex.Dom.Builder.Class Methods def :: TextNodeConfig t # |
class DomBuilder t m => MountableDomBuilder t m where Source #
Associated Types
type DomFragment m :: * Source #
Methods
buildDomFragment :: m a -> m (DomFragment m, a) Source #
mountDomFragment :: DomFragment m -> Event t (DomFragment m) -> m () Source #
Instances
class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t m | m -> t where Source #
indicates that DomBuilder
t mm
is a Monad
capable of building
dynamic DOM in the Reflex
timeline t
Minimal complete definition
Nothing
Associated Types
type DomBuilderSpace m :: * Source #
Methods
textNode :: TextNodeConfig t -> m (TextNode (DomBuilderSpace m) t) Source #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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
class Default (EventSpec d EventResult) => DomSpace d where Source #
Associated Types
type EventSpec d :: (EventTag -> *) -> * Source #
type RawDocument d :: * Source #
type RawTextNode d :: * Source #
type RawCommentNode d :: * Source #
type RawElement d :: * Source #
type RawInputElement d :: * Source #
type RawTextAreaElement d :: * Source #
type RawSelectElement d :: * Source #
Methods
addEventSpecFlags :: proxy d -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec d er -> EventSpec d er Source #
Instances
mapKeysToAttributeName :: Map Text v -> Map AttributeName v Source #
extractRawElementConfig :: ElementConfig er t m -> RawElementConfig er t m Source #
class Monad m => HasDocument m where Source #
Minimal complete definition
Nothing
Methods
askDocument :: m (RawDocument (DomBuilderSpace m)) Source #
askDocument :: (m ~ f m', RawDocument (DomBuilderSpace m) ~ RawDocument (DomBuilderSpace m'), MonadTrans f, Monad m', HasDocument m') => m (RawDocument (DomBuilderSpace m)) Source #
Instances
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
type RunStateless t = forall n b. Monad n => t n b -> n b Source #
class MonadTransControl t => MonadTransControlStateless t where Source #
Minimal complete definition
Nothing
Methods
stTCoercion :: proxy t -> Coercion (StT t a) a Source #
stTCoercion :: a ~ StT t a => proxy t -> Coercion (StT t a) a Source #
Instances
MonadTransControlStateless (ReaderT r) Source # | |
Defined in Reflex.Dom.Builder.Class |
type LiftDomBuilder t f m = (Reflex t, MonadTransControlStateless f, Monad m, DomBuilder t m, DomBuilderSpace (f m) ~ DomBuilderSpace m) Source #
class HasDomEvent t target eventName where Source #
Associated Types
type DomEventType target eventName :: * Source #
Methods
domEvent :: EventName eventName -> target -> Event t (DomEventType target eventName) Source #
Instances
class HasNamespace a where Source #
Instances
HasNamespace (ElConfig attrs) Source # | |
HasNamespace (ElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class |
class ModifyAttributes t a | a -> t where Source #
Methods
modifyAttributes :: Reflex t => Lens' a (Event t (Map AttributeName (Maybe Text))) Source #
Instances
class InitialAttributes a where Source #
Methods
initialAttributes :: Lens' a (Map AttributeName Text) Source #
Instances
InitialAttributes (SelectElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text) Source # | |
InitialAttributes (TextAreaElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text) Source # | |
InitialAttributes (InputElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text) Source # | |
InitialAttributes (ElementConfig er t m) Source # | |
Defined in Reflex.Dom.Builder.Class Methods initialAttributes :: Lens' (ElementConfig er t m) (Map AttributeName Text) Source # |
textNodeConfig_initialContents :: forall t. Lens' (TextNodeConfig t) Text Source #
commentNodeConfig_initialContents :: forall t. Lens' (CommentNodeConfig t) Text Source #
inputElementConfig_elementConfig :: forall er t s er s. Lens (InputElementConfig er t s) (InputElementConfig er t s) (ElementConfig er t s) (ElementConfig er t s) Source #
inputElementConfig_initialChecked :: forall er t s. Lens' (InputElementConfig er t s) Bool Source #
inputElementConfig_initialValue :: forall er t s. Lens' (InputElementConfig er t s) Text Source #
rawElementConfig_eventSpec :: forall er t s er s. Lens (RawElementConfig er t s) (RawElementConfig er t s) (EventSpec s er) (EventSpec s er) Source #
elementConfig_eventSpec :: forall er t s er s. Lens (ElementConfig er t s) (ElementConfig er t s) (EventSpec s er) (EventSpec s er) Source #
elementConfig_initialAttributes :: forall er t s. Lens' (ElementConfig er t s) (Map AttributeName Text) Source #
elementConfig_namespace :: forall er t s. Lens' (ElementConfig er t s) (Maybe Namespace) Source #
textAreaElementConfig_elementConfig :: forall er t m er m. Lens (TextAreaElementConfig er t m) (TextAreaElementConfig er t m) (ElementConfig er t m) (ElementConfig er t m) Source #
textAreaElementConfig_initialValue :: forall er t m. Lens' (TextAreaElementConfig er t m) Text Source #
selectElementConfig_elementConfig :: forall er t m er m. Lens (SelectElementConfig er t m) (SelectElementConfig er t m) (ElementConfig er t m) (ElementConfig er t m) Source #
selectElementConfig_initialValue :: forall er t m. Lens' (SelectElementConfig er t m) Text Source #
textNodeConfig_setContents :: Reflex t => Lens' (TextNodeConfig t) (Event t Text) Source #
This lens is technically illegal. The implementation of TextNodeConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with TextNodeConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
commentNodeConfig_setContents :: Reflex t => Lens (CommentNodeConfig t) (CommentNodeConfig t) (Event t Text) (Event t Text) Source #
This lens is technically illegal. The implementation of CommentNodeConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with CommentNodeConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
inputElementConfig_setValue :: Reflex t => Lens' (InputElementConfig er t m) (Event t Text) Source #
This lens is technically illegal. The implementation of InputElementConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with InputElementConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
inputElementConfig_setChecked :: Reflex t => Lens' (InputElementConfig er t m) (Event t Bool) Source #
This lens is technically illegal. The implementation of InputElementConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with InputElementConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
rawElementConfig_modifyAttributes :: Reflex t => Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
This lens is technically illegal. The implementation of RawElementConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with RawElementConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
elementConfig_modifyAttributes :: Reflex t => Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
This lens is technically illegal. The implementation of RawElementConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with RawElementConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
textAreaElementConfig_setValue :: Reflex t => Lens' (TextAreaElementConfig er t m) (Event t Text) Source #
This lens is technically illegal. The implementation of TextAreaElementConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with TextAreaElementConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
selectElementConfig_setValue :: Reflex t => Lens' (SelectElementConfig er t m) (Event t Text) Source #
This lens is technically illegal. The implementation of SelectElementConfig
uses a Maybe
under the hood for efficiency reasons. However, always interacting with SelectElementConfig
via lenses will always behave correctly, and if you pattern match on it, you should always treat Nothing
as never
.
toStT :: MonadTransControlStateless t => proxy t -> a -> StT t a Source #
fromStT :: MonadTransControlStateless t => proxy t -> StT t a -> a Source #
liftWithStateless :: forall m t a. (Monad m, MonadTransControlStateless t) => (RunStateless t -> m a) -> t m a Source #
liftTextNode :: (MonadTrans f, DomBuilder t m) => TextNodeConfig t -> f m (TextNode (DomBuilderSpace m) t) Source #
liftCommentNode :: (MonadTrans f, DomBuilder t m) => CommentNodeConfig t -> f m (CommentNode (DomBuilderSpace m) t) Source #
liftElement :: LiftDomBuilder t f m => Text -> ElementConfig er t (DomBuilderSpace m) -> f m a -> f m (Element er (DomBuilderSpace m) t, a) Source #
liftElementConfig :: ElementConfig er t s -> ElementConfig er t s Source #
Deprecated: Use id
instead; this function is no longer necessary
module Reflex.NotReady.Class