Reflex.Dom.Builder.Class

Documentation

data SelectElement er d t

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

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)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (SelectElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (SelectElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: SelectElementConfig er t s

InitialAttributes (SelectElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text)

data RawElementConfig er t s

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)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (RawElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: RawElementConfig er t s

data TextAreaElement er d t

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (TextAreaElement EventResult d t) en :: Type

Methods

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

HasValue (TextAreaElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextAreaElement er d t) :: Type

Methods

value :: TextAreaElement er d t -> Value (TextAreaElement er d t)

type Value (TextAreaElement er d t)

Defined in Reflex.Dom.Widget.Input

type Value (TextAreaElement er d t) = Dynamic t Text

type DomEventType (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

type DomEventType (TextAreaElement EventResult d t) en = EventResultType en

data TextAreaElementConfig er t m

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)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (TextAreaElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (TextAreaElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: TextAreaElementConfig er t s

Reflex t => HasSetValue (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type SetValue (TextAreaElementConfig er t m) :: Type

Methods

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

InitialAttributes (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text)

type SetValue (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

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

data InputElement er d t

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

Reflex t => HasDomEvent (t :: k2) (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (InputElement EventResult d t) en :: Type

Methods

domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d t) en)

HasValue (InputElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (InputElement er d t) :: Type

Methods

value :: InputElement er d t -> Value (InputElement er d t)

type Value (InputElement er d t)

Defined in Reflex.Dom.Widget.Input

type Value (InputElement er d t) = Dynamic t Text

type DomEventType (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

type DomEventType (InputElement EventResult d t) en = EventResultType en

data InputElementConfig er t s

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)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (InputElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (InputElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: InputElementConfig er t s

InitialAttributes (InputElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text)

data Element er d t

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (Element EventResult d t) en :: Type

Methods

domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element EventResult d t) en)

type DomEventType (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

type DomEventType (Element EventResult d t) en = EventResultType en

data ElementConfig er t s

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)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

(Reflex t, er ~ EventResult, DomSpace s) => Default (ElementConfig er t s)

Defined in Reflex.Dom.Builder.Class

Methods

def :: ElementConfig er t s

HasNamespace (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

namespace :: Lens' (ElementConfig er t m) (Maybe Namespace)

InitialAttributes (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (ElementConfig er t m) (Map AttributeName Text)

data EventFlags

Constructors

EventFlags

Fields

• _eventFlags_propagation :: Propagation
• _eventFlags_preventDefault :: Bool

Instances

Semigroup EventFlags

Defined in Reflex.Dom.Builder.Class

Methods

(<>) :: EventFlags -> EventFlags -> EventFlags

sconcat :: NonEmpty EventFlags -> EventFlags

stimes :: Integral b => b -> EventFlags -> EventFlags

Monoid EventFlags

Defined in Reflex.Dom.Builder.Class

Methods

mempty :: EventFlags

mappend :: EventFlags -> EventFlags -> EventFlags

mconcat :: [EventFlags] -> EventFlags

data Propagation

Constructors

Propagation_Continue

Propagation_Stop

Propagation_StopImmediate

Instances

Eq Propagation

Defined in Reflex.Dom.Builder.Class

Methods

(==) :: Propagation -> Propagation -> Bool

(/=) :: Propagation -> Propagation -> Bool

Ord Propagation

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

Defined in Reflex.Dom.Builder.Class

Methods

readsPrec :: Int -> ReadS Propagation

readList :: ReadS [Propagation]

readPrec :: ReadPrec Propagation

readListPrec :: ReadPrec [Propagation]

Show Propagation

Defined in Reflex.Dom.Builder.Class

Methods

showsPrec :: Int -> Propagation -> ShowS

show :: Propagation -> String

showList :: [Propagation] -> ShowS

Semigroup Propagation

Defined in Reflex.Dom.Builder.Class

Methods

(<>) :: Propagation -> Propagation -> Propagation

sconcat :: NonEmpty Propagation -> Propagation

stimes :: Integral b => b -> Propagation -> Propagation

Monoid Propagation

Defined in Reflex.Dom.Builder.Class

Methods

mempty :: Propagation

mappend :: Propagation -> Propagation -> Propagation

mconcat :: [Propagation] -> Propagation

data AttributeName

Constructors

AttributeName !(Maybe Namespace) !Text

Instances

Eq AttributeName

Defined in Reflex.Dom.Builder.Class

Methods

(==) :: AttributeName -> AttributeName -> Bool

(/=) :: AttributeName -> AttributeName -> Bool

Ord AttributeName

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

Defined in Reflex.Dom.Builder.Class

Methods

readsPrec :: Int -> ReadS AttributeName

readList :: ReadS [AttributeName]

readPrec :: ReadPrec AttributeName

readListPrec :: ReadPrec [AttributeName]

Show AttributeName

Defined in Reflex.Dom.Builder.Class

Methods

showsPrec :: Int -> AttributeName -> ShowS

show :: AttributeName -> String

showList :: [AttributeName] -> ShowS

IsString AttributeName

By default, AttributeNames are unnamespaced

Defined in Reflex.Dom.Builder.Class

Methods

fromString :: String -> AttributeName

newtype CommentNode d t

Constructors

CommentNode

Fields

• _commentNode_raw :: RawCommentNode d

data CommentNodeConfig t

Constructors

CommentNodeConfig

Fields

• _commentNodeConfig_initialContents :: !Text
• _commentNodeConfig_setContents :: !(Maybe (Event t Text))

Instances

Reflex t => Default (CommentNodeConfig t)

Defined in Reflex.Dom.Builder.Class

Methods

def :: CommentNodeConfig t

newtype TextNode d t

Constructors

TextNode

Fields

• _textNode_raw :: RawTextNode d

data TextNodeConfig t

Constructors

TextNodeConfig

Fields

• _textNodeConfig_initialContents :: !Text
• _textNodeConfig_setContents :: !(Maybe (Event t Text))

Instances

Reflex t => Default (TextNodeConfig t)

Defined in Reflex.Dom.Builder.Class

Methods

def :: TextNodeConfig t

type Namespace = Text

class DomBuilder t m => MountableDomBuilder t m where

Associated Types

type DomFragment m :: *

Methods

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

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

Instances

(MountableDomBuilder t m, PerformEvent t m, MonadFix m, MonadHold t m) => MountableDomBuilder t (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomFragment (PostBuildT t m) :: Type

Methods

buildDomFragment :: PostBuildT t m a -> PostBuildT t m (DomFragment (PostBuildT t m), a)

mountDomFragment :: DomFragment (PostBuildT t m) -> Event t (DomFragment (PostBuildT t m)) -> PostBuildT t m ()

SupportsHydrationDomBuilder t m => MountableDomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) :: Type

Methods

buildDomFragment :: HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m), a)

mountDomFragment :: DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) -> Event t (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m ()

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

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

Methods

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

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

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

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

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

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)

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

inputElement :: (MonadTransControl f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t)

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

textAreaElement :: (MonadTransControl f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => 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)

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)

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

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

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

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)

Instances

DomBuilder t m => DomBuilder t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type DomBuilderSpace (HydratableT m) :: Type

Methods

textNode :: TextNodeConfig t -> HydratableT m (TextNode (DomBuilderSpace (HydratableT m)) t)

commentNode :: CommentNodeConfig t -> HydratableT m (CommentNode (DomBuilderSpace (HydratableT m)) t)

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

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

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

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

placeRawElement :: RawElement (DomBuilderSpace (HydratableT m)) -> HydratableT m ()

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

DomBuilder t m => DomBuilder t (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Associated Types

type DomBuilderSpace (InputDisabledT m) :: Type

Methods

textNode :: TextNodeConfig t -> InputDisabledT m (TextNode (DomBuilderSpace (InputDisabledT m)) t)

commentNode :: CommentNodeConfig t -> InputDisabledT m (CommentNode (DomBuilderSpace (InputDisabledT m)) t)

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

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

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

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

placeRawElement :: RawElement (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m ()

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

DomBuilder t m => DomBuilder t (ReaderT r m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (ReaderT r m) :: Type

Methods

textNode :: TextNodeConfig t -> ReaderT r m (TextNode (DomBuilderSpace (ReaderT r m)) t)

commentNode :: CommentNodeConfig t -> ReaderT r m (CommentNode (DomBuilderSpace (ReaderT r m)) t)

element :: Text -> ElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m a -> ReaderT r m (Element er (DomBuilderSpace (ReaderT r m)) t, a)

inputElement :: InputElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (InputElement er (DomBuilderSpace (ReaderT r m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (TextAreaElement er (DomBuilderSpace (ReaderT r m)) t)

selectElement :: SelectElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m a -> ReaderT r m (SelectElement er (DomBuilderSpace (ReaderT r m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (ReaderT r m)) -> ReaderT r m ()

wrapRawElement :: RawElement (DomBuilderSpace (ReaderT r m)) -> RawElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (Element er (DomBuilderSpace (ReaderT r m)) t)

(DomBuilder t m, PerformEvent t m, MonadFix m, MonadHold t m) => DomBuilder t (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (PostBuildT t m) :: Type

Methods

textNode :: TextNodeConfig t -> PostBuildT t m (TextNode (DomBuilderSpace (PostBuildT t m)) t)

commentNode :: CommentNodeConfig t -> PostBuildT t m (CommentNode (DomBuilderSpace (PostBuildT t m)) t)

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

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

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

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

placeRawElement :: RawElement (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m ()

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

(DomBuilder t m, MonadFix m, MonadHold t m, Group q, Query q, Additive q, Eq q) => DomBuilder t (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (QueryT t q m) :: Type

Methods

textNode :: TextNodeConfig t -> QueryT t q m (TextNode (DomBuilderSpace (QueryT t q m)) t)

commentNode :: CommentNodeConfig t -> QueryT t q m (CommentNode (DomBuilderSpace (QueryT t q m)) t)

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)

inputElement :: InputElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (InputElement er (DomBuilderSpace (QueryT t q m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (TextAreaElement er (DomBuilderSpace (QueryT t q m)) t)

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)

placeRawElement :: RawElement (DomBuilderSpace (QueryT t q m)) -> QueryT t q m ()

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)

(DomBuilder t m, MonadHold t m, MonadFix m, Semigroup w) => DomBuilder t (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (EventWriterT t w m) :: Type

Methods

textNode :: TextNodeConfig t -> EventWriterT t w m (TextNode (DomBuilderSpace (EventWriterT t w m)) t)

commentNode :: CommentNodeConfig t -> EventWriterT t w m (CommentNode (DomBuilderSpace (EventWriterT t w m)) t)

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)

inputElement :: InputElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (InputElement er (DomBuilderSpace (EventWriterT t w m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (TextAreaElement er (DomBuilderSpace (EventWriterT t w m)) t)

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)

placeRawElement :: RawElement (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m ()

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)

(DomBuilder t m, Monoid w, MonadHold t m, MonadFix m) => DomBuilder t (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (DynamicWriterT t w m) :: Type

Methods

textNode :: TextNodeConfig t -> DynamicWriterT t w m (TextNode (DomBuilderSpace (DynamicWriterT t w m)) t)

commentNode :: CommentNodeConfig t -> DynamicWriterT t w m (CommentNode (DomBuilderSpace (DynamicWriterT t w m)) t)

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)

inputElement :: InputElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (InputElement er (DomBuilderSpace (DynamicWriterT t w m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (TextAreaElement er (DomBuilderSpace (DynamicWriterT t w m)) t)

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)

placeRawElement :: RawElement (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m ()

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)

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

Defined in Reflex.Dom.Builder.Static

Associated Types

type DomBuilderSpace (StaticDomBuilderT t m) :: Type

Methods

textNode :: TextNodeConfig t -> StaticDomBuilderT t m (TextNode (DomBuilderSpace (StaticDomBuilderT t m)) t)

commentNode :: CommentNodeConfig t -> StaticDomBuilderT t m (CommentNode (DomBuilderSpace (StaticDomBuilderT t m)) t)

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

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

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

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

placeRawElement :: RawElement (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m ()

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

(DomBuilder t m, MonadHold t m, MonadFix m) => DomBuilder t (RequesterT t request response m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (RequesterT t request response m) :: Type

Methods

textNode :: TextNodeConfig t -> RequesterT t request response m (TextNode (DomBuilderSpace (RequesterT t request response m)) t)

commentNode :: CommentNodeConfig t -> RequesterT t request response m (CommentNode (DomBuilderSpace (RequesterT t request response m)) t)

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)

inputElement :: InputElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (InputElement er (DomBuilderSpace (RequesterT t request response m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (TextAreaElement er (DomBuilderSpace (RequesterT t request response m)) t)

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)

placeRawElement :: RawElement (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m ()

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)

SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) :: Type

Methods

textNode :: TextNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

commentNode :: CommentNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

element :: 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)

inputElement :: InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

selectElement :: 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)

placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m ()

wrapRawElement :: 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)

SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT HydrationDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) :: Type

Methods

textNode :: TextNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

commentNode :: CommentNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

element :: 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)

inputElement :: InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

selectElement :: 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)

placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m ()

wrapRawElement :: 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)

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

Associated Types

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

Methods

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

Instances

DomSpace HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec HydrationDomSpace :: (EventTag -> Type) -> Type

type RawDocument HydrationDomSpace :: Type

type RawTextNode HydrationDomSpace :: Type

type RawCommentNode HydrationDomSpace :: Type

type RawElement HydrationDomSpace :: Type

type RawInputElement HydrationDomSpace :: Type

type RawTextAreaElement HydrationDomSpace :: Type

type RawSelectElement HydrationDomSpace :: Type

Methods

addEventSpecFlags :: proxy HydrationDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec HydrationDomSpace er -> EventSpec HydrationDomSpace er

DomSpace GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec GhcjsDomSpace :: (EventTag -> Type) -> Type

type RawDocument GhcjsDomSpace :: Type

type RawTextNode GhcjsDomSpace :: Type

type RawCommentNode GhcjsDomSpace :: Type

type RawElement GhcjsDomSpace :: Type

type RawInputElement GhcjsDomSpace :: Type

type RawTextAreaElement GhcjsDomSpace :: Type

type RawSelectElement GhcjsDomSpace :: Type

Methods

addEventSpecFlags :: proxy GhcjsDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec GhcjsDomSpace er -> EventSpec GhcjsDomSpace er

DomSpace StaticDomSpace

Defined in Reflex.Dom.Builder.Static

Associated Types

type EventSpec StaticDomSpace :: (EventTag -> Type) -> Type

type RawDocument StaticDomSpace :: Type

type RawTextNode StaticDomSpace :: Type

type RawCommentNode StaticDomSpace :: Type

type RawElement StaticDomSpace :: Type

type RawInputElement StaticDomSpace :: Type

type RawTextAreaElement StaticDomSpace :: Type

type RawSelectElement StaticDomSpace :: Type

Methods

addEventSpecFlags :: proxy StaticDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec StaticDomSpace er -> EventSpec StaticDomSpace er

mapKeysToAttributeName :: Map Text v -> Map AttributeName v

preventDefault :: EventFlags

stopPropagation :: EventFlags

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

class HasSetValue a where

Associated Types

type SetValue a :: *

Methods

setValue :: Lens' a (SetValue a)

Instances

HasSetValue (CheckboxConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (CheckboxConfig t) :: Type

Methods

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

HasSetValue (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextAreaConfig t) :: Type

Methods

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

HasSetValue (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (RangeInputConfig t) :: Type

Methods

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

HasSetValue (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextInputConfig t) :: Type

Methods

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

HasSetValue (DropdownConfig t k2)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (DropdownConfig t k2) :: Type

Methods

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

Reflex t => HasSetValue (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Associated Types

type SetValue (TextAreaElementConfig er t m) :: Type

Methods

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

class Monad m => HasDocument m where

Minimal complete definition

Nothing

Methods

askDocument :: m (RawDocument (DomBuilderSpace m))

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

Instances

HasDocument m => HasDocument (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

askDocument :: HydratableT m (RawDocument (DomBuilderSpace (HydratableT m)))

HasDocument m => HasDocument (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Methods

askDocument :: InputDisabledT m (RawDocument (DomBuilderSpace (InputDisabledT m)))

HasDocument m => HasDocument (ReaderT r m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: ReaderT r m (RawDocument (DomBuilderSpace (ReaderT r m)))

HasDocument m => HasDocument (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: PostBuildT t m (RawDocument (DomBuilderSpace (PostBuildT t m)))

HasDocument m => HasDocument (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: DynamicWriterT t w m (RawDocument (DomBuilderSpace (DynamicWriterT t w m)))

HasDocument m => HasDocument (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: QueryT t q m (RawDocument (DomBuilderSpace (QueryT t q m)))

HasDocument m => HasDocument (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT t w m)))

(SupportsStaticDomBuilder t m, Monad m) => HasDocument (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

askDocument :: StaticDomBuilderT t m (RawDocument (DomBuilderSpace (StaticDomBuilderT t m)))

HasDocument m => HasDocument (RequesterT t request response m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: RequesterT t request response m (RawDocument (DomBuilderSpace (RequesterT t request response m)))

(RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document, Monad m) => HasDocument (HydrationDomBuilderT s t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

askDocument :: HydrationDomBuilderT s t m (RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)))

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

Methods

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

Instances

DomRenderHook t m => DomRenderHook (t :: k) (StateT e m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a

requestDomAction :: Event t (JSM a) -> StateT e m (Event t a)

requestDomAction_ :: Event t (JSM a) -> StateT e m ()

DomRenderHook t m => DomRenderHook (t :: k) (StateT e m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> StateT e m a -> StateT e m a

requestDomAction :: Event t (JSM a) -> StateT e m (Event t a)

requestDomAction_ :: Event t (JSM a) -> StateT e m ()

DomRenderHook t m => DomRenderHook (t :: k) (ReaderT e m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> ReaderT e m a -> ReaderT e m a

requestDomAction :: Event t (JSM a) -> ReaderT e m (Event t a)

requestDomAction_ :: Event t (JSM a) -> ReaderT e m ()

DomRenderHook t m => DomRenderHook (t :: Type) (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

requestDomAction :: Event t (JSM a) -> HydratableT m (Event t a)

requestDomAction_ :: Event t (JSM a) -> HydratableT m ()

DomRenderHook t m => DomRenderHook (t :: Type) (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Methods

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

requestDomAction :: Event t (JSM a) -> InputDisabledT m (Event t a)

requestDomAction_ :: Event t (JSM a) -> InputDisabledT m ()

DomRenderHook t m => DomRenderHook (t :: Type) (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> PostBuildT t m a -> PostBuildT t m a

requestDomAction :: Event t (JSM a) -> PostBuildT t m (Event t a)

requestDomAction_ :: Event t (JSM a) -> PostBuildT t m ()

(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationRunnerT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationRunnerT t m a -> HydrationRunnerT t m a

requestDomAction :: Event t (JSM a) -> HydrationRunnerT t m (Event t a)

requestDomAction_ :: Event t (JSM a) -> HydrationRunnerT t m ()

DomRenderHook t m => DomRenderHook (t :: Type) (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> QueryT t q m a -> QueryT t q m a

requestDomAction :: Event t (JSM a) -> QueryT t q m (Event t a)

requestDomAction_ :: Event t (JSM a) -> QueryT t q m ()

DomRenderHook t m => DomRenderHook (t :: Type) (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> DynamicWriterT t w m a -> DynamicWriterT t w m a

requestDomAction :: Event t (JSM a) -> DynamicWriterT t w m (Event t a)

requestDomAction_ :: Event t (JSM a) -> DynamicWriterT t w m ()

DomRenderHook t m => DomRenderHook (t :: Type) (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> EventWriterT t w m a -> EventWriterT t w m a

requestDomAction :: Event t (JSM a) -> EventWriterT t w m (Event t a)

requestDomAction_ :: Event t (JSM a) -> EventWriterT t w m ()

DomRenderHook t m => DomRenderHook (t :: Type) (BehaviorWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> BehaviorWriterT t w m a -> BehaviorWriterT t w m a

requestDomAction :: Event t (JSM a) -> BehaviorWriterT t w m (Event t a)

requestDomAction_ :: Event t (JSM a) -> BehaviorWriterT t w m ()

DomRenderHook t m => DomRenderHook (t :: Type) (RequesterT t req rsp m)

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

requestDomAction :: Event t (JSM a) -> RequesterT t req rsp m (Event t a)

requestDomAction_ :: Event t (JSM a) -> RequesterT t req rsp m ()

(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationDomBuilderT s t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m a

requestDomAction :: Event t (JSM a) -> HydrationDomBuilderT s t m (Event t a)

requestDomAction_ :: Event t (JSM a) -> HydrationDomBuilderT s t m ()

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

class MonadTransControl t => MonadTransControlStateless t where

Minimal complete definition

Nothing

Methods

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

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

Instances

MonadTransControlStateless (ReaderT r)

Defined in Reflex.Dom.Builder.Class

Methods

stTCoercion :: proxy (ReaderT r) -> Coercion (StT (ReaderT r) a) a

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

class HasDomEvent t target eventName | target -> t where

Associated Types

type DomEventType target eventName :: *

Methods

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

Instances

Reflex t => HasDomEvent (t :: k) (TextInput t) en

Defined in Reflex.Dom.Widget.Input

Associated Types

type DomEventType (TextInput t) en :: Type

Methods

domEvent :: EventName en -> TextInput t -> Event t (DomEventType (TextInput t) en)

Reflex t => HasDomEvent (t :: k2) (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (TextAreaElement EventResult d t) en :: Type

Methods

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

Reflex t => HasDomEvent (t :: k2) (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (InputElement EventResult d t) en :: Type

Methods

domEvent :: EventName en -> InputElement EventResult d t -> Event t (DomEventType (InputElement EventResult d t) en)

Reflex t => HasDomEvent (t :: k2) (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (Element EventResult d t) en :: Type

Methods

domEvent :: EventName en -> Element EventResult d t -> Event t (DomEventType (Element EventResult d t) en)

class HasNamespace a where

Methods

namespace :: Lens' a (Maybe Namespace)

Instances

HasNamespace (ElConfig attrs)

Defined in Reflex.Dom.Old

Methods

namespace :: Lens' (ElConfig attrs) (Maybe Namespace)

HasNamespace (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

namespace :: Lens' (ElementConfig er t m) (Maybe Namespace)

class ModifyAttributes t a | a -> t where

Methods

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

Instances

ModifyAttributes (t :: k2) (RawElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k2) (SelectElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (SelectElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k2) (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (TextAreaElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k2) (InputElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (InputElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

ModifyAttributes (t :: k2) (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

modifyAttributes :: Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

class InitialAttributes a where

Methods

initialAttributes :: Lens' a (Map AttributeName Text)

Instances

InitialAttributes (SelectElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (SelectElementConfig er t m) (Map AttributeName Text)

InitialAttributes (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (TextAreaElementConfig er t m) (Map AttributeName Text)

InitialAttributes (InputElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (InputElementConfig er t m) (Map AttributeName Text)

InitialAttributes (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

initialAttributes :: Lens' (ElementConfig er t m) (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)

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)

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)

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)

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

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

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)

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)

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

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

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

module Reflex.Dom.Builder.Class.Events

module Reflex.NotReady.Class