include sig ... end
type on_action_mismatch = [ ]type ('input, 'result) t = ('input, 'result) Bonsai.Make(Incr)(Vdom.Event).t
val sexp_of_t : ('a, 'b) t -> Core_kernel.Sexp.tval input : ('input, 'input) tval const : 'result -> ('a, 'result) tval pure : f:('input -> 'result) -> ('input, 'result) tval compose : ('i1, 'r1) t -> ('r1, 'r2) t -> ('i1, 'r2) t
module type S = sig ... endtype ('input, 'model, 'action, 'result) component_s = (module S with type Action.t = 'action and type Input.t = 'input and type Model.t = 'model and type Result.t = 'result)
val of_module : ('input, 'model, 'action, 'result) component_s -> default_model:'model -> ('input, 'result) t
module type Enum = sig ... endval enum : (module Enum with type t = 'key) -> which:('input -> 'key) -> handle:('key -> ('input, 'result) t) -> ('input, 'result) tval if_ : ('input -> bool) -> then_:('input, 'result) t -> else_:('input, 'result) t -> ('input, 'result) t
module Infix : sig ... endval return : 'a -> ('b, 'a) tval map : ('e, 'a) t -> f:('a -> 'b) -> ('e, 'b) tval both : ('e, 'a) t -> ('e, 'b) t -> ('e, 'a * 'b) tval (<*>) : ('e, 'a -> 'b) t -> ('e, 'a) t -> ('e, 'b) tval (<*) : ('e, 'a) t -> ('e, unit) t -> ('e, 'a) tval (*>) : ('e, unit) t -> ('e, 'a) t -> ('e, 'a) tval (>>|) : ('e, 'a) t -> ('a -> 'b) -> ('e, 'b) tval apply : ('e, 'a -> 'b) t -> ('e, 'a) t -> ('e, 'b) tval map2 : ('e, 'a) t -> ('e, 'b) t -> f:('a -> 'b -> 'c) -> ('e, 'c) tval map3 : ('e, 'a) t -> ('e, 'b) t -> ('e, 'c) t -> f:('a -> 'b -> 'c -> 'd) -> ('e, 'd) tval all : ('e, 'a) t list -> ('e, 'a list) tval all_unit : ('e, unit) t list -> ('e, unit) t
val map_input : ('i2, 'result) t -> f:('i1 -> 'i2) -> ('i1, 'result) t
module Proc : sig ... endval state_machine : (module Bonsai__.Bonsai_intf.Model with type t = 'model) -> (module Bonsai__.Bonsai_intf.Action with type t = 'action) -> Core_kernel.Source_code_position.t -> default_model:'model -> apply_action:(inject:('action -> Vdom.Event.t) -> schedule_event:(Vdom.Event.t -> unit) -> 'input -> 'model -> 'action -> 'model) -> ('input, 'model * ('action -> Vdom.Event.t)) t
module Arrow : sig ... endval to_generic : ('input, 'result) t -> ('input, 'result, Incr.state_witness, Vdom.Event.t) Bonsai.Generic.tval of_generic : ('input, 'result, Incr.state_witness, Vdom.Event.t) Bonsai.Generic.t -> ('input, 'result) t