Reflex.Dom.Widget.Input

Documentation

data TextInput t

Constructors

TextInput

Fields

_textInput_value :: Dynamic t String

_textInput_input :: Event t String

_textInput_keypress :: Event t Int

_textInput_keydown :: Event t Int

_textInput_keyup :: Event t Int

_textInput_hasFocus :: Dynamic t Bool

_textInput_element :: HTMLInputElement

Instances

HasValue (TextInput t)

type Value (TextInput t) = Dynamic t String

data TextInputConfig t

Constructors

TextInputConfig

Fields

_textInputConfig_inputType :: String

_textInputConfig_initialValue :: String

_textInputConfig_setValue :: Event t String

_textInputConfig_attributes :: Dynamic t (Map String String)

Instances

Reflex t => Default (TextInputConfig t)

HasAttributes (TextInputConfig t)

HasSetValue (TextInputConfig t)

type Attrs (TextInputConfig t) = Dynamic t (Map String String)

type SetValue (TextInputConfig t) = Event t String

textInput :: MonadWidget t m => TextInputConfig t -> m (TextInput t)

Create an input whose value is a string. By default, the "type" attribute is set to "text", but it can be changed using the _textInputConfig_inputType field. Note that only types for which the value is always a string will work - types whose value may be null will not work properly with this widget.

textInputGetEnter :: Reflex t => TextInput t -> Event t ()

data TextAreaConfig t

Constructors

TextAreaConfig

Fields

_textAreaConfig_initialValue :: String

_textAreaConfig_setValue :: Event t String

_textAreaConfig_attributes :: Dynamic t (Map String String)

Instances

Reflex t => Default (TextAreaConfig t)

HasAttributes (TextAreaConfig t)

HasSetValue (TextAreaConfig t)

type Attrs (TextAreaConfig t) = Dynamic t (Map String String)

type SetValue (TextAreaConfig t) = Event t String

data TextArea t

Constructors

TextArea

Fields

_textArea_value :: Dynamic t String

_textArea_input :: Event t String

_textArea_element :: HTMLTextAreaElement

_textArea_hasFocus :: Dynamic t Bool

_textArea_keypress :: Event t Int

Instances

HasValue (TextArea t)

type Value (TextArea t) = Dynamic t String

textArea :: MonadWidget t m => TextAreaConfig t -> m (TextArea t)

data CheckboxConfig t

Constructors

CheckboxConfig

Fields

_checkboxConfig_setValue :: Event t Bool

_checkboxConfig_attributes :: Dynamic t (Map String String)

Instances

Reflex t => Default (CheckboxConfig t)

HasAttributes (CheckboxConfig t)

HasSetValue (CheckboxConfig t)

type Attrs (CheckboxConfig t) = Dynamic t (Map String String)

type SetValue (CheckboxConfig t) = Event t Bool

data Checkbox t

Constructors

Checkbox

Fields

_checkbox_value :: Dynamic t Bool

_checkbox_change :: Event t Bool

Instances

HasValue (Checkbox t)

type Value (Checkbox t) = Dynamic t Bool

checkbox :: MonadWidget t m => Bool -> CheckboxConfig t -> m (Checkbox t)

Create an editable checkbox Note: if the "type" or "checked" attributes are provided as attributes, they will be ignored

checkboxView :: MonadWidget t m => Dynamic t (Map String String) -> Dynamic t Bool -> m (Event t Bool)

data FileInput t

Constructors

FileInput

Fields

_fileInput_value :: Dynamic t [File]

_fileInput_element :: HTMLInputElement

Instances

HasValue (FileInput t)

type Value (FileInput t) = Dynamic t [File]

data FileInputConfig t

Constructors

FileInputConfig

Fields

_fileInputConfig_attributes :: Dynamic t (Map String String)

Instances

Reflex t => Default (FileInputConfig t)

fileInput :: MonadWidget t m => FileInputConfig t -> m (FileInput t)

data Dropdown t k

Constructors

Dropdown

Fields

_dropdown_value :: Dynamic t k

_dropdown_change :: Event t k

Instances

HasValue (Dropdown t k)

type Value (Dropdown t k) = Dynamic t k

data DropdownConfig t k

Constructors

DropdownConfig

Fields

_dropdownConfig_setValue :: Event t k

_dropdownConfig_attributes :: Dynamic t (Map String String)

Instances

(Reflex t, Ord k, Show k, Read k) => Default (DropdownConfig t k)

HasAttributes (DropdownConfig t k)

HasSetValue (DropdownConfig t k)

type Attrs (DropdownConfig t k) = Dynamic t (Map String String)

type SetValue (DropdownConfig t k) = Event t k

dropdown :: forall k t m. (MonadWidget t m, Ord k, Show k, Read k) => k -> Dynamic t (Map k String) -> DropdownConfig t k -> m (Dropdown t k)

Create a dropdown box The first argument gives the initial value of the dropdown; if it is not present in the map of options provided, it will be added with an empty string as its text

checkbox_value :: forall t. Lens' (Checkbox t) (Dynamic t Bool)

checkbox_change :: forall t. Lens' (Checkbox t) (Event t Bool)

checkboxConfig_setValue :: forall t. Lens' (CheckboxConfig t) (Event t Bool)

checkboxConfig_attributes :: forall t. Lens' (CheckboxConfig t) (Dynamic t (Map String String))

dropdown_value :: forall t k. Lens' (Dropdown t k) (Dynamic t k)

dropdown_change :: forall t k. Lens' (Dropdown t k) (Event t k)

dropdownConfig_setValue :: forall t k k. Lens (DropdownConfig t k) (DropdownConfig t k) (Event t k) (Event t k)

dropdownConfig_attributes :: forall t k. Lens' (DropdownConfig t k) (Dynamic t (Map String String))

textInput_value :: forall t. Lens' (TextInput t) (Dynamic t String)

textInput_keyup :: forall t. Lens' (TextInput t) (Event t Int)

textInput_keypress :: forall t. Lens' (TextInput t) (Event t Int)

textInput_keydown :: forall t. Lens' (TextInput t) (Event t Int)

textInput_input :: forall t. Lens' (TextInput t) (Event t String)

textInput_hasFocus :: forall t. Lens' (TextInput t) (Dynamic t Bool)

textInput_element :: forall t. Lens' (TextInput t) HTMLInputElement

textInputConfig_setValue :: forall t. Lens' (TextInputConfig t) (Event t String)

textInputConfig_inputType :: forall t. Lens' (TextInputConfig t) String

textInputConfig_initialValue :: forall t. Lens' (TextInputConfig t) String

textInputConfig_attributes :: forall t. Lens' (TextInputConfig t) (Dynamic t (Map String String))

textArea_value :: forall t. Lens' (TextArea t) (Dynamic t String)

textArea_keypress :: forall t. Lens' (TextArea t) (Event t Int)

textArea_input :: forall t. Lens' (TextArea t) (Event t String)

textArea_hasFocus :: forall t. Lens' (TextArea t) (Dynamic t Bool)

textArea_element :: forall t. Lens' (TextArea t) HTMLTextAreaElement

textAreaConfig_setValue :: forall t. Lens' (TextAreaConfig t) (Event t String)

textAreaConfig_initialValue :: forall t. Lens' (TextAreaConfig t) String

textAreaConfig_attributes :: forall t. Lens' (TextAreaConfig t) (Dynamic t (Map String String))

class HasSetValue a where

Associated Types

type SetValue a :: *

Methods

setValue :: Lens' a (SetValue a)

Instances

HasSetValue (CheckboxConfig t)

HasSetValue (TextAreaConfig t)

HasSetValue (TextInputConfig t)

HasSetValue (DropdownConfig t k)

class HasValue a where

Associated Types

type Value a :: *

Methods

value :: a -> Value a

Instances

HasValue (FileInput t)

HasValue (Checkbox t)

HasValue (TextArea t)

HasValue (TextInput t)

HasValue (Dropdown t k)

def :: Default a => a

The default value for this type.

(&) :: a -> (a -> b) -> b infixl 1

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

Since: 4.8.0.0

(.~) :: ASetter s t a b -> b -> s -> t infixr 4

Replace the target of a Lens or all of the targets of a Setter or Traversal with a constant value.

This is an infix version of set, provided for consistency with (.=).

f <$ a ≡ mapped .~ f $ a

>>> (a,b,c,d) & _4 .~ e
(a,b,c,e)

>>> (42,"world") & _1 .~ "hello"
("hello","world")

>>> (a,b) & both .~ c
(c,c)

(.~) :: Setter s t a b    -> b -> s -> t
(.~) :: Iso s t a b       -> b -> s -> t
(.~) :: Lens s t a b      -> b -> s -> t
(.~) :: Traversal s t a b -> b -> s -> t