Safe Haskell	None
Language	Haskell98

Reflex.Dom.Builder.Class

Synopsis

data SelectElement er d t = SelectElement {
- _selectElement_element :: Element er d t
- _selectElement_value :: Dynamic t Text
- _selectElement_change :: Event t Text
- _selectElement_hasFocus :: Dynamic t Bool
- _selectElement_raw :: RawSelectElement d
}
data SelectElementConfig er t m = SelectElementConfig {
- _selectElementConfig_initialValue :: Text
- _selectElementConfig_setValue :: Maybe (Event t Text)
- _selectElementConfig_elementConfig :: ElementConfig er t m
}
data RawElementConfig er t s = RawElementConfig {
- _rawElementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
- _rawElementConfig_eventSpec :: EventSpec s er
}
data TextAreaElement er d t = TextAreaElement {
- _textAreaElement_value :: Dynamic t Text
- _textAreaElement_input :: Event t Text
- _textAreaElement_hasFocus :: Dynamic t Bool
- _textAreaElement_element :: Element er d t
- _textAreaElement_raw :: RawTextAreaElement d
}
data TextAreaElementConfig er t m = TextAreaElementConfig {
- _textAreaElementConfig_initialValue :: Text
- _textAreaElementConfig_setValue :: Maybe (Event t Text)
- _textAreaElementConfig_elementConfig :: ElementConfig er t m
}
data InputElement er d t = InputElement {
- _inputElement_value :: Dynamic t Text
- _inputElement_checked :: Dynamic t Bool
- _inputElement_checkedChange :: Event t Bool
- _inputElement_input :: Event t Text
- _inputElement_hasFocus :: Dynamic t Bool
- _inputElement_element :: Element er d t
- _inputElement_raw :: RawInputElement d
- _inputElement_files :: Dynamic t [RawFile d]
}
data InputElementConfig er t s = InputElementConfig {
- _inputElementConfig_initialValue :: Text
- _inputElementConfig_setValue :: Maybe (Event t Text)
- _inputElementConfig_initialChecked :: Bool
- _inputElementConfig_setChecked :: Maybe (Event t Bool)
- _inputElementConfig_elementConfig :: ElementConfig er t s
}
data Element er d t = Element {
- _element_events :: EventSelector t (WrapArg er EventName)
- _element_raw :: RawElement d
}
data ElementConfig er t s = ElementConfig {
- _elementConfig_namespace :: Maybe Namespace
- _elementConfig_initialAttributes :: Map AttributeName Text
- _elementConfig_modifyAttributes :: Maybe (Event t (Map AttributeName (Maybe Text)))
- _elementConfig_eventSpec :: EventSpec s er
}
data EventFlags = EventFlags {
- _eventFlags_propagation :: Propagation
- _eventFlags_preventDefault :: Bool
}
data Propagation
- = Propagation_Continue
- | Propagation_Stop
- | Propagation_StopImmediate
data AttributeName = AttributeName !(Maybe Namespace) !Text
newtype TextNode d t = TextNode {
- _textNode_raw :: RawTextNode d
}
data TextNodeConfig t = TextNodeConfig {
- _textNodeConfig_initialContents :: !Text
- _textNodeConfig_setContents :: !(Maybe (Event t Text))
}
type Namespace = Text
class DomBuilder t m => MountableDomBuilder t m where
- type DomFragment m :: *
class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), NotReady t m, Adjustable t m) => DomBuilder t m | m -> t where
- type DomBuilderSpace m :: *
class Default (EventSpec d EventResult) => DomSpace d where
- type EventSpec d :: (EventTag -> *) -> *
- type RawDocument d :: *
- type RawTextNode d :: *
- type RawElement d :: *
- type RawFile d :: *
- type RawInputElement d :: *
- type RawTextAreaElement d :: *
- type RawSelectElement d :: *
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
class (Reflex t, Monad m) => DomRenderHook t m | m -> t where
type RunStateless t = forall n b. Monad n => t n b -> n b
class MonadTransControl t => MonadTransControlStateless t where
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 :: *
class HasNamespace a where
class ModifyAttributes t a | a -> t where
class InitialAttributes a where
textNodeConfig_initialContents :: forall t. Lens' (TextNodeConfig 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)
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)
liftElement :: LiftDomBuilder t f m => Text -> ElementConfig er t (DomBuilderSpace m) -> f m a -> f m (Element er (DomBuilderSpace m) t, a)
liftElementConfig :: ElementConfig er t s -> ElementConfig er t s
module Reflex.Dom.Builder.Class.Events
module Reflex.NotReady.Class

Documentation

data SelectElement er d t Source #

Constructors

SelectElement
Fields _selectElement_element :: Element er d t _selectElement_value :: Dynamic t Text _selectElement_change :: Event t Text Fires when the value is changed by the user, but not when it is set by setValue _selectElement_hasFocus :: Dynamic t Bool _selectElement_raw :: RawSelectElement d

data SelectElementConfig er t m Source #

Constructors

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

Instances

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

data RawElementConfig er t s Source #

Constructors

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

Instances

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

data TextAreaElement er d t Source #

Constructors

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

Instances

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

data TextAreaElementConfig er t m Source #

Constructors

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

Instances

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

data InputElement er d t Source #

Constructors

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

Instances

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

data InputElementConfig er t s Source #

Constructors

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

Instances

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

data Element er d t Source #

Constructors

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

Instances

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

data ElementConfig er t s Source #

Constructors

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

Instances

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

data EventFlags Source #

Constructors

EventFlags
Fields _eventFlags_propagation :: Propagation _eventFlags_preventDefault :: Bool

Instances

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

data Propagation Source #

Constructors

Propagation_Continue
Propagation_Stop
Propagation_StopImmediate

Instances

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

data AttributeName Source #

Constructors

AttributeName !(Maybe Namespace) !Text

Instances

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

newtype TextNode d t Source #

Constructors

TextNode
Fields _textNode_raw :: RawTextNode d

data TextNodeConfig t Source #

Constructors

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

Instances

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

type Namespace = Text Source #

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

Minimal complete definition

buildDomFragment, mountDomFragment

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

(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 #
SupportsImmediateDomBuilder t m => MountableDomBuilder t (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomFragment (ImmediateDomBuilderT t m) :: * Source # Methods buildDomFragment :: ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (DomFragment (ImmediateDomBuilderT t m), a) Source # mountDomFragment :: DomFragment (ImmediateDomBuilderT t m) -> Event t (DomFragment (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m () Source #

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

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

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 #

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

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 # element :: Text -> ElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m a -> InputDisabledT m (Element er (DomBuilderSpace (InputDisabledT m)) t, a) Source # inputElement :: InputElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (InputElement er (DomBuilderSpace (InputDisabledT m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (TextAreaElement er (DomBuilderSpace (InputDisabledT m)) t) Source # selectElement :: 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 :: 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 # element :: 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 :: InputElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (InputElement er (DomBuilderSpace (PostBuildT t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (TextAreaElement er (DomBuilderSpace (PostBuildT t m)) t) Source # selectElement :: 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 :: RawElement (DomBuilderSpace (PostBuildT t m)) -> RawElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (Element er (DomBuilderSpace (PostBuildT t m)) t) Source #
SupportsImmediateDomBuilder t m => DomBuilder t (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (ImmediateDomBuilderT t m) :: * Source # Methods textNode :: TextNodeConfig t -> ImmediateDomBuilderT t m (TextNode (DomBuilderSpace (ImmediateDomBuilderT t m)) t) Source # element :: Text -> ElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (Element er (DomBuilderSpace (ImmediateDomBuilderT t m)) t, a) Source # inputElement :: InputElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m (InputElement er (DomBuilderSpace (ImmediateDomBuilderT t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m (TextAreaElement er (DomBuilderSpace (ImmediateDomBuilderT t m)) t) Source # selectElement :: SelectElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (SelectElement er (DomBuilderSpace (ImmediateDomBuilderT t m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m () Source # wrapRawElement :: RawElement (DomBuilderSpace (ImmediateDomBuilderT t m)) -> RawElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m (Element er (DomBuilderSpace (ImmediateDomBuilderT 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 # element :: 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 :: InputElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (InputElement er (DomBuilderSpace (ReaderT r m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (TextAreaElement er (DomBuilderSpace (ReaderT r m)) t) Source # selectElement :: 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 :: 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, MonadHold t m, Group q, Query q, Additive 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 # element :: 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 :: InputElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (InputElement er (DomBuilderSpace (QueryT t q m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (TextAreaElement er (DomBuilderSpace (QueryT t q m)) t) Source # selectElement :: 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 :: RawElement (DomBuilderSpace (QueryT t q m)) -> RawElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (Element er (DomBuilderSpace (QueryT t q m)) t) Source #
(DomBuilder t m, MonadHold t m, MonadFix m, Semigroup w) => DomBuilder t (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (EventWriterT t w m) :: * Source # Methods textNode :: TextNodeConfig t -> EventWriterT t w m (TextNode (DomBuilderSpace (EventWriterT t w m)) t) Source # element :: 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 :: InputElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (InputElement er (DomBuilderSpace (EventWriterT t w m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (TextAreaElement er (DomBuilderSpace (EventWriterT t w m)) t) Source # selectElement :: 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 :: RawElement (DomBuilderSpace (EventWriterT t w m)) -> RawElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (Element er (DomBuilderSpace (EventWriterT t w m)) t) Source #
(DomBuilder t m, Monoid w, MonadHold t m, MonadFix m) => DomBuilder t (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomBuilderSpace (DynamicWriterT t w m) :: * Source # Methods textNode :: TextNodeConfig t -> DynamicWriterT t w m (TextNode (DomBuilderSpace (DynamicWriterT t w m)) t) Source # element :: 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 :: InputElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (InputElement er (DomBuilderSpace (DynamicWriterT t w m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (TextAreaElement er (DomBuilderSpace (DynamicWriterT t w m)) t) Source # selectElement :: 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 :: RawElement (DomBuilderSpace (DynamicWriterT t w m)) -> RawElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (Element er (DomBuilderSpace (DynamicWriterT t w m)) t) Source #
SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Static Associated Types type DomBuilderSpace (StaticDomBuilderT t m) :: * Source # Methods textNode :: TextNodeConfig t -> StaticDomBuilderT t m (TextNode (DomBuilderSpace (StaticDomBuilderT t m)) t) Source # element :: 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 :: InputElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (InputElement er (DomBuilderSpace (StaticDomBuilderT t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (TextAreaElement er (DomBuilderSpace (StaticDomBuilderT t m)) t) Source # selectElement :: 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 :: 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 # element :: 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 :: 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 :: 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 :: 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 :: 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 #

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

Minimal complete definition

addEventSpecFlags

Associated Types

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

type RawDocument d :: * Source #

type RawTextNode d :: * Source #

type RawElement d :: * Source #

type RawFile 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

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

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

preventDefault :: EventFlags Source #

stopPropagation :: EventFlags Source #

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

class Monad m => HasDocument m where Source #

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

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 #
Monad m => HasDocument (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods askDocument :: ImmediateDomBuilderT t m (RawDocument (DomBuilderSpace (ImmediateDomBuilderT 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 (QueryT t q m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: QueryT t q m (RawDocument (DomBuilderSpace (QueryT t q m))) Source #
HasDocument m => HasDocument (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT t w m))) Source #
(SupportsStaticDomBuilder t m, Monad m) => HasDocument (StaticDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Static Methods askDocument :: StaticDomBuilderT t m (RawDocument (DomBuilderSpace (StaticDomBuilderT t m))) Source #
HasDocument m => HasDocument (RequesterT t request response m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: RequesterT t request response m (RawDocument (DomBuilderSpace (RequesterT t request response m))) Source #

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

Minimal complete definition

withRenderHook, requestDomAction, requestDomAction_

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

DomRenderHook t m => DomRenderHook (t :: k) (StateT e m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a Source # requestDomAction :: Event t (JSM a) -> StateT e m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> StateT e m () Source #
DomRenderHook t m => DomRenderHook (t :: k) (StateT e m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a Source # requestDomAction :: Event t (JSM a) -> StateT e m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> StateT e m () Source #
DomRenderHook t m => DomRenderHook (t :: k) (ReaderT e m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods withRenderHook :: (forall x. JSM x -> JSM x) -> ReaderT e m a -> ReaderT e m a Source # requestDomAction :: Event t (JSM a) -> ReaderT e m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> ReaderT e m () Source #
DomRenderHook t m => DomRenderHook (t :: *) (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 :: *) (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods withRenderHook :: (forall x. JSM x -> JSM x) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m a Source # requestDomAction :: Event t (JSM a) -> ImmediateDomBuilderT t m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> ImmediateDomBuilderT t m () Source #
DomRenderHook t m => DomRenderHook (t :: *) (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 :: *) (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 :: *) (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 #

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

class MonadTransControl t => MonadTransControlStateless t where Source #

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 #
Instance details Defined in Reflex.Dom.Builder.Class Methods stTCoercion :: proxy (ReaderT r) -> Coercion (StT (ReaderT r) a) a Source #

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

class HasDomEvent t target eventName where Source #

Minimal complete definition

domEvent

Associated Types

type DomEventType target eventName :: * Source #

Methods

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

Instances

Reflex t => HasDomEvent (t :: k) (TextInput t) en Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type DomEventType (TextInput t) en :: * Source # Methods domEvent :: EventName en -> TextInput t -> Event t (DomEventType (TextInput t) en) Source #
Reflex t => HasDomEvent (t :: k2) (TextAreaElement EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (TextAreaElement EventResult d t) en :: * Source # Methods domEvent :: EventName en -> TextAreaElement EventResult d t -> Event t (DomEventType (TextAreaElement EventResult d t) en) Source #
Reflex t => HasDomEvent (t :: k2) (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 :: k2) (Element EventResult d t) en Source #
Instance details Defined in Reflex.Dom.Builder.Class Associated Types type DomEventType (Element EventResult d t) en :: * Source # Methods domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element EventResult d t) en) Source #

class HasNamespace a where Source #

Minimal complete definition

namespace

Methods

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

Instances

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

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

Minimal complete definition

modifyAttributes

Methods

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

Instances

ModifyAttributes (t :: k2) (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 :: k2) (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 :: k2) (TextAreaElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (TextAreaElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #
ModifyAttributes (t :: k2) (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 :: k2) (ElementConfig er t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods modifyAttributes :: Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text))) Source #

class InitialAttributes a where Source #

Minimal complete definition

initialAttributes

Methods

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

Instances

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

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

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.

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 #

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

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

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

module Reflex.Dom.Builder.Class.Events

module Reflex.NotReady.Class