Merge pull request #145 from ml-in-barcelona/Add-aria-into-global-att…

…ributes

Add ARIA 1.1 into global-attributes

lib/dom_aria_attributes.ml

@@ -0,0 +1,218 @@
+include Dom_dsl_core.Prop
+
+(* All the WAI-ARIA 1.1 attributes from https://www.w3.org/TR/wai-aria-1.1/ *)
+
+(* Identifies the currently active element when DOM focus is on a composite widget, textbox, group, or application. *)
+let ariaActivedescendant = string "aria-activedescendant"
+
+(* Indicates whether assistive technologies will present all, or only parts of, the changed region based on the change notifications defined by the aria-relevant attribute. *)
+let ariaAtomic = string (* Bool | 'false' | 'true' *) "aria-atomic"
+
+(* Indicates whether inputting text could trigger display of one or more predictions of the user's intended value for an input and specifies how predictions would be
+ * presented if they are made.
+ *)
+let ariaAutocomplete =
+  string (* 'none' | 'inline' | 'list' | 'both' *) "aria-autocomplete"
+
+(* Indicates an element is being modified and that assistive technologies MAY want to wait until the modifications are complete before exposing them to the user. *)
+let ariaBusy = string (* Bool | 'false' | 'true' *) "aria-busy"
+
+(* Indicates the current "checked" state of checkboxes, radio buttons, and other widgets.
+ * @see aria-pressed @see aria-selected.
+ *)
+let ariaChecked = string (* Bool | 'false' | 'mixed' | 'true' *) "aria-checked"
+
+(* Defines the total number of columns in a table, grid, or treegrid.
+ * @see aria-colindex.
+ *)
+let ariaColcount = int "aria-colcount"
+
+(* Defines an element's column index or position with respect to the total number of columns within a table, grid, or treegrid.
+ * @see aria-colcount @see aria-colspan.
+ *)
+let ariaColindex = int "aria-colindex"
+
+(* Defines the number of columns spanned by a cell or gridcell within a table, grid, or treegrid.
+ * @see aria-colindex @see aria-rowspan.
+ *)
+let ariaColspan = int "aria-colspan"
+
+(* Identifies the element (or elements) whose contents or presence are controlled by the current element.
+ * @see aria-owns.
+ *)
+let ariaControls = string "aria-controls"
+
+(* Indicates the element that represents the current item within a container or set of related elements. *)
+let ariaCurrent = string "aria-current"
+
+(* Bool | 'false' | 'true' |  'page' | 'step' | 'location' | 'date' | 'time' *)
+(* Identifies the element (or elements) that describes the object.
+ * @see aria-labelledby
+ *)
+let ariaDescribedby = string "aria-describedby"
+
+(* Identifies the element that provides a detailed, extended description for the object.
+ * @see aria-describedby.
+ *)
+let ariaDetails = string "aria-details"
+
+(* Indicates that the element is perceivable but disabled, so it is not editable or otherwise operable.
+ * @see aria-hidden @see aria-readonly.
+ *)
+let ariaDisabled = string (* Bool | 'false' | 'true' *) "aria-disabled"
+
+(* Indicates what functions can be performed when a dragged object is released on the drop target.
+ * @deprecated in ARIA 1.1
+ *)
+let ariaDropeffect = string "aria-dropeffect"
+
+(* 'none' | 'copy' | 'execute' | 'link' | 'move' | 'popup' *)
+(* Identifies the element that provides an error message for the object.
+ * @see aria-invalid @see aria-describedby.
+ *)
+let ariaErrormessage = string "aria-errormessage"
+
+(* Indicates whether the element, or another grouping element it controls, is currently expanded or collapsed. *)
+let ariaExpanded = string (* Bool | 'false' | 'true' *) "aria-expanded"
+
+(* Identifies the next element (or elements) in an alternate reading order of content which, at the user's discretion,
+ * allows assistive technology to override the general default of reading in document source order.
+ *)
+let ariaFlowto = string "aria-flowto"
+
+(* Indicates an element's "grabbed" state in a drag-and-drop operation.
+ * @deprecated in ARIA 1.1
+ *)
+let ariaGrabbed = string (* Bool | 'false' | 'true' *) "aria-grabbed"
+
+(* Indicates the availability and type of interactive popup element, such as menu or dialog, that can be triggered by an element. *)
+let ariaHaspopup =
+  string
+    (* Bool | 'false' | 'true' | 'menu' | 'listbox' | 'tree' | 'grid' | 'dialog'; *)
+    "aria-haspopup"
+
+(* Indicates whether the element is exposed to an accessibility API.
+ * @see aria-disabled.
+ *)
+let ariaHidden = string (* Bool | 'false' | 'true' *) "aria-hidden"
+
+(* Indicates the entered value does not conform to the format expected by the application.
+ * @see aria-errormessage.
+ *)
+let ariaInvalid =
+  string (* Bool | 'false' | 'true' |  'grammar' | 'spelling'; *) "aria-invalid"
+
+(* Indicates keyboard shortcuts that an author has implemented to activate or give focus to an element. *)
+let ariaKeyshortcuts = string "aria-keyshortcuts"
+
+(* Defines a String value that labels the current element.
+ * @see aria-labelledby.
+ *)
+let ariaLabel = string "aria-label"
+
+(* Identifies the element (or elements) that labels the current element.
+ * @see aria-describedby.
+ *)
+let ariaLabelledby = string "aria-labelledby"
+
+(* Defines the hierarchical level of an element within a structure. *)
+let ariaLevel = int "aria-level"
+
+(* Indicates that an element will be updated, and describes the types of updates the user agents, assistive technologies, and user can expect ;rom the live region. *)
+let ariaLive = string (* 'off' | 'assertive' | 'polite' *) "aria-live"
+
+(* Indicates whether an element is modal when displayed. *)
+let ariaModal = string (* Bool | 'false' | 'true' *) "aria-modal"
+
+(* Indicates whether a text box accepts multiple lines of input or only a single line. *)
+let ariaMultiline = string (* Bool | 'false' | 'true' *) "aria-multiline"
+
+(* Indicates that the user may select more than one item from the current selectable descendants. *)
+let ariaMultiselectable =
+  string (* Bool |  'false' | 'true' *) "aria-multiselectable"
+
+(* Indicates whether the element's orientation is horizontal, vertical, or unknown/ambiguous. *)
+let ariaOrientation = string (* 'horizontal' | 'vertical' *) "aria-orientation"
+
+(* Identifies an element (or elements) in order to define a visual, functional, or contextual parent/child relationship
+ * between DOM elements where the DOM hierarchy cannot be used to represent the relationship.
+ * @see aria-controls.
+ *)
+let ariaOwns = string "aria-owns"
+
+(* Defines a short hint (a word or short phrase) intended to aid the user with data entry when the control has no value.
+   * A hint could be a sample value or a brief description of the expected format.
+*)
+let ariaPlaceholder = string "aria-placeholder"
+
+(* Defines an element's number or position in the current set of listitems or treeitems. Not required if all elements in the set are present in the DOM.
+ * @see aria-setsize.
+ *)
+let ariaPosinset = int "aria-posinset"
+
+(* Indicates the current "pressed" state of toggle buttons.
+ * @see aria-checked @see aria-selected.
+ *)
+let ariaPressed = string (* Bool | 'false' | 'mixed' | 'true' *) "aria-pressed"
+
+(* Indicates that the element is not editable, but is otherwise operable.
+ * @see aria-disabled.
+ *)
+let ariaReadonly = string (* Bool | 'false' | 'true' *) "aria-readonly"
+
+(* Indicates what notifications the user agent will trigger when the accessibility tree within a live region is modified.
+ * @see aria-atomic.
+ *)
+let ariaRelevant =
+  string
+    (* 'additions' | 'additions removals' | 'additions text' | 'all' | 'removals' | 'removals additions' | 'removals text' | 'text' | 'text additions' | 'text removals' *)
+    "aria-relevant"
+
+(* Indicates that user input is required on the element before a form may be submitted. *)
+let ariaRequired = string (* Bool | 'false' | 'true' *) "aria-required"
+
+(* Defines a human-readable, author-localized description for the role of an element. *)
+let ariaRoledescription = string "aria-roledescription"
+
+(* Defines the total number of rows in a table, grid, or treegrid.
+ * @see aria-rowindex.
+ *)
+let ariaRowcount = int "aria-rowcount"
+
+(* Defines an element's row index or position with respect to the total number of rows within a table, grid, or treegrid.
+ * @see aria-rowcount @see aria-rowspan.
+ *)
+let ariaRowindex = int "aria-rowindex"
+
+(* Defines the number of rows spanned by a cell or gridcell within a table, grid, or treegrid.
+ * @see aria-rowindex @see aria-colspan.
+ *)
+let ariaRowspan = int "aria-rowspan"
+
+(* Indicates the current "selected" state of various widgets.
+ * @see aria-checked @see aria-pressed.
+ *)
+let ariaSelected = string (* Bool | 'false' | 'true' *) "aria-selected"
+
+(* Defines the number of items in the current set of listitems or treeitems. Not required if all elements in the set are present in the DOM.
+ * @see aria-posinset.
+ *)
+let ariaSetsize = int "aria-setsize"
+
+(* Indicates if items in a table or grid are sorted in ascending or descending order. *)
+let ariaSort =
+  string (* 'none' | 'ascending' | 'descending' | 'other' *) "aria-sort"
+
+(* Defines the maximum allowed value for a range widget. *)
+let ariaValuemax = int "aria-valuemax"
+
+(* Defines the minimum allowed value for a range widget. *)
+let ariaValuemin = int "aria-valuemin"
+
+(* Defines the current value for a range widget.
+ * @see aria-valuetext.
+ *)
+let ariaValuenow = int "aria-valuenow"
+
+(* Defines the human readable text alternative of aria-valuenow for a range widget. *)
+let ariaValuetext = string "aria-valuetext"

lib/dom_aria_attributes.mli

@@ -0,0 +1,115 @@
+type t = Dom_dsl_core.Prop.t
+
+val any : string -> 'a -> t
+
+val string : string -> string -> t
+
+val bool : string -> bool -> t
+
+val int : string -> int -> t
+
+val float_ : string -> float -> t
+
+val event : string -> ('a Event.synthetic -> unit) -> t
+
+val maybe : ('a -> t) -> 'a option -> t
+
+val key : string -> t
+
+val ref_ : Dom.dom_ref -> t
+
+val ariaActivedescendant : string -> t
+
+val ariaAtomic : string -> t
+
+val ariaAutocomplete : string -> t
+
+val ariaBusy : string -> t
+
+val ariaChecked : string -> t
+
+val ariaColcount : int -> t
+
+val ariaColindex : int -> t
+
+val ariaColspan : int -> t
+
+val ariaControls : string -> t
+
+val ariaCurrent : string -> t
+
+val ariaDescribedby : string -> t
+
+val ariaDetails : string -> t
+
+val ariaDisabled : string -> t
+
+val ariaDropeffect : string -> t
+
+val ariaErrormessage : string -> t
+
+val ariaExpanded : string -> t
+
+val ariaFlowto : string -> t
+
+val ariaGrabbed : string -> t
+
+val ariaHaspopup : string -> t
+
+val ariaHidden : string -> t
+
+val ariaInvalid : string -> t
+
+val ariaKeyshortcuts : string -> t
+
+val ariaLabel : string -> t
+
+val ariaLabelledby : string -> t
+
+val ariaLevel : int -> t
+
+val ariaLive : string -> t
+
+val ariaModal : string -> t
+
+val ariaMultiline : string -> t
+
+val ariaMultiselectable : string -> t
+
+val ariaOrientation : string -> t
+
+val ariaOwns : string -> t
+
+val ariaPlaceholder : string -> t
+
+val ariaPosinset : int -> t
+
+val ariaPressed : string -> t
+
+val ariaReadonly : string -> t
+
+val ariaRelevant : string -> t
+
+val ariaRequired : string -> t
+
+val ariaRoledescription : string -> t
+
+val ariaRowcount : int -> t
+
+val ariaRowindex : int -> t
+
+val ariaRowspan : int -> t
+
+val ariaSelected : string -> t
+
+val ariaSetsize : int -> t
+
+val ariaSort : string -> t
+
+val ariaValuemax : int -> t
+
+val ariaValuemin : int -> t
+
+val ariaValuenow : int -> t
+
+val ariaValuetext : string -> t

lib/dom_html.ml

@@ -1,5 +1,16 @@
 module Prop = struct
   include Dom_dsl_core.Prop
+  include Dom_aria_attributes
+
+  (* List of props adapted from rescript-react:
+   * https://github.com/rescript-lang/rescript-react/blob/16dcbd8d079c7c20f3bd48fd677dfe7d70d0d020/src/ReactDOM.res#L51
+   *)
+
+  (* react textarea/input *)
+
+  let defaultChecked = bool "defaultChecked"
+
+  let defaultValue = string "defaultValue"
 
   (* global html attributes *)
 
@@ -9,6 +20,8 @@ module Prop = struct
 
   let contentEditable = bool "contentEditable"
 
+  let contextMenu = string "contextMenu"
+
   let dir = string "dir" (* "ltr", "rtl" or "auto" *)
 
   let draggable = bool "draggable"
@@ -29,16 +42,6 @@ module Prop = struct
 
   let title = string "title"
 
-  (* List of props adapted from rescript-react:
-   * https://github.com/rescript-lang/rescript-react/blob/16dcbd8d079c7c20f3bd48fd677dfe7d70d0d020/src/ReactDOM.res#L51
-   *)
-
-  (* react textarea/input *)
-
-  let defaultChecked = bool "defaultChecked"
-
-  let defaultValue = string "defaultValue"
-
   (* html5 microdata *)
 
   let itemID = string "itemID"

lib/dom_svg.ml

@@ -1,5 +1,6 @@
 module Prop = struct
   include Dom_dsl_core.Prop
+  include Dom_aria_attributes
 
   open struct
     let string_prop = string