package incr_dom

You can search for identifiers within the package.

in-package search v0.2.0

package incr_dom

incr_dom
- Incr_dom
  - App_intf
    
    Action
    
    Model
    
    Private
    
    S_for_bonsai
    
    Action
    
    Model
    
    State
    
    S
    
    Action
    
    Model
    
    State
    
    State
  - Component
  - Incr
  - Js_misc
    
    Rect
    
    Fields
    
    Direct
    
    Variants_of_rows_or_columns
  - Start_app
    
    Private
incr_dom.javascript_profiling
- Javascript_profiling
  - Manual
incr_dom.testing
- Incr_dom_testing
  - Driver
  - Helpers
    
    S
incr_dom.ui_incr
- Ui_incr
  - Incr
    
    Before_or_after
    
    Clock
    
    Cutoff
    
    Expert
    
    Dependency
    
    Node
    
    Step_result
    
    Infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Node_value
    
    Observer
    
    Update
    
    Packed
    
    Scope
    
    State
    
    Stats
    
    Unordered_array_fold_update
    
    Update
    
    Var
  - Map
    
    For_testing
    
    Lookup
    
    For_debug
    
    M
    
    K
  - Select
incr_dom.vdom_file_download
- Vdom_file_download
  - Button

Legend:
Library
Module
Module type
Parameter
Class
Class type

A utility for causing the browser to download a file with the contents taken from a string.

type t

val sexp_of_t : t -> Sexplib0.Sexp.t

val create : filename:string -> mimetype:string -> contents:string -> t

val trigger : t -> unit

Immediately cause the browse to trigger a download for t. You can use this to build a more complex UI for downloads than is offered by Button.create -- e.g. a button that calls an RPC and downloads a file based on the result.

In tests, this just prints a message rather than triggering the download.

module Button : sig ... end