jon.recoil.org

Module Ui.Group

Element groups.

Groups allow to gather and layout GUI elements and summarize their actions. See the styling information.

Groups

type dir = [
  1. | `H
  2. | `V
]

The type for specifiy the layout direction.

type align = [
  1. | `Start
  2. | `End
  3. | `Center
  4. | `Justify
  5. | `Distribute
  6. | `Stretch
]

The type for specifying alignements. `Stretch is dodgy.

type 'a t

The type for groups which summarize actions of type 'a.

val v : ?class':Jstr.t -> ?enabled:bool Note.signal -> ?action:'a Note.event -> ?xdir_align:Note_brr_kit.Ui.Group.align -> ?dir_align:Note_brr_kit.Ui.Group.align -> dir:Note_brr_kit.Ui.Group.dir -> Brr.El.t list Note.signal -> 'a Note_brr_kit.Ui.Group.t

v ~class' ~enabled ~action ~dir_align ~xdir_align ~dir cs layouts elements cs in a container. Arguments are as follows:

  • dir is the layout direction for elements
  • dir_align is the alignment between elements in the layout direction. Defaults to `Start.
  • xdir_align is the alignement between elements in the direction perpendicular to the layout direction. Defaults to `Start.
  • action can be used by the client to summarize the user interaction performed by the underlying elements. Defaults to Note.E.never
  • enabled visually indicates if the group can be interacted with. Defaults to Note.S.Bool.true'
  • class' is added to the underlying element's classes.

dir g is g's children layout direction.

dir_align g is g's children alignement along the layout direction.

xdir_align g is g's children alignement in the parti the direction.

val action : 'a Note_brr_kit.Ui.Group.t -> 'a Note.event

action g occurs whenever an action occurs in the group (see v).

val enabled : 'a Note_brr_kit.Ui.Group.t -> bool Note.signal

enabled g is true iff g is enabled.

el b is b's DOM element.

Transforming UI elements

with_action action g uses g for g's action.

hide_action g is with_action E.never g.

Styling

The element returned by el makes use of the following CSS classes: