package virtual_dom_toplayer

You can search for identifiers within the package.

in-package search v0.2.0

virtual_dom_toplayer
- LICENSE
- README
- Library virtual_dom_toplayer.floating_positioning
  - Floating_positioning_new
    
    Position
    
    Alignment
    
    Offset
    
    Strategy
    
    Anchor
    
    Accessors
- Library virtual_dom_toplayer.popover
  - Vdom_toplayer
- Sources
  - virtual_dom_toplayer.floating_positioning
    
    bindings.ml
    
    custom_converters.ml
    
    floating_positioning_new.ml
    
    floating_positioning_new__.ml
    
    gen_js_api.ml
    
    update_position.ml
  - virtual_dom_toplayer.popover
    
    element_listener.ml
    
    popover.ml
    
    popover_dom.ml
    
    portal.ml
    
    tooltip.ml
    
    vdom_toplayer.ml
    
    vdom_toplayer__.ml
    
    vdom_with_phys_equal.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

"Vdom Popover, Tooltip"

This library contains vdom utils for creating and positioning popovers, tooltips, and modals.

Positioning is done via floating_positioning: bindings to the "floating ui" JS library.

Placement is done through a combination of the browser top-layer and portaling. This enables a convenient API, where all users need to do is attach a Vdom.Attr.t to the popover / tooltip's anchor element.