Reflex.Dom.Widget.Input

Documentation

newtype DropdownViewEventResult en

Constructors

DropdownViewEventResult

Fields

• unDropdownViewEventResult :: DropdownViewEventResultType en

type family DropdownViewEventResultType (en :: EventTag) :: * where ...

Equations

DropdownViewEventResultType ChangeTag = Text

DropdownViewEventResultType t = EventResultType t

data DropdownConfig t k

Constructors

DropdownConfig

Fields

• _dropdownConfig_setValue :: Event t k
• _dropdownConfig_attributes :: Dynamic t (Map Text Text)

Instances

Reflex t => Default (DropdownConfig t k2)

Defined in Reflex.Dom.Widget.Input

Methods

def :: DropdownConfig t k2

HasAttributes (DropdownConfig t k2)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Attrs (DropdownConfig t k2) :: *

Methods

attributes :: Lens' (DropdownConfig t k2) (Attrs (DropdownConfig t k2))

HasSetValue (DropdownConfig t k2)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (DropdownConfig t k2) :: *

Methods

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

type Attrs (DropdownConfig t k2)

Defined in Reflex.Dom.Widget.Input

type Attrs (DropdownConfig t k2) = Dynamic t (Map Text Text)

type SetValue (DropdownConfig t k2)

Defined in Reflex.Dom.Widget.Input

type SetValue (DropdownConfig t k2) = Event t k2

data Dropdown t k

Constructors

Dropdown

Fields

• _dropdown_value :: Dynamic t k
• _dropdown_change :: Event t k

Instances

HasValue (Dropdown t k2)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (Dropdown t k2) :: *

Methods

value :: Dropdown t k2 -> Value (Dropdown t k2)

type Value (Dropdown t k2)

Defined in Reflex.Dom.Widget.Input

type Value (Dropdown t k2) = Dynamic t k2

newtype FileInputConfig t

Constructors

FileInputConfig

Fields

• _fileInputConfig_attributes :: Dynamic t (Map Text Text)

Instances

Reflex t => Default (FileInputConfig t)

Defined in Reflex.Dom.Widget.Input

Methods

def :: FileInputConfig t

HasAttributes (FileInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Attrs (FileInputConfig t) :: *

Methods

attributes :: Lens' (FileInputConfig t) (Attrs (FileInputConfig t))

type Attrs (FileInputConfig t)

Defined in Reflex.Dom.Widget.Input

type Attrs (FileInputConfig t) = Dynamic t (Map Text Text)

data FileInput d t

Constructors

FileInput

Fields

• _fileInput_value :: Dynamic t [File]
• _fileInput_element :: RawInputElement d

Instances

HasValue (FileInput d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (FileInput d t) :: *

Methods

value :: FileInput d t -> Value (FileInput d t)

type Value (FileInput d t)

Defined in Reflex.Dom.Widget.Input

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

newtype CheckboxViewEventResult en

Constructors

CheckboxViewEventResult

Fields

• unCheckboxViewEventResult :: CheckboxViewEventResultType en

type family CheckboxViewEventResultType (en :: EventTag) :: * where ...

Equations

CheckboxViewEventResultType ClickTag = Bool

CheckboxViewEventResultType t = EventResultType t

data Checkbox t

Constructors

Checkbox

Fields

• _checkbox_value :: Dynamic t Bool
• _checkbox_change :: Event t Bool

Instances

HasValue (Checkbox t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (Checkbox t) :: *

Methods

value :: Checkbox t -> Value (Checkbox t)

type Value (Checkbox t)

Defined in Reflex.Dom.Widget.Input

type Value (Checkbox t) = Dynamic t Bool

data CheckboxConfig t

Constructors

CheckboxConfig

Fields

• _checkboxConfig_setValue :: Event t Bool
• _checkboxConfig_attributes :: Dynamic t (Map Text Text)

Instances

Reflex t => Default (CheckboxConfig t)

Defined in Reflex.Dom.Widget.Input

Methods

def :: CheckboxConfig t

HasAttributes (CheckboxConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Attrs (CheckboxConfig t) :: *

Methods

attributes :: Lens' (CheckboxConfig t) (Attrs (CheckboxConfig t))

HasSetValue (CheckboxConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (CheckboxConfig t) :: *

Methods

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

type Attrs (CheckboxConfig t)

Defined in Reflex.Dom.Widget.Input

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

type SetValue (CheckboxConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (CheckboxConfig t) = Event t Bool

data TextArea t

Constructors

TextArea

Fields

• _textArea_value :: Dynamic t Text
• _textArea_input :: Event t Text
• _textArea_hasFocus :: Dynamic t Bool
• _textArea_keypress :: Event t Word
• _textArea_element :: HTMLTextAreaElement

Instances

HasValue (TextArea t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextArea t) :: *

Methods

value :: TextArea t -> Value (TextArea t)

type Value (TextArea t)

Defined in Reflex.Dom.Widget.Input

type Value (TextArea t) = Dynamic t Text

data TextAreaConfig t

Constructors

TextAreaConfig

Fields

• _textAreaConfig_initialValue :: Text
• _textAreaConfig_setValue :: Event t Text
• _textAreaConfig_attributes :: Dynamic t (Map Text Text)

Instances

Reflex t => Default (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

Methods

def :: TextAreaConfig t

HasAttributes (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Attrs (TextAreaConfig t) :: *

Methods

attributes :: Lens' (TextAreaConfig t) (Attrs (TextAreaConfig t))

HasSetValue (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextAreaConfig t) :: *

Methods

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

type Attrs (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

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

type SetValue (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (TextAreaConfig t) = Event t Text

data RangeInput t

Constructors

RangeInput

Fields

• _rangeInput_value :: Dynamic t Float
• _rangeInput_input :: Event t Float
• _rangeInput_mouseup :: Event t (Int, Int)
• _rangeInput_hasFocus :: Dynamic t Bool
• _rangeInput_element :: HTMLInputElement

Instances

HasValue (RangeInput t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (RangeInput t) :: *

Methods

value :: RangeInput t -> Value (RangeInput t)

type Value (RangeInput t)

Defined in Reflex.Dom.Widget.Input

type Value (RangeInput t) = Dynamic t Float

data RangeInputConfig t

Constructors

RangeInputConfig

Fields

• _rangeInputConfig_initialValue :: Float
• _rangeInputConfig_setValue :: Event t Float
• _rangeInputConfig_attributes :: Dynamic t (Map Text Text)

Instances

Reflex t => Default (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

Methods

def :: RangeInputConfig t

HasAttributes (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Attrs (RangeInputConfig t) :: *

Methods

attributes :: Lens' (RangeInputConfig t) (Attrs (RangeInputConfig t))

HasSetValue (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (RangeInputConfig t) :: *

Methods

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

type Attrs (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

type Attrs (RangeInputConfig t) = Dynamic t (Map Text Text)

type SetValue (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (RangeInputConfig t) = Event t Float

data TextInputConfig t

Constructors

TextInputConfig

Fields

• _textInputConfig_inputType :: Text
• _textInputConfig_initialValue :: Text
• _textInputConfig_setValue :: Event t Text
• _textInputConfig_attributes :: Dynamic t (Map Text Text)

Instances

Reflex t => Default (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

Methods

def :: TextInputConfig t

HasAttributes (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Attrs (TextInputConfig t) :: *

Methods

attributes :: Lens' (TextInputConfig t) (Attrs (TextInputConfig t))

HasSetValue (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextInputConfig t) :: *

Methods

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

type Attrs (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

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

type SetValue (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

type SetValue (TextInputConfig t) = Event t Text

data TextInput t

Constructors

TextInput

Fields

• _textInput_value :: Dynamic t Text
• _textInput_input :: Event t Text
• _textInput_keypress :: Event t Word
• _textInput_keydown :: Event t Word
• _textInput_keyup :: Event t Word
• _textInput_hasFocus :: Dynamic t Bool
• _textInput_builderElement :: InputElement EventResult GhcjsDomSpace t

Instances

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

Defined in Reflex.Dom.Widget.Input

Associated Types

type DomEventType (TextInput t) en :: *

Methods

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

HasValue (TextInput t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextInput t) :: *

Methods

value :: TextInput t -> Value (TextInput t)

type Value (TextInput t)

Defined in Reflex.Dom.Widget.Input

type Value (TextInput t) = Dynamic t Text

type DomEventType (TextInput t) en

Defined in Reflex.Dom.Widget.Input

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

_textInput_element :: TextInput t -> HTMLInputElement

textInput :: (DomBuilder t m, PostBuild t m, DomBuilderSpace m ~ GhcjsDomSpace) => 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 ()

Deprecated: Use 'keypress Enter' instead

keypress :: (Reflex t, HasDomEvent t e KeypressTag, DomEventType e KeypressTag ~ Word) => Key -> e -> Event t ()

keydown :: (Reflex t, HasDomEvent t e KeydownTag, DomEventType e KeydownTag ~ Word) => Key -> e -> Event t ()

keyup :: (Reflex t, HasDomEvent t e KeyupTag, DomEventType e KeyupTag ~ Word) => Key -> e -> Event t ()

rangeInput :: (DomBuilder t m, PostBuild t m, DomBuilderSpace m ~ GhcjsDomSpace) => RangeInputConfig t -> m (RangeInput t)

Create an input whose value is a float. https://www.w3.org/wiki/HTML/Elements/input/range

textArea :: (DomBuilder t m, PostBuild t m, DomBuilderSpace m ~ GhcjsDomSpace) => TextAreaConfig t -> m (TextArea t)

checkbox :: (DomBuilder t m, PostBuild 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

regularToCheckboxViewEventType :: EventName t -> EventResultType t -> CheckboxViewEventResultType t

checkboxView :: forall t m. (DomBuilder t m, DomBuilderSpace m ~ GhcjsDomSpace, PostBuild t m, MonadHold t m) => Dynamic t (Map Text Text) -> Dynamic t Bool -> m (Event t Bool)

fileInput :: forall t m. (MonadIO m, MonadJSM m, MonadFix m, MonadHold t m, TriggerEvent t m, DomBuilder t m, PostBuild t m, DomBuilderSpace m ~ GhcjsDomSpace) => FileInputConfig t -> m (FileInput (DomBuilderSpace m) t)

regularToDropdownViewEventType :: EventName t -> EventResultType t -> DropdownViewEventResultType t

dropdown :: forall k t m. (DomBuilder t m, MonadFix m, MonadHold t m, PostBuild t m, Ord k) => k -> Dynamic t (Map k Text) -> 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

class HasValue a where

Minimal complete definition

value

Associated Types

type Value a :: *

Methods

value :: a -> Value a

Instances

HasValue (Checkbox t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (Checkbox t) :: *

Methods

value :: Checkbox t -> Value (Checkbox t)

HasValue (TextArea t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextArea t) :: *

Methods

value :: TextArea t -> Value (TextArea t)

HasValue (RangeInput t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (RangeInput t) :: *

Methods

value :: RangeInput t -> Value (RangeInput t)

HasValue (TextInput t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextInput t) :: *

Methods

value :: TextInput t -> Value (TextInput t)

HasValue (Dropdown t k2)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (Dropdown t k2) :: *

Methods

value :: Dropdown t k2 -> Value (Dropdown t k2)

HasValue (FileInput d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (FileInput d t) :: *

Methods

value :: FileInput d t -> Value (FileInput d t)

HasValue (TextAreaElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (TextAreaElement er d t) :: *

Methods

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

HasValue (InputElement er d t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type Value (InputElement er d t) :: *

Methods

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

class HasSetValue a where

Minimal complete definition

setValue

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

Methods

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

HasSetValue (TextAreaConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextAreaConfig t) :: *

Methods

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

HasSetValue (RangeInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (RangeInputConfig t) :: *

Methods

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

HasSetValue (TextInputConfig t)

Defined in Reflex.Dom.Widget.Input

Associated Types

type SetValue (TextInputConfig t) :: *

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

textInput_builderElement :: forall t. Lens' (TextInput t) (InputElement EventResult GhcjsDomSpace t)

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

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

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

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

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

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

rangeInputConfig_attributes :: forall t. Lens' (RangeInputConfig t) (Dynamic t (Map Text Text))

rangeInputConfig_initialValue :: forall t. Lens' (RangeInputConfig t) Float

rangeInputConfig_setValue :: forall t. Lens' (RangeInputConfig t) (Event t Float)

rangeInput_element :: forall t. Lens' (RangeInput t) HTMLInputElement

rangeInput_hasFocus :: forall t. Lens' (RangeInput t) (Dynamic t Bool)

rangeInput_input :: forall t. Lens' (RangeInput t) (Event t Float)

rangeInput_mouseup :: forall t. Lens' (RangeInput t) (Event t (Int, Int))

rangeInput_value :: forall t. Lens' (RangeInput t) (Dynamic t Float)

fileInputConfig_attributes :: forall t t. Iso (FileInputConfig t) (FileInputConfig t) (Dynamic t (Map Text Text)) (Dynamic t (Map Text Text))

fileInput_element :: forall d t d. Lens (FileInput d t) (FileInput d t) (RawInputElement d) (RawInputElement d)

fileInput_value :: forall d t t. Lens (FileInput d t) (FileInput d t) (Dynamic t [File]) (Dynamic t [File])

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

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

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

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

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

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

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

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

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 $.

>>> 5 & (+1) & show
"6"

Since: base-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