Module `Ui_effect`Source

Sourcemodule type Handler = sig ... end

Sourcemodule type S = sig ... end

Sourcetype 'a 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 : unit t
| Many : unit t list -> unit t

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

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

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

module Monad_infix : sig ... end

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

val return : 'a -> 'a t

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

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

val ignore_m : 'a t -> unit t

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

val all_unit : unit t list -> unit t

module Let_syntax : sig ... end

Sourceval never : 'a t

An effect that never completes

Sourceval lazy_ : 'a t Core.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 : Core.Sexp.t -> 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.

Source

module Define
  (Handler : Handler) : 
  S with type action := Handler.Action.t and type 'a t := 'a t

Sourcemodule Define1 (Handler : sig ... end) : sig ... end

Sourcemodule Expert : sig ... end

Sourcemodule Private : sig ... end

Sourcemodule For_testing : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/virtual_dom.ui_effect/Ui_effect/index.html

Module `Ui_effect`Source

package virtual_dom

Install

Dune Dependency

Authors

Maintainers

Sources

doc/virtual_dom.ui_effect/Ui_effect/index.html

Module Ui_effectSource

Module `Ui_effect`Source