@@ -84,11 +84,6 @@ class (Monad m, Reflex t, DomSpace (DomBuilderSpace m), MonadAdjust t m) => DomB
84 => Text -> ElementConfig er t m -> m a -> m (Element er (DomBuilderSpace m) t, a)
84 => Text -> ElementConfig er t m -> m a -> m (Element er (DomBuilderSpace m) t, a)
85 element t cfg child = liftWith $ \run -> element t (liftElementConfig cfg) $ run child
85 element t cfg child = liftWith $ \run -> element t (liftElementConfig cfg) $ run child
86 {-# INLINABLE element #-}
86 {-# INLINABLE element #-}
88− -- | Create a placeholder in the DOM, with the ability to insert new DOM before it
89− -- The provided DOM will be executed after the current frame, so it will not be affected by any occurrences that are concurrent with the occurrence that created it
90− placeholder :: PlaceholderConfig above t m -> m (Placeholder above t)
92 inputElement :: InputElementConfig er t m -> m (InputElement er (DomBuilderSpace m) t)
87 inputElement :: InputElementConfig er t m -> m (InputElement er (DomBuilderSpace m) t)
93 default inputElement :: ( MonadTransControl f
88 default inputElement :: ( MonadTransControl f
94 , m ~ f m'
89 , m ~ f m'
@@ -222,23 +217,6 @@ data Element er d t
222 , _element_raw :: RawElement d
217 , _element_raw :: RawElement d
225−data PlaceholderConfig above t m
226− = PlaceholderConfig { _placeholderConfig_insertAbove :: Event t (m above)
227− , _placeholderConfig_deleteSelf :: Event t ()
230−instance Reflex t => Default (PlaceholderConfig above t m) where
231− {-# INLINABLE def #-}
232− def = PlaceholderConfig
233− { _placeholderConfig_insertAbove = never
234− , _placeholderConfig_deleteSelf = never
237−data Placeholder above t
238− = Placeholder { _placeholder_insertedAbove :: Event t above
239− , _placeholder_deletedSelf :: Event t ()
242data InputElementConfig er t m
220data InputElementConfig er t m
243 = InputElementConfig { _inputElementConfig_initialValue :: Text
221 = InputElementConfig { _inputElementConfig_initialValue :: Text
244 , _inputElementConfig_setValue :: Maybe (Event t Text)
222 , _inputElementConfig_setValue :: Maybe (Event t Text)
@@ -372,24 +350,10 @@ elementConfig_modifyAttributes =
372 in lens getter setter
350 in lens getter setter
374concat <$> mapM makeLenses
352concat <$> mapM makeLenses
375− [ ''PlaceholderConfig
376− , ''TextAreaElementConfig
353+ [ ''TextAreaElementConfig
377 , ''SelectElementConfig
354 , ''SelectElementConfig
380−class CanDeleteSelf t a | a -> t where
381− deleteSelf :: Lens' a (Event t ())
383−instance CanDeleteSelf t (PlaceholderConfig above t m) where
384− {-# INLINABLE deleteSelf #-}
385− deleteSelf = placeholderConfig_deleteSelf
387−class InsertAbove t m above above' a a' | a -> t m above, a' -> t m above', a above' -> a', a' above -> a where
388− insertAbove :: Lens a a' (Event t (m above)) (Event t (m above'))
390−instance InsertAbove t m above above' (PlaceholderConfig above t m) (PlaceholderConfig above' t m) where
391− insertAbove = placeholderConfig_insertAbove
393class InitialAttributes a where
357class InitialAttributes a where
394 initialAttributes :: Lens' a (Map AttributeName Text)
358 initialAttributes :: Lens' a (Map AttributeName Text)
@@ -531,12 +495,6 @@ instance Functor1 (ElementConfig er t) where
531 { _elementConfig_eventSpec = _elementConfig_eventSpec cfg
495 { _elementConfig_eventSpec = _elementConfig_eventSpec cfg
534−instance Reflex t => Functor1 (PlaceholderConfig above t) where
535− {-# INLINABLE fmap1 #-}
537− { _placeholderConfig_insertAbove = f <$> _placeholderConfig_insertAbove cfg
540instance Functor1 (InputElementConfig er t) where
498instance Functor1 (InputElementConfig er t) where
541 type Functor1Constraint (InputElementConfig er t) a b = Functor1Constraint (ElementConfig er t) a b
499 type Functor1Constraint (InputElementConfig er t) a b = Functor1Constraint (ElementConfig er t) a b
542 fmap1 f cfg = cfg & inputElementConfig_elementConfig %~ fmap1 f
500 fmap1 f cfg = cfg & inputElementConfig_elementConfig %~ fmap1 f
@@ -610,11 +568,6 @@ liftTextNode = lift . textNode
610liftElement :: LiftDomBuilder t f m => Text -> ElementConfig er t (f m) -> f m a -> f m (Element er (DomBuilderSpace m) t, a)
568liftElement :: LiftDomBuilder t f m => Text -> ElementConfig er t (f m) -> f m a -> f m (Element er (DomBuilderSpace m) t, a)
611liftElement elementTag cfg child = liftWithStateless $ \run -> element elementTag (fmap1 run cfg) $ run child
569liftElement elementTag cfg child = liftWithStateless $ \run -> element elementTag (fmap1 run cfg) $ run child
614−liftPlaceholder :: LiftDomBuilder t f m => PlaceholderConfig above t (f m) -> f m (Placeholder above t)
615−liftPlaceholder cfg = liftWithStateless $ \run -> placeholder $ fmap1 run cfg
618liftInputElement :: LiftDomBuilder t f m => InputElementConfig er t (f m) -> f m (InputElement er (DomBuilderSpace m) t)
571liftInputElement :: LiftDomBuilder t f m => InputElementConfig er t (f m) -> f m (InputElement er (DomBuilderSpace m) t)
619liftInputElement cfg = liftWithStateless $ \run -> inputElement $ fmap1 run cfg
572liftInputElement cfg = liftWithStateless $ \run -> inputElement $ fmap1 run cfg