Reflex.Dom.Builder.Class

Documentation

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

commentNodeConfig_setContents :: forall {k} (t :: k). 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.

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

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

elementConfig_modifyAttributes :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (ElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

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_namespace :: forall (er :: EventTag -> Type) k1 (t :: k1) k2 (s :: k2) f. Functor f => (Maybe Namespace -> f (Maybe Namespace)) -> ElementConfig er t s -> f (ElementConfig er t s)

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

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

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

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

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

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

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

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

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

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

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

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

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

mapKeysToAttributeName :: Map Text v -> Map AttributeName v

preventDefault :: EventFlags

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

rawElementConfig_modifyAttributes :: forall {k1} {k2} (t :: k1) (er :: EventTag -> Type) (m :: k2). Reflex t => Lens' (RawElementConfig er t m) (Event t (Map AttributeName (Maybe Text)))

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.

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

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

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

stopPropagation :: EventFlags

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

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

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

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

textNodeConfig_setContents :: forall {k} (t :: k). 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.

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

data AttributeName

Constructors

AttributeName !(Maybe Namespace) !Text

Instances

IsString AttributeName

By default, AttributeNames are unnamespaced

Defined in Reflex.Dom.Builder.Class

Methods

fromString :: String -> 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

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

newtype CommentNode (d :: k) (t :: k1)

Constructors

CommentNode

Fields

• _commentNode_raw :: RawCommentNode d

data CommentNodeConfig (t :: k)

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

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

Methods

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

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

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

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

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

default element :: forall (f :: (Type -> Type) -> Type -> Type) a (m' :: Type -> Type) (er :: EventTag -> Type). (MonadTransControl f, StT f a ~ a, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => Text -> ElementConfig er t (DomBuilderSpace m) -> m a -> m (Element er (DomBuilderSpace m) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t)

default inputElement :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type) (er :: EventTag -> Type). (MonadTransControl f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => InputElementConfig er t (DomBuilderSpace m) -> m (InputElement er (DomBuilderSpace m) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace m) -> m (TextAreaElement er (DomBuilderSpace m) t)

default textAreaElement :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type) (er :: EventTag -> Type). (MonadTransControl f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => TextAreaElementConfig er t (DomBuilderSpace m) -> m (TextAreaElement er (DomBuilderSpace m) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace m) -> m a -> m (SelectElement er (DomBuilderSpace m) t, a)

default selectElement :: forall (f :: (Type -> Type) -> Type -> Type) a (m' :: Type -> Type) (er :: EventTag -> Type). (MonadTransControl f, StT f a ~ a, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => SelectElementConfig er t (DomBuilderSpace m) -> m a -> m (SelectElement er (DomBuilderSpace m) t, a)

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

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

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

default wrapRawElement :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type) (er :: EventTag -> Type). (MonadTrans f, m ~ f m', DomBuilderSpace m' ~ DomBuilderSpace m, DomBuilder t m') => RawElement (DomBuilderSpace m) -> RawElementConfig er t (DomBuilderSpace m) -> m (Element er (DomBuilderSpace m) t)

Instances

DomBuilder t m => DomBuilder t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type DomBuilderSpace (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

type DomBuilderSpace (HydratableT m) = DomBuilderSpace m

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (InputElement er (DomBuilderSpace (HydratableT m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (TextAreaElement er (DomBuilderSpace (HydratableT m)) t)

selectElement :: forall (er :: EventTag -> Type) a. 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 :: forall (er :: EventTag -> Type). 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)

Defined in Reflex.Dom.Builder.InputDisabled

type DomBuilderSpace (InputDisabledT m) = DomBuilderSpace m

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (InputElement er (DomBuilderSpace (InputDisabledT m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (TextAreaElement er (DomBuilderSpace (InputDisabledT m)) t)

selectElement :: forall (er :: EventTag -> Type) a. 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 :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (InputDisabledT m)) -> RawElementConfig er t (DomBuilderSpace (InputDisabledT m)) -> InputDisabledT m (Element er (DomBuilderSpace (InputDisabledT 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)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (PostBuildT t m) = DomBuilderSpace m

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (InputElement er (DomBuilderSpace (PostBuildT t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m (TextAreaElement er (DomBuilderSpace (PostBuildT t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (PostBuildT t m)) -> PostBuildT t m a -> PostBuildT t m (SelectElement er (DomBuilderSpace (PostBuildT t m)) t, a)

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

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

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (ReaderT r m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (ReaderT r m) = DomBuilderSpace m

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (InputElement er (DomBuilderSpace (ReaderT r m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (ReaderT r m)) -> ReaderT r m (TextAreaElement er (DomBuilderSpace (ReaderT r m)) t)

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

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

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

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

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (DynamicWriterT t w m) = DomBuilderSpace m

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (InputElement er (DomBuilderSpace (DynamicWriterT t w m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m (TextAreaElement er (DomBuilderSpace (DynamicWriterT t w m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (DynamicWriterT t w m)) -> DynamicWriterT t w m a -> DynamicWriterT t w m (SelectElement er (DomBuilderSpace (DynamicWriterT t w m)) t, a)

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

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

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

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (EventWriterT t w m) = DomBuilderSpace m

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (InputElement er (DomBuilderSpace (EventWriterT t w m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m (TextAreaElement er (DomBuilderSpace (EventWriterT t w m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (EventWriterT t w m)) -> EventWriterT t w m a -> EventWriterT t w m (SelectElement er (DomBuilderSpace (EventWriterT t w m)) t, a)

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

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

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomBuilderSpace (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (QueryT t q m) = DomBuilderSpace m

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (InputElement er (DomBuilderSpace (QueryT t q m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m (TextAreaElement er (DomBuilderSpace (QueryT t q m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (QueryT t q m)) -> QueryT t q m a -> QueryT t q m (SelectElement er (DomBuilderSpace (QueryT t q m)) t, a)

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

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

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

Defined in Reflex.Dom.Builder.Static

Associated Types

type DomBuilderSpace (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

type DomBuilderSpace (StaticDomBuilderT t m) = StaticDomSpace

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (InputElement er (DomBuilderSpace (StaticDomBuilderT t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (TextAreaElement er (DomBuilderSpace (StaticDomBuilderT t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m (SelectElement er (DomBuilderSpace (StaticDomBuilderT t m)) t, a)

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

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

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

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (RequesterT t request response m) = DomBuilderSpace m

Methods

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

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

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m a -> RequesterT t request response m (Element er (DomBuilderSpace (RequesterT t request response m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (InputElement er (DomBuilderSpace (RequesterT t request response m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (TextAreaElement er (DomBuilderSpace (RequesterT t request response m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m a -> RequesterT t request response m (SelectElement er (DomBuilderSpace (RequesterT t request response m)) t, a)

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

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (RequesterT t request response m)) -> RawElementConfig er t (DomBuilderSpace (RequesterT t request response m)) -> RequesterT t request response m (Element er (DomBuilderSpace (RequesterT t request response m)) t)

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

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) = GhcjsDomSpace

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t, a)

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

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

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

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) = HydrationDomSpace

Methods

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

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

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

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t, a)

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

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

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

Instances

type DomBuilderSpace (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

type DomBuilderSpace (HydratableT m) = DomBuilderSpace m

type DomBuilderSpace (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

type DomBuilderSpace (InputDisabledT m) = DomBuilderSpace m

type DomBuilderSpace (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (PostBuildT t m) = DomBuilderSpace m

type DomBuilderSpace (ReaderT r m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (ReaderT r m) = DomBuilderSpace m

type DomBuilderSpace (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (DynamicWriterT t w m) = DomBuilderSpace m

type DomBuilderSpace (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (EventWriterT t w m) = DomBuilderSpace m

type DomBuilderSpace (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (QueryT t q m) = DomBuilderSpace m

type DomBuilderSpace (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

type DomBuilderSpace (StaticDomBuilderT t m) = StaticDomSpace

type DomBuilderSpace (RequesterT t request response m)

Defined in Reflex.Dom.Builder.Class

type DomBuilderSpace (RequesterT t request response m) = DomBuilderSpace m

type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) = GhcjsDomSpace

type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) = HydrationDomSpace

type family DomEventType target (eventName :: EventTag)

Instances

type DomEventType (TextInput t) en

Defined in Reflex.Dom.Widget.Input

type DomEventType (TextInput t) en = DomEventType (InputElement EventResult GhcjsDomSpace t) en

type DomEventType (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

type DomEventType (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

type DomEventType (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

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

Instances

type DomFragment (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

type DomFragment (PostBuildT t m) = DomFragment m

type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)

Defined in Reflex.Dom.Builder.Immediate

type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)

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

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

Associated Types

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

type RawDocument (d :: k)

type RawTextNode (d :: k)

type RawCommentNode (d :: k)

type RawElement (d :: k)

type RawInputElement (d :: k)

type RawTextAreaElement (d :: k)

type RawSelectElement (d :: k)

Methods

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

Instances

DomSpace GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type EventSpec GhcjsDomSpace = GhcjsEventSpec

type RawDocument GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawDocument GhcjsDomSpace = Document

type RawTextNode GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextNode GhcjsDomSpace = Text

type RawCommentNode GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawCommentNode GhcjsDomSpace = Comment

type RawElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawElement GhcjsDomSpace = Element

type RawInputElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawInputElement GhcjsDomSpace = HTMLInputElement

type RawTextAreaElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextAreaElement GhcjsDomSpace = HTMLTextAreaElement

type RawSelectElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawSelectElement GhcjsDomSpace = HTMLSelectElement

Methods

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

DomSpace HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type EventSpec HydrationDomSpace = GhcjsEventSpec

type RawDocument HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawDocument HydrationDomSpace = Document

type RawTextNode HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextNode HydrationDomSpace = ()

type RawCommentNode HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawCommentNode HydrationDomSpace = ()

type RawElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawElement HydrationDomSpace = ()

type RawInputElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawInputElement HydrationDomSpace = ()

type RawTextAreaElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextAreaElement HydrationDomSpace = ()

type RawSelectElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawSelectElement HydrationDomSpace = ()

Methods

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

DomSpace StaticDomSpace

Defined in Reflex.Dom.Builder.Static

Associated Types

type EventSpec StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type EventSpec StaticDomSpace = StaticEventSpec

type RawDocument StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawDocument StaticDomSpace = ()

type RawTextNode StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawTextNode StaticDomSpace = ()

type RawCommentNode StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawCommentNode StaticDomSpace = ()

type RawElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawElement StaticDomSpace = ()

type RawInputElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawInputElement StaticDomSpace = ()

type RawTextAreaElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawTextAreaElement StaticDomSpace = ()

type RawSelectElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawSelectElement StaticDomSpace = ()

Methods

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

data Element (er :: EventTag -> Type) (d :: k) (t :: k1)

Constructors

Element

Fields

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

Instances

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

Methods

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

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 :: EventTag -> Type) (t :: k) (s :: k1)

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

Monoid EventFlags

Defined in Reflex.Dom.Builder.Class

Methods

mempty :: EventFlags

mappend :: EventFlags -> EventFlags -> EventFlags

mconcat :: [EventFlags] -> EventFlags

Semigroup EventFlags

Defined in Reflex.Dom.Builder.Class

Methods

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

sconcat :: NonEmpty EventFlags -> EventFlags

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

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

Instances

type EventSpec GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type EventSpec GhcjsDomSpace = GhcjsEventSpec

type EventSpec HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type EventSpec HydrationDomSpace = GhcjsEventSpec

type EventSpec StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type EventSpec StaticDomSpace = StaticEventSpec

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

Minimal complete definition

Nothing

Methods

askDocument :: m (RawDocument (DomBuilderSpace m))

default askDocument :: forall (f :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (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 (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: PostBuildT t m (RawDocument (DomBuilderSpace (PostBuildT t 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 (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 (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT 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)))

(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 HasDomEvent (t :: k) target (eventName :: EventTag) | target -> t where

Associated Types

type DomEventType target (eventName :: EventTag)

Methods

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

Instances

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

Defined in Reflex.Dom.Widget.Input

Associated Types

type DomEventType (TextInput t) en

Defined in Reflex.Dom.Widget.Input

type DomEventType (TextInput t) en = DomEventType (InputElement EventResult GhcjsDomSpace t) en

Methods

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

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (Element EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

Methods

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

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

Methods

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

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

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

Methods

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

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

Defined in Reflex.Dom.Widget.Input

type SetValue (CheckboxConfig t) = Event t Bool

Methods

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

HasSetValue (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (RangeInputConfig t) = Event t Float

Methods

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

HasSetValue (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (TextAreaConfig t) = Event t Text

Methods

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

HasSetValue (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (TextInputConfig t) = Event t Text

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)

Defined in Reflex.Dom.Widget.Input

type SetValue (DropdownConfig t k2) = Event t k2

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)

Defined in Reflex.Dom.Builder.Class

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

Methods

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

class InitialAttributes a where

Methods

initialAttributes :: Lens' a (Map AttributeName Text)

Instances

InitialAttributes (ElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

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

data InputElement (er :: EventTag -> Type) (d :: k) (t :: k1)

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 :: k1) (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (InputElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

Methods

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

HasValue (InputElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (InputElement er d t)

Defined in Reflex.Dom.Widget.Input

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

Methods

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

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 :: EventTag -> Type) (t :: k) (s :: k1)

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

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

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

Methods

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

Instances

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

Defined in Reflex.Dom.Builder.Class

Methods

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

ModifyAttributes (t :: k1) (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 :: k1) (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 :: k1) (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 :: k1) (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

Methods

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

class MonadTransControl t => MonadTransControlStateless (t :: (Type -> Type) -> Type -> Type) where

Minimal complete definition

Nothing

Methods

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

default 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

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

Associated Types

type DomFragment (m :: Type -> Type)

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)

Defined in Reflex.Dom.Builder.Class

type DomFragment (PostBuildT t m) = DomFragment m

Methods

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

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)

Defined in Reflex.Dom.Builder.Immediate

type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)

Methods

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

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

type Namespace = Text

data Propagation

Constructors

Propagation_Continue

Propagation_Stop

Propagation_StopImmediate

Instances

Monoid Propagation

Defined in Reflex.Dom.Builder.Class

Methods

mempty :: Propagation

mappend :: Propagation -> Propagation -> Propagation

mconcat :: [Propagation] -> Propagation

Semigroup Propagation

Defined in Reflex.Dom.Builder.Class

Methods

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

sconcat :: NonEmpty Propagation -> Propagation

stimes :: Integral b => b -> 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

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

type family RawCommentNode (d :: k)

Instances

type RawCommentNode GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawCommentNode GhcjsDomSpace = Comment

type RawCommentNode HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawCommentNode HydrationDomSpace = ()

type RawCommentNode StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawCommentNode StaticDomSpace = ()

type family RawDocument (d :: k)

Instances

type RawDocument GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawDocument GhcjsDomSpace = Document

type RawDocument HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawDocument HydrationDomSpace = Document

type RawDocument StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawDocument StaticDomSpace = ()

type family RawElement (d :: k)

Instances

type RawElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawElement GhcjsDomSpace = Element

type RawElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawElement HydrationDomSpace = ()

type RawElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawElement StaticDomSpace = ()

data RawElementConfig (er :: EventTag -> Type) (t :: k) (s :: k1)

Constructors

RawElementConfig

Fields

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

Instances

ModifyAttributes (t :: k1) (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

type family RawInputElement (d :: k)

Instances

type RawInputElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawInputElement GhcjsDomSpace = HTMLInputElement

type RawInputElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawInputElement HydrationDomSpace = ()

type RawInputElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawInputElement StaticDomSpace = ()

type family RawSelectElement (d :: k)

Instances

type RawSelectElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawSelectElement GhcjsDomSpace = HTMLSelectElement

type RawSelectElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawSelectElement HydrationDomSpace = ()

type RawSelectElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawSelectElement StaticDomSpace = ()

type family RawTextAreaElement (d :: k)

Instances

type RawTextAreaElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextAreaElement GhcjsDomSpace = HTMLTextAreaElement

type RawTextAreaElement HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextAreaElement HydrationDomSpace = ()

type RawTextAreaElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawTextAreaElement StaticDomSpace = ()

type family RawTextNode (d :: k)

Instances

type RawTextNode GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextNode GhcjsDomSpace = Text

type RawTextNode HydrationDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextNode HydrationDomSpace = ()

type RawTextNode StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawTextNode StaticDomSpace = ()

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

data SelectElement (er :: EventTag -> Type) (d :: k) (t :: k1)

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

Constructors

SelectElementConfig

Fields

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

Instances

ModifyAttributes (t :: k1) (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)

type family SetValue a

Instances

type SetValue (CheckboxConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (CheckboxConfig t) = Event t Bool

type SetValue (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (RangeInputConfig t) = Event t Float

type SetValue (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (TextAreaConfig t) = Event t Text

type SetValue (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (TextInputConfig t) = Event t Text

type SetValue (DropdownConfig t k2)

Defined in Reflex.Dom.Widget.Input

type SetValue (DropdownConfig t k2) = Event t k2

type SetValue (TextAreaElementConfig er t m)

Defined in Reflex.Dom.Builder.Class

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

data TextAreaElement (er :: EventTag -> Type) (d :: k) (t :: k1)

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 :: k1) (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

Associated Types

type DomEventType (TextAreaElement EventResult d t) en

Defined in Reflex.Dom.Builder.Class

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

Methods

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

HasValue (TextAreaElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextAreaElement er d t)

Defined in Reflex.Dom.Widget.Input

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

Methods

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

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

Constructors

TextAreaElementConfig

Fields

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

Instances

ModifyAttributes (t :: k1) (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)

Defined in Reflex.Dom.Builder.Class

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

Methods

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

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

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

Constructors

TextNode

Fields

• _textNode_raw :: RawTextNode d

data TextNodeConfig (t :: k)

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

module Reflex.Dom.Builder.Class.Events

module Reflex.NotReady.Class