Safe Haskell	None
Language	Haskell98

Reflex.Dom.Widget.Basic

Contents

Displaying Values
Creating DOM Elements
- With Element Results
Specific DOM Elements
Tables and Lists

Synopsis

text :: DomBuilder t m => Text -> m ()
dynText :: forall t m. (PostBuild t m, DomBuilder t m) => Dynamic t Text -> m ()
comment :: DomBuilder t m => Text -> m ()
dynComment :: forall t m. (PostBuild t m, DomBuilder t m) => Dynamic t Text -> m ()
display :: (PostBuild t m, DomBuilder t m, Show a) => Dynamic t a -> m ()
button :: DomBuilder t m => Text -> m (Event t ())
dyn :: (Adjustable t m, NotReady t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a)
dyn_ :: (Adjustable t m, NotReady t m, PostBuild t m) => Dynamic t (m a) -> m ()
widgetHold :: (Adjustable t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a)
widgetHold_ :: (Adjustable t m, MonadHold t m) => m a -> Event t (m a) -> m ()
el :: forall t m a. DomBuilder t m => Text -> m a -> m a
elAttr :: forall t m a. DomBuilder t m => Text -> Map Text Text -> m a -> m a
elClass :: forall t m a. DomBuilder t m => Text -> Text -> m a -> m a
elDynAttr :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t (Map Text Text) -> m a -> m a
elDynClass :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t Text -> m a -> m a
elDynAttrNS :: forall t m a. (DomBuilder t m, PostBuild t m) => Maybe Text -> Text -> Dynamic t (Map Text Text) -> m a -> m a
el' :: forall t m a. DomBuilder t m => Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a)
elAttr' :: forall t m a. DomBuilder t m => Text -> Map Text Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a)
elClass' :: forall t m a. DomBuilder t m => Text -> Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a)
elDynAttr' :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t (Map Text Text) -> m a -> m (Element EventResult (DomBuilderSpace m) t, a)
elDynClass' :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a)
elDynAttrNS' :: forall t m a. (DomBuilder t m, PostBuild t m) => Maybe Text -> Text -> Dynamic t (Map Text Text) -> m a -> m (Element EventResult (DomBuilderSpace m) t, a)
dynamicAttributesToModifyAttributes :: (Ord k, PostBuild t m) => Dynamic t (Map k Text) -> m (Event t (Map k (Maybe Text)))
dynamicAttributesToModifyAttributesWithInitial :: (Ord k, PostBuild t m) => Map k Text -> Dynamic t (Map k Text) -> m (Event t (Map k (Maybe Text)))
newtype Link t = Link {
- _link_clicked :: Event t ()
}
linkClass :: DomBuilder t m => Text -> Text -> m (Link t)
link :: DomBuilder t m => Text -> m (Link t)
divClass :: forall t m a. DomBuilder t m => Text -> m a -> m a
dtdd :: forall t m a. DomBuilder t m => Text -> m a -> m a
blank :: forall m. Monad m => m ()
tableDynAttr :: forall t m r k v. (Ord k, DomBuilder t m, MonadHold t m, PostBuild t m, MonadFix m) => Text -> [(Text, k -> Dynamic t r -> m v)] -> Dynamic t (Map k r) -> (k -> m (Dynamic t (Map Text Text))) -> m (Dynamic t (Map k (Element EventResult (DomBuilderSpace m) t, [v])))
tabDisplay :: forall t m k. (MonadFix m, DomBuilder t m, MonadHold t m, PostBuild t m, Ord k) => Text -> Text -> Map k (Text, m ()) -> m ()
class HasAttributes a where
- type Attrs a :: *
- attributes :: Lens' a (Attrs a)
module Data.Map.Misc
module Reflex.Collection
module Reflex.Workflow
partitionMapBySetLT :: forall k v. Ord k => Set k -> Map k v -> Map (Either k ()) (Map k v)

Displaying Values

text :: DomBuilder t m => Text -> m () Source #

dynText :: forall t m. (PostBuild t m, DomBuilder t m) => Dynamic t Text -> m () Source #

comment :: DomBuilder t m => Text -> m () Source #

dynComment :: forall t m. (PostBuild t m, DomBuilder t m) => Dynamic t Text -> m () Source #

display :: (PostBuild t m, DomBuilder t m, Show a) => Dynamic t a -> m () Source #

button :: DomBuilder t m => Text -> m (Event t ()) Source #

dyn :: (Adjustable t m, NotReady t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a) Source #

Given a Dynamic of widget-creating actions, create a widget that is recreated whenever the Dynamic updates. The returned Event of widget results occurs when the Dynamic does. Note: Often, the type a is an Event, in which case the return value is an Event-of-Events that would typically be flattened (via switchHold).

dyn_ :: (Adjustable t m, NotReady t m, PostBuild t m) => Dynamic t (m a) -> m () Source #

Like dyn but discards result.

widgetHold :: (Adjustable t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a) Source #

Given an initial widget and an Event of widget-creating actions, create a widget that is recreated whenever the Event fires. The returned Dynamic of widget results occurs when the Event does. Note: Often, the type a is an Event, in which case the return value is a Dynamic-of-Events that would typically be flattened (via switchDyn).

widgetHold_ :: (Adjustable t m, MonadHold t m) => m a -> Event t (m a) -> m () Source #

Like widgetHold but discards result.

Creating DOM Elements

el :: forall t m a. DomBuilder t m => Text -> m a -> m a Source #

Create a DOM element

>>> el "div" (text "Hello World")
<div>Hello World</div>

elAttr :: forall t m a. DomBuilder t m => Text -> Map Text Text -> m a -> m a Source #

Create a DOM element with attributes

>>> elAttr "a" ("href" =: "https://reflex-frp.org") (text "Reflex-FRP!")
<a href="https://reflex-frp.org">Reflex-FRP!</a>

elClass :: forall t m a. DomBuilder t m => Text -> Text -> m a -> m a Source #

Create a DOM element with classes

>>> elClass "div" "row" (return ())
<div class="row"></div>

elDynAttr :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t (Map Text Text) -> m a -> m a Source #

Create a DOM element with Dynamic Attributes

>>> elClass "div" (constDyn ("class" =: "row")) (return ())
<div class="row"></div>

elDynClass :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t Text -> m a -> m a Source #

Create a DOM element with a Dynamic Class

>>> elDynClass "div" (constDyn "row") (return ())
<div class="row"></div>

elDynAttrNS :: forall t m a. (DomBuilder t m, PostBuild t m) => Maybe Text -> Text -> Dynamic t (Map Text Text) -> m a -> m a Source #

With Element Results

el' :: forall t m a. DomBuilder t m => Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a) Source #

Create a DOM element and return the element

 do (e, _) <- el' "div" (text Click)
    return $ domEvent Click e

elAttr' :: forall t m a. DomBuilder t m => Text -> Map Text Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a) Source #

Create a DOM element with attributes and return the element

elClass' :: forall t m a. DomBuilder t m => Text -> Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a) Source #

Create a DOM element with a class and return the element

elDynAttr' :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t (Map Text Text) -> m a -> m (Element EventResult (DomBuilderSpace m) t, a) Source #

Create a DOM element with Dynamic Attributes and return the element

elDynClass' :: forall t m a. (DomBuilder t m, PostBuild t m) => Text -> Dynamic t Text -> m a -> m (Element EventResult (DomBuilderSpace m) t, a) Source #

Create a DOM element with a Dynamic class and return the element

elDynAttrNS' :: forall t m a. (DomBuilder t m, PostBuild t m) => Maybe Text -> Text -> Dynamic t (Map Text Text) -> m a -> m (Element EventResult (DomBuilderSpace m) t, a) Source #

dynamicAttributesToModifyAttributes :: (Ord k, PostBuild t m) => Dynamic t (Map k Text) -> m (Event t (Map k (Maybe Text))) Source #

dynamicAttributesToModifyAttributesWithInitial :: (Ord k, PostBuild t m) => Map k Text -> Dynamic t (Map k Text) -> m (Event t (Map k (Maybe Text))) Source #

Specific DOM Elements

newtype Link t Source #

Constructors

Link
Fields _link_clicked :: Event t ()

linkClass :: DomBuilder t m => Text -> Text -> m (Link t) Source #

>>> linkClass "Click here" "link-class"
> <a class="link-class">Click here</a>

link :: DomBuilder t m => Text -> m (Link t) Source #

divClass :: forall t m a. DomBuilder t m => Text -> m a -> m a Source #

dtdd :: forall t m a. DomBuilder t m => Text -> m a -> m a Source #

blank :: forall m. Monad m => m () Source #

Tables and Lists

tableDynAttr Source #

Arguments

:: (Ord k, DomBuilder t m, MonadHold t m, PostBuild t m, MonadFix m)
=> Text	Class applied to table element
-> [(Text, k -> Dynamic t r -> m v)]	Columns of (header, row key -> row value -> child widget)
-> Dynamic t (Map k r)	Map from row key to row value
-> (k -> m (Dynamic t (Map Text Text)))	Function to compute tr element attributes from row key
-> m (Dynamic t (Map k (Element EventResult (DomBuilderSpace m) t, [v])))	Map from row key to (El, list of widget return values)

A widget to display a table with static columns and dynamic rows.

tabDisplay Source #

Arguments

:: (MonadFix m, DomBuilder t m, MonadHold t m, PostBuild t m, Ord k)
=> Text	Class applied to ul element
-> Text	Class applied to currently active li element
-> Map k (Text, m ())	Map from (arbitrary) key to (tab label, child widget)
-> m ()

A widget to construct a tabbed view that shows only one of its child widgets at a time. Creates a header bar containing a ul with one li per child; clicking a li displays the corresponding child and hides all others.

class HasAttributes a where Source #

Associated Types

type Attrs a :: * Source #

Methods

attributes :: Lens' a (Attrs a) Source #

Instances

HasAttributes (ElConfig attrs) Source #
Instance details Defined in Reflex.Dom.Old Associated Types type Attrs (ElConfig attrs) :: Type Source # Methods attributes :: Lens' (ElConfig attrs) (Attrs (ElConfig attrs)) Source #
HasAttributes (FileInputConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Attrs (FileInputConfig t) :: Type Source # Methods attributes :: Lens' (FileInputConfig t) (Attrs (FileInputConfig t)) Source #
HasAttributes (CheckboxConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Attrs (CheckboxConfig t) :: Type Source # Methods attributes :: Lens' (CheckboxConfig t) (Attrs (CheckboxConfig t)) Source #
HasAttributes (TextAreaConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Attrs (TextAreaConfig t) :: Type Source # Methods attributes :: Lens' (TextAreaConfig t) (Attrs (TextAreaConfig t)) Source #
HasAttributes (RangeInputConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Attrs (RangeInputConfig t) :: Type Source # Methods attributes :: Lens' (RangeInputConfig t) (Attrs (RangeInputConfig t)) Source #
HasAttributes (TextInputConfig t) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Attrs (TextInputConfig t) :: Type Source # Methods attributes :: Lens' (TextInputConfig t) (Attrs (TextInputConfig t)) Source #
HasAttributes (DropdownConfig t k2) Source #
Instance details Defined in Reflex.Dom.Widget.Input Associated Types type Attrs (DropdownConfig t k2) :: Type Source # Methods attributes :: Lens' (DropdownConfig t k2) (Attrs (DropdownConfig t k2)) Source #

module Data.Map.Misc

module Reflex.Collection

module Reflex.Workflow

partitionMapBySetLT :: forall k v. Ord k => Set k -> Map k v -> Map (Either k ()) (Map k v) Source #

Deprecated: This will be removed in future releases.

Breaks the given Map into pieces based on the given Set. Each piece will contain only keys that are less than the key of the piece, and greater than or equal to the key of the piece with the next-smaller key. There will be one additional piece containing all keys from the original Map that are larger or equal to the largest key in the Set. Either k () is used instead of Maybe k so that the resulting map of pieces is sorted so that the additional piece has the largest key. No empty pieces will be included in the output.