Web.MVC.Controller.Validation

Definitions

validateState : Cast i DomID => ValEnv i => (s -> Either String t) -> i -> s -> Cmd e

  Sets the associated validation text of a validated widget based on
  its current state.

Totality: total
Visibility: export

valTextInput : Cast i DomID => ValEnv i => (String -> Either String t) -> i -> Controller String String

  Sets the validation message of an `<input>` element based on its
  current value.

Totality: total
Visibility: export

validated : Cast i DomID => ValEnv i => Editor i s e n -> Editor i s e n

  Converts an editor representing an interactive widget to one
  with an associated DOM element for displaying validation text
  messages.

Totality: total
Visibility: export

checkVal : Cast i DomID => ValEnv i => (String -> Either String t) -> String -> Either String t

Totality: total
Visibility: export

input : Cast i DomID => ValEnv i => Class -> InputType -> (String -> Either String new) -> (Maybe new -> String) -> Editor i String String new

  An editor for editing values as strings via `<input>` elements.
  
  @cls : CSS class for the input text field we use.
  
  @tpe : Type of the input field
  
  @rd  : Reading function for converting strings to values of the
         desired type
  
  @disp : Function for displaying client-side values.
  
  @ini  : Initial (client-side) value

Totality: total
Visibility: export