jon.recoil.org

Module Brr.El

DOM elements.

The type El.t technically represents DOM Node objects. However most of DOM processing happens on elements. So we make it as if El.t values were just elements and most of the functions of this module will fail on text nodes. Except on El.children where you may see them you'll likely never run into problems. The El.is_txt function can be used to check for textiness.

type document

See Brr.Document.t this is a forward declaration.

type window

See Brr.Window.t this is a forward declaration.

type tag_name = Jstr.t

The type for element tag names.

type t

The type for elements. Technically this is a DOM Node object. But we focus on DOM manipulation via elements, not the various kind of nodes that may exist.

val to_jv : Brr.El.t -> Jv.jv
val of_jv : Jv.jv -> Brr.El.t
type el = Brr.El.t

See t.

val v : ?d:Brr.El.document -> ?at:Brr.At.t list -> Brr.El.tag_name -> Brr.El.t list -> Brr.El.t

v ?d ?at name cs is an element name with attribute at (defaults to []) and children cs. If at specifies an attribute more than once, the last one takes over with the exception of At.class' and At.style whose occurences accumulate to define the final value. d is the document on which the element is defined it defaults Brr.G.document.

val txt : ?d:Brr.El.document -> Jstr.t -> Brr.El.t

txt s is the text s. d is the document on which the element is defined it defaults Brr.G.document. WARNING This is not strictly speaking an element most function of this module will error with this value.

val txt' : ?d:Brr.El.document -> string -> Brr.El.t

txt' s is txt (Jstr.v s).

val sp : ?d:Brr.El.document -> unit -> Brr.El.t

sp () is El.txt Jstr.sp

val nbsp : ?d:Brr.El.document -> unit -> Brr.El.t

nbsp () is El.txt' "\u{00A0}".

val is_txt : Brr.El.t -> bool

is_txt e is true iff e is a text node. Note that in this cases many of the function below fail.

val is_el : Brr.El.t -> bool

is_el e is true iff e is an element node.

val tag_name : Brr.El.t -> Brr.El.tag_name

name e is the tag name of element e lowercased. For is_txt nodes this returns "#text".

val has_tag_name : Brr.El.tag_name -> Brr.El.t -> bool

has_tag_name n e is Jstr.equal n (name e).

val txt_text : Brr.El.t -> Jstr.t

txt_text e is the text of e if e is a text node and the empty string otherwise.

val document : Brr.El.t -> Brr.El.document

document e is the document of e.

val as_target : Brr.El.t -> Brr.Ev.target

as_target d is the document as an event target.

Element lookups

See also document element lookups.

val find_by_class : ?root:Brr.El.t -> Jstr.t -> Brr.El.t list

els_by_class ~root c are the elements with class c that are descendents of root (defaults to Document.root).

val find_by_tag_name : ?root:Brr.El.t -> Jstr.t -> Brr.El.t list

find_by_tag_name ~root n are the elements with tag name t that are descendents of root (defaults to Document.root).

val find_first_by_selector : ?root:Brr.El.t -> Jstr.t -> Brr.El.t option

find_first_by_selector ~root sel is the first element selected by the CSS selector sel that is descendent of root (defaults to Document.root).

val fold_find_by_selector : ?root:Brr.El.t -> (Brr.El.t -> 'a -> 'a) -> Jstr.t -> 'a -> 'a

fold_find_by_selector ~root f sel acc folds f over the elements selected by the CSS selector sel that are descendent of root (defaults to Document.root).

Parent, children and siblings

val parent : Brr.El.t -> Brr.El.t option

parent e is the parent element of e (if any).

val children : ?only_els:bool -> Brr.El.t -> Brr.El.t list

children e are e's children. Warning, unless only_els is true (defaults to false) not all returned elements will satisfy is_el here.

val set_children : Brr.El.t -> Brr.El.t list -> unit

set_children e l sets the children of e to l.

val prepend_children : Brr.El.t -> Brr.El.t list -> unit

prepend e l prepends l to e's children.

val append_children : Brr.El.t -> Brr.El.t list -> unit

append_children e l appends l to e's children.

val previous_sibling : Brr.El.t -> Brr.El.t option

previous_sibling e is e's previous sibling element (if any).

val next_sibling : Brr.El.t -> Brr.El.t option

next_sibling e is e's next sibling element (if any).

val insert_siblings : [ `Before | `After | `Replace ] -> Brr.El.t -> Brr.El.t list -> unit

insert_siblings loc e l inserts l before, after or instead of element e according to loc.

val remove : Brr.El.t -> unit

remove e removes e from the document.

Attributes and properties

val at : Brr.At.name -> Brr.El.t -> Jstr.t option

at a e is the attribute a of e (if any).

val set_at : Brr.At.name -> Jstr.t option -> Brr.El.t -> unit

set_at a v e sets the attribute a of e to v. If v is None the attribute is removed. If a is empty, this has not effect.

Some attributes are reflected as JavaScript properties in elements see here for details. The following gives a quick way of accessing these properties for elements whose interface which, unlike Brr_canvas.Canvas and Brr_io.Media.El, are not necessarily bound by Brr for the time being (or will never be).

module Prop : sig ... end

Element properties.

val prop : 'a Brr.El.Prop.t -> Brr.El.t -> 'a

prop p e is the property p of e if defined and false, 0, 0. or Jstr.empty as applicable if undefined.

val set_prop : 'a Brr.El.Prop.t -> 'a -> Brr.El.t -> unit

set_prop p v o sets property p of e to v.

Classes

val class' : Jstr.t -> Brr.El.t -> bool

class' c e is the membership of e to class c.

val set_class : Jstr.t -> bool -> Brr.El.t -> unit

set_class c b e sets the membership of e to class c to b.

Style

module Style : sig ... end

Style property names.

val computed_style : ?w:Brr.El.window -> Brr.El.Style.prop -> Brr.El.t -> Jstr.t

computed_style ?w p e is the computed style property p of e in window w (defaults to G.window).

val inline_style : Brr.El.Style.prop -> Brr.El.t -> Jstr.t

inline_style p e is the inline style property p of e.

val set_inline_style : ?important:bool -> Brr.El.Style.prop -> Jstr.t -> Brr.El.t -> unit

set_inline_style ~important p v e sets the inline style property p of e to v with priority important (defaults to false).

val remove_inline_style : Brr.El.Style.prop -> Brr.El.t -> unit

remove_inline_style p e removes the inlie style property p of e.

Layout

The inner bound of an element includes its content and padding but not its border. We use the client* properties to get it. These only have integral CSS pixel precision.

val inner_x : Brr.El.t -> float

inner_x e is the horizontal coordinate in the viewport of e's inner bound. Add Window.scroll_x to get the position relative to the document.

val inner_y : Brr.El.t -> float

inner_y e is the vertical coordinate in the viewport of e's inner bound. Add Window.scroll_y to get the position relative to the document.

val inner_w : Brr.El.t -> float

inner_w e is e's inner bound width.

val inner_h : Brr.El.t -> float

inner_h e is e's inner bound height.

The bound of an element includes its content, padding and border. We use getBoundingClientRect to get it. These have CSS subpixel precision.

val bound_x : Brr.El.t -> float

bound_x e is the horizontal coordinate in the viewport of e's bound. Add Window.scroll_x to get the position relative to the document.

val bound_y : Brr.El.t -> float

bound_y e is the vertical coordinate in the viewport of e's bound. Add Window.scroll_y to get the position relative to the document.

val bound_w : Brr.El.t -> float

bound_w e is e's bound width.

val bound_h : Brr.El.t -> float

bound_h e is e's bound height.

Scrolling

val scroll_x : Brr.El.t -> float

scroll_x e is the number of pixels scrolled horizontally.

val scroll_y : Brr.El.t -> float

scroll_y e is the number of pixels scrolled vertically.

val scroll_w : Brr.El.t -> float

scroll_w e is the minimum width the element would require to display without a vertical scrollbar.

val scroll_h : Brr.El.t -> float

scroll_h e is the minimum height the element would require to display without a vertical scrollbar.

val scroll_into_view : ?align_v:[ `Start | `End ] -> Brr.El.t -> unit

scroll_into_view ~align e scrolls e into view. If align_v is `Start (default) the top of the element is align with to to the top of the scrollable area. If align_v is `End the bottom of the element is aligned with the bottom of the scrollable area.

Focus

val has_focus : Brr.El.t -> bool

has_focus e is true if e has focus in the document it belongs to.

val set_has_focus : bool -> Brr.El.t -> unit

set_has_focus b e sets the focus of e to b in the document it belongs do.

Pointer locking

val is_locking_pointer : Brr.El.t -> bool

is_locking_pointer e is true if e is the element which locked the pointer.

val request_pointer_lock : Brr.El.t -> unit Fut.or_error

request_pointer_lock e requests the pointer to be locked to e in the document it belongs to. This listens on the document for the next Ev.pointerlockchange and Ev.pointerlockerror to resolve the future appropriately.

Fullscreen

module Navigation_ui : sig ... end

Fullscreen navigation enum.

type fullscreen_opts

The type for FullscreenOptions objects.

val fullscreen_opts : ?navigation_ui:Brr.El.Navigation_ui.t -> unit -> Brr.El.fullscreen_opts

fullscreen_opts () are options for fullscreen with given parameters.

val request_fullscreen : ?opts:Brr.El.fullscreen_opts -> Brr.El.t -> unit Fut.or_error

request_fullscreen e requests to make the element to be displayed in fullscreen mode.

Click simulation

val click : Brr.El.t -> unit

click e simulates a click on e.

val select_text : Brr.El.t -> unit

select_text e selects the textual contents of e. If the DOM element e has no select method this does nothing.

Element interfaces

Some interfaces are in other modules. See for example Brr_io.Media.El for the media element interface, Brr_canvas.Canvas for the canvas element interface and Brr_io.Form for the form element interface.

module Input : sig ... end

The HTML input element interface .

Element names and constructors

See the MDN HTML element reference.

Convention. Whenever an element name conflicts with an OCaml keyword we prime it, see for example object'.

module Name : sig ... end

Element names

type cons = ?d:Brr.El.document -> ?at:Brr.At.t list -> Brr.El.t list -> Brr.El.t

The type for element constructors. This is simply v with a pre-applied element name.

type void_cons = ?d:Brr.El.document -> ?at:Brr.At.t list -> unit -> Brr.El.t

The type for void element constructors. This is simply v with a pre-applied element name and without children.

val a : Brr.El.cons

a

val abbr : Brr.El.cons

abbr

val address : Brr.El.cons

address

val area : Brr.El.void_cons

area

val article : Brr.El.cons

article

val aside : Brr.El.cons

aside

val audio : Brr.El.cons

audio

val b : Brr.El.cons

b

val base : Brr.El.void_cons

base

val bdi : Brr.El.cons

bdi

val bdo : Brr.El.cons

bdo

val blockquote : Brr.El.cons

blockquote

val body : Brr.El.cons

body

br

val button : Brr.El.cons

button

val canvas : Brr.El.cons

canvas

val caption : Brr.El.cons

caption

val cite : Brr.El.cons

cite

val code : Brr.El.cons

code

col

val colgroup : Brr.El.cons

colgroup

val command : Brr.El.cons

command

val datalist : Brr.El.cons

datalist

val dd : Brr.El.cons

dd

val del : Brr.El.cons

del

val details : Brr.El.cons

details

val dfn : Brr.El.cons

dfn

val div : Brr.El.cons

div

val dl : Brr.El.cons

dl

val dt : Brr.El.cons

dt

val em : Brr.El.cons

em

val embed : Brr.El.void_cons

embed

val fieldset : Brr.El.cons

fieldset

val figcaption : Brr.El.cons

figcaption

val figure : Brr.El.cons

figure

footer

val form : Brr.El.cons

form

val h1 : Brr.El.cons

h1

val h2 : Brr.El.cons

h2

val h3 : Brr.El.cons

h3

val h4 : Brr.El.cons

h4

val h5 : Brr.El.cons

h5

val h6 : Brr.El.cons

h6

val head : Brr.El.cons

head

val header : Brr.El.cons

header

val hgroup : Brr.El.cons

hgroup

hr

val html : Brr.El.cons

html

val i : Brr.El.cons

i

val iframe : Brr.El.cons

iframe

img

val input : Brr.El.void_cons

input

val ins : Brr.El.cons

ins

val kbd : Brr.El.cons

kbd

val keygen : Brr.El.cons

keygen

val label : Brr.El.cons

label

val legend : Brr.El.cons

legend

val li : Brr.El.cons

li

link

val map : Brr.El.cons

map

val mark : Brr.El.cons

mark

val menu : Brr.El.cons

menu

val meta : Brr.El.void_cons

meta

val meter : Brr.El.cons

meter

val nav : Brr.El.cons

nav

val noscript : Brr.El.cons

noscript

val object' : Brr.El.cons

object

val ol : Brr.El.cons

ol

val optgroup : Brr.El.cons

optgroup

val option : Brr.El.cons

option

val output : Brr.El.cons

output

val p : Brr.El.cons

p

val param : Brr.El.void_cons

param

val pre : Brr.El.cons

pre

val progress : Brr.El.cons

progress

val q : Brr.El.cons

q

val rp : Brr.El.cons

rp

val rt : Brr.El.cons

rt

val ruby : Brr.El.cons

ruby

val s : Brr.El.cons

s

val samp : Brr.El.cons

samp

val script : Brr.El.cons

script

val section : Brr.El.cons

section

val select : Brr.El.cons

select

val small : Brr.El.cons

small

val source : Brr.El.void_cons

source

val span : Brr.El.cons

span

val strong : Brr.El.cons

strong

val style : Brr.El.cons

style

val sub : Brr.El.cons

sub

val summary : Brr.El.cons

summary

val sup : Brr.El.cons

sup

val table : Brr.El.cons

table

val tbody : Brr.El.cons

tbody

val td : Brr.El.cons

td

val textarea : Brr.El.cons

textarea

val tfoot : Brr.El.cons

tfoot

val th : Brr.El.cons

th

val thead : Brr.El.cons

thead

val time : Brr.El.cons

time

val title : Brr.El.cons

title

val tr : Brr.El.cons

tr

val track : Brr.El.void_cons

track

val u : Brr.El.cons

u

val ul : Brr.El.cons

ul

val var : Brr.El.cons

var

val video : Brr.El.cons

video

wbr