← all modules

Std.Html.Attributes

Std.Html.Attributes
  Std.Html.Attributes — the typed attribute surface for Std.Html (Layer 3 Sky source).

Types
  type Attribute msg = Attr String String | BoolAttr String Bool | EventAttr (Event msg) | NoAttr
  type Event msg = OnMsg String msg | OnString String (String -> msg) | OnBool String (Bool -> msg) | OnRaw String any

Values
  accept : String -> Attribute msg
  action : String -> Attribute msg
  alt : String -> Attribute msg
  ariaDescribedby : String -> Attribute msg
  ariaExpanded : String -> Attribute msg
  ariaHidden : String -> Attribute msg
  ariaLabel : String -> Attribute msg
  attribute : String -> String -> Attribute msg
      Raw `key="value"` attribute for anything without a dedicated
  autocomplete : String -> Attribute msg
  autofocus : Bool -> Attribute msg
  boolAttribute : String -> Bool -> Attribute msg
      Presence attribute under an arbitrary key.
  charset : String -> Attribute msg
  checked : Bool -> Attribute msg
      Render as the bare attribute name when True, omitted when False.
  class : String -> Attribute msg
  cols : Int -> Attribute msg
  colspan : Int -> Attribute msg
  content : String -> Attribute msg
  dataAttribute : String -> String -> Attribute msg
      `data-<key>="value"`.
  dir : String -> Attribute msg
  disabled : Bool -> Attribute msg
  download : String -> Attribute msg
  enctype : String -> Attribute msg
  for : String -> Attribute msg
  height : Int -> Attribute msg
  hidden : Bool -> Attribute msg
  href : String -> Attribute msg
  httpEquiv : String -> Attribute msg
  id : String -> Attribute msg
  lang : String -> Attribute msg
  max : String -> Attribute msg
  maxlength : Int -> Attribute msg
  method : String -> Attribute msg
  min : String -> Attribute msg
      `min` / `max` / `step` accept both numeric and keyword values in
  minlength : Int -> Attribute msg
  multiple : Bool -> Attribute msg
  name : String -> Attribute msg
  none : Attribute msg
      The no-op attribute — useful as the False branch of a conditional
  novalidate : Bool -> Attribute msg
  pattern : String -> Attribute msg
  placeholder : String -> Attribute msg
  readonly : Bool -> Attribute msg
  rel : String -> Attribute msg
  required : Bool -> Attribute msg
  role : String -> Attribute msg
  rows : Int -> Attribute msg
      These are genuinely numeric in HTML; typing them as `Int` lets
  rowspan : Int -> Attribute msg
  scope : String -> Attribute msg
  selected : Bool -> Attribute msg
  size : Int -> Attribute msg
  spellcheck : Bool -> Attribute msg
  src : String -> Attribute msg
  step : String -> Attribute msg
  style : String -> Attribute msg
      Inline style string.  Routed through the same `Attr` constructor
  tabindex : Int -> Attribute msg
  target : String -> Attribute msg
  title : String -> Attribute msg
  type_ : String -> Attribute msg
      `type` is a Sky keyword, so the dedicated builder is `type_`.
  value : String -> Attribute msg
  width : Int -> Attribute msg