{ 
(
string
)
 
fresh_id
, 
(
string
dom
)
 
select_id
, 
(
dom
)
 
select_all
, 
(
dom
)
 
select_document
, 
(
dom
)
 
select_body
, 
(
dom
)
 
select_window
, 
(
string
dom
)
 
select_class
, 
(
dom
, 
dom
dom
)
 
select_inside
, 
(
dom
dom
)
 
select_children
, 
(
dom
dom
)
 
select_contents
, 
(
string
dom
)
 
select_raw
, 
(
string
dom
)
 
select_raw_unsafe
, 
(
dom
dom
)
 
resolve
, 
 
select_concrete
, 
(
dom
dom
)
 
select_previous_one
, 
(
dom
dom
)
 
select_next_one
, 
(
dom
dom
)
 
select_last_one
, 
(
dom
dom
)
 
select_first_one
, 
(
dom
dom
)
 
select_previous_several
, 
(
dom
dom
)
 
select_next_several
, 
(
dom
dom
)
 
select_parent_one
, 
(
dom
dom
)
 
select_siblings
, 
(
dom
dom
)
 
select_parent_several
, 
(
dom
void
)
 
select
, 
(
)
 
of_xhtml
, 
(
dom
, 
int
dom
)
 
get
, 
(
dom
, 
int
, 
int
dom
)
 
sub
, 
(
dom
, 
string
bool
)
 
contains_selector
, 
(
dom
)
 
split
, 
(
dom
)
 
unsplit
, 
(
dom
int
)
 
length
, 
(
dom
bool
)
 
is_empty
, 
(
(
dom
void
)
, 
dom
void
)
 
iter
, 
∀ α.
(
(
dom
, 
α
α
)
, 
α
, 
dom
α
)
 
fold
, 
(
(
dom
void
)
, 
dom
void
)
 
iter_deep
, 
∀ α.
(
(
dom
, 
α
α
)
, 
α
, 
dom
α
)
 
fold_deep
, 
(
dom
, 
dom
option
(
int
)
)
 
find
, 
(
dom
option
(
int
)
)
 
index
, 
(
dom
string
)
 
to_string
, 
(
dom
, 
dom
dom
)
 
put_after
, 
(
dom
, 
dom
dom
)
 
put_at_end
, 
(
dom
, 
dom
dom
)
 
put_at_start
, 
(
dom
, 
dom
dom
)
 
put_before
, 
(
dom
, 
dom
dom
)
 
put_replace
, 
(
dom
, 
dom
dom
)
 
put_inside
, 
(
dom
void
)
 
remove
, 
(
dom
void
)
 
detach
, 
 
transition
, 
 
stop_transition
, 
(
dom
void
)
 
give_focus
, 
(
dom
void
)
 
give_blur
, 
(
dom
string
)
 
get_id
, 
(
dom
string
)
 
get_value
, 
(
dom
, 
string
void
)
 
set_value
, 
(
dom
void
)
 
clear_value
, 
(
dom
string
)
 
get_text
, 
(
dom
, 
string
void
)
 
set_text
, 
(
dom
string
)
 
get_content
, 
(
dom
bool
)
 
is_checked
, 
(
)
 
set_checked
, 
(
dom
bool
)
 
is_enabled
, 
(
)
 
set_enabled
, 
(
dom
, 
string
void
)
 
set_html_unsafe
, 
(
dom
void
)
 
remove_content
, 
 
get_offset
, 
 
set_offset
, 
 
get_position
, 
 
set_position
, 
(
dom
int
)
 
get_width
, 
(
dom
int
)
 
get_height
, 
(
dom
int
)
 
get_inner_height
, 
(
dom
int
)
 
get_outer_height
, 
(
dom
int
)
 
get_inner_width
, 
(
dom
int
)
 
get_outer_width
, 
(
dom
, 
int
void
)
 
set_width
, 
(
dom
, 
int
void
)
 
set_height
, 
 
set_size
, 
 
get_size
, 
 
get_inner_size
, 
 
get_outer_size
, 
 
get_scrollable_size
, 
 
get_scroll
, 
 
set_scroll
, 
(
dom
, 
int
void
)
 
set_scroll_left
, 
(
dom
int
)
 
get_scroll_left
, 
(
dom
, 
int
void
)
 
set_scroll_top
, 
(
dom
int
)
 
get_scroll_top
, 
(
dom
void
)
 
scroll_to_top
, 
(
dom
void
)
 
scroll_to_leftmost
, 
(
dom
void
)
 
scroll_to_rightmost
, 
(
dom
void
)
 
scroll_to_bottom
, 
(
dom
void
)
 
scroll_into_view
, 
 
transform
, 
 
unbind
, 
 
unbind_event
, 
(
(
Dom.event
option
(
string
)
)
void
)
 
bind_unload_confirmation
, 
(
(
Dom.event
option
(
string
)
)
void
)
 
bind_beforeunload_confirmation
, 
 
trigger
, 
 
trigger_event
, 
{ 
(
Dom.event.kind
string
)
 
get_name
, 
(
string
Dom.event.kind
)
 
of_string
, 
(
Dom.event.kind
string
)
 
to_string
, 
(
Dom.event.kind
string
)
 
to_js_attribute_name
, 
Dom.event
 
default_event
 }
 
Event
, 
 
get_currently_selected
, 
 
set_style
, 
(
dom
void
)
 
void_style
, 
 
set_style_unsafe
, 
(
dom
, 
string
option
(
string
)
)
 
get_property
, 
(
dom
, 
string
string
)
 
get_property_unsafe
, 
(
dom
, 
string
, 
string
void
)
 
set_property_unsafe
, 
(
dom
, 
string
option
(
string
)
)
 
get_attribute
, 
(
dom
, 
string
string
)
 
get_attribute_unsafe
, 
(
dom
, 
string
, 
string
void
)
 
set_attribute_unsafe
, 
(
dom
, 
string
, 
string
void
)
 
set_style_property_unsafe
, 
(
dom
, 
string
void
)
 
set_class
, 
(
dom
, 
string
bool
)
 
has_class
, 
(
dom
, 
string
void
)
 
add_class
, 
(
dom
, 
string
void
)
 
remove_class
, 
(
dom
void
)
 
void_class
, 
(
dom
, 
string
void
)
 
toggle_class
, 
(
dom
void
)
 
show
, 
(
dom
void
)
 
hide
, 
(
dom
void
)
 
toggle
, 
{ 
 
hide
, 
 
show
, 
 
toggle
, 
 
change_to
, 
 
scroll_to
, 
 
scroll_to_top
, 
 
scroll_to_bottom
, 
 
scroll_to_leftmost
, 
 
scroll_to_rightmost
, 
(
option
(
int
)
, 
option
(
int
)
Dom.animation
)
 
scroll_to_xy
, 
 
fade_out
, 
 
fade_in
, 
 
fade_toggle
, 
 
slide_in
, 
 
slide_out
, 
 
slide_toggle
, 
(
Variant
  •    
    { 
    void
     
    linear
     }
  • or 
    { 
    void
     
    swing
     }
, 
Dom.animation
Dom.animation
)
 
with_easing
, 
 
wait
, 
(
(
dom
, 
option
(
int
)
void
)
Dom.animation
)
 
of_simple_fun
, 
(
(
dom
, 
option
(
int
)
, 
option
(
string
)
, 
option
(
(
dom
void
)
)
void
)
Dom.animation
)
 
of_fun_with_cb
, 
 }
 
Effect
, 
{ 
 }
 
Key
, 
(
string
string
)
 
escape_selector
, 
 
to_selection
, 
 
of_selection
, 
(
dom_element
, 
string
, 
string
void
)
 
opabind_value_unsafe
, 
(
dom_element
, 
string
, 
string
void
)
 
bind_value_unsafe
, 
(
dom_element
, 
string
void
)
 
bind_stop_propagation
, 
(
dom_element
, 
string
void
)
 
bind_prevent_default
, 
(
)
 
default_opa_event
, 
∀ α, β.
(
xml
(
α
, 
β
)
, 
string
, 
(
)
, 
(
XmlNsEnv.t
, 
string
, 
, 
dom_element
, 
α
void
)
dom_element
)
 
from_xml
, 
 
from_xhtml
, 
{ 
(
bool
)
 
placeholder
, 
(
bool
)
 
notification
 }
 
Support
, 
{ 
(
string
, 
string
, 
string
void
)
 
show
 }
 
Notification
 }
Dom

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.