package bonsai

You can search for identifiers within the package.

in-package search v0.2.0

A library for building dynamic webapps, using Js_of_ocaml

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (6)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

bonsai-v0.16.0.tar.gz

sha256=1d68aab713659951eba5b85f21d6f9382e0efa8579a02c3be65d9071c6e86303

doc/bonsai.web/Bonsai_web/Effect/index.html

Module `Bonsai_web.Effect`Source

include module type of Virtual_dom.Vdom.Effect

include module type of struct include Ui_effect end

Sourcemodule type Handler = Effect.Handler

Sourcetype 'a t = 'a Virtual_dom.Vdom.Effect.t = ..

'a Effect.t represents some computation of type 'a that can be performed outside of the typical computational/incremental structure of a Bonsai program . Examples of this computation might be:

Calling an RPC and getting the result back
Running expensive computation on a web-worker thread
Requesting some information from the imperative "Start.Handle"-holding code

If you have a value of type 'a Effect.t, you can schedule it to be run by calling inject and providing a function that will be called when the callback completes.

Sourcetype t +=

| Ignore : Base.unit t
| Many : Base.unit t Base.list -> Base.unit t

include Base.Monad.S with type 'a t := 'a t

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

t >>= f returns a computation that sequences the computations represented by two monad elements. The resulting computation first does t to yield a value v, and then runs the computation returned by f v.

val (>>|) : 'a t -> ('a -> 'b) -> 'b t

t >>| f is t >>= (fun a -> return (f a)).

module Monad_infix = Ui_effect.Monad_infix

val bind : 'a t -> f:('a -> 'b t) -> 'b t

bind t ~f = t >>= f

val return : 'a -> 'a t

return v returns the (trivial) computation that returns v.

val map : 'a t -> f:('a -> 'b) -> 'b t

map t ~f is t >>| f.

val join : 'a t t -> 'a t

join t is t >>= (fun t' -> t').

val ignore_m : 'a t -> unit t

ignore_m t is map t ~f:(fun _ -> ()). ignore_m used to be called ignore, but we decided that was a bad name, because it shadowed the widely used Stdlib.ignore. Some monads still do let ignore = ignore_m for historical reasons.

val all : 'a t list -> 'a list t

val all_unit : unit t list -> unit t

Like all, but ensures that every monadic value in the list produces a unit value, all of which are discarded rather than being collected into a list.

module Let_syntax = Ui_effect.Let_syntax

Sourceval never : 'a t

An effect that never completes

Sourceval lazy_ : 'a t Base.Lazy.t -> 'a t

If creating an effect could be expensive, you can wrap its construction in a lazy and pass it to this function so that its construction will be deferred until it's about to be evaluated.

Sourceval print_s : Base.Sexp.t -> Base.unit t

Prints the sexp when scheduled.

Sourceval of_sync_fun : ('query -> 'result) -> 'query -> 'result t

of_sync_fun is similar to of_deferred_fun but with a synchronous function instead of a deferred one. This can be used for functions that are synchronous but side-effecting, or as a mock-function in tests that replace the usages of of_deferred_fun in the actual app.

Note that, unlike of_deferred_fun, the function must return immediately, so it's not possible to test the behaviour of tour app between calling the function and the effect becoming 'determined'. If you need to do this, see of_svar and of_query_response_tracker below.

Sourcemodule Define = Ui_effect.Define

Sourcemodule Define1 = Ui_effect.Define1

Sourcemodule Private = Ui_effect.Private

Sourcemodule For_testing = Ui_effect.For_testing

Sourcemodule type Visibility_handler = Effect.Visibility_handler

Sourcemodule type S = Effect.S

Sourcetype t +=

| Viewport_changed
(*
Viewport_changed events are delivered to all visibility handlers
*)
| Stop_propagation
(*
Stop_propagation prevents the underlying DOM event from propagating up to the parent elements
*)
| Stop_immediate_propagation
(*
Stop_immediate_propagation causes sequence_as_sibling to ignore next sequenced event.
*)
| Prevent_default
(*
Prevent_default prevents the default browser action from occurring as a result of this event
*)

Sourceval sequence_as_sibling : unit t -> unless_stopped:(unit -> unit t) -> unit t

Sequences two events, but only if the first is neither Stop_immediate_propagation nor a Many which contains Stop_immediate_propagation. Use this instead of Many if combining events that are associated with the same source; for example, the motivation for this function is for merging Inputs of hooks.

The second argument is a function that takes unit not because it is expected to be impure, but because often it is computed via some arbitrary handler function. Using hooks as an example, often the input to a hook has type 'a -> Effect.t. To merge inputs f and g, you might write

  fun x -> sequence_as_sibling (f x) (g x)

but this might unnecessarily call g if f returns something with Stop_immediate_propagation. Instead, using this API, you must write

  fun x -> sequence_as_sibling (f x) (fun () -> (g x))

Sourcemodule Define_visibility = Virtual_dom.Vdom.Effect.Define_visibility

For registering a handler for Viewport_changed events. Note that if this functor is called multiple times, each handler will see all of the events.

Sourcemodule Expert = Virtual_dom.Vdom.Effect.Expert

Source

val of_deferred_fun : 
  ('query -> 'response Async_kernel.Deferred.t) ->
  'query ->
  'response t

of_deferred_fun is a way to convert from a deferred-returning function to an effect-returning function. This function is commonly used to wrap RPC calls. Memory is allocated permanently every time that of_deferred_fun is called, so be sure to re-use the function inside the Staged.t!

Sourcemodule Focus : sig ... end