Bonsai (p.bonsai.v0.14.0.doc.bonsai.mdx.Bonsai

module Incr : sig ... end

module Event = Vdom.Event

include sig ... end

type on_action_mismatch = [

| `Ignore
| `Raise
| `Warn

]

type ('input, 'result) t = ('input, 'result) Bonsai.Make(Incr)(Vdom.Event).t

val sexp_of_t : ('a, 'b) t -> Core_kernel.Sexp.t

val input : ('input, 'input) t

val const : 'result -> ('a, 'result) t

val pure : f:('input -> 'result) -> ('input, 'result) t

val compose : ('i1, 'r1) t -> ('r1, 'r2) t -> ('i1, 'r2) t

module type S = sig ... end

type (!'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)

module M (Component : S) : sig ... end

val of_module : 
  ('input, 'model, 'action, 'result) component_s ->
  default_model:'model ->
  ('input, 'result) t

module type Enum = sig ... end

val enum : 
  (module Enum with type t = 'key) ->
  which:('input -> 'key) ->
  handle:('key -> ('input, 'result) t) ->
  ('input, 'result) t

val if_ : 
  ('input -> bool) ->
  then_:('input, 'result) t ->
  else_:('input, 'result) t ->
  ('input, 'result) t

module Infix : sig ... end

val return : 'a -> ('b, 'a) t

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

val both : ('e, 'a) t -> ('e, 'b) t -> ('e, 'a * 'b) t

val (<*>) : ('e, 'a -> 'b) t -> ('e, 'a) t -> ('e, 'b) t

val (<*) : ('e, 'a) t -> ('e, unit) t -> ('e, 'a) t

val (*>) : ('e, unit) t -> ('e, 'a) t -> ('e, 'a) t

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

val apply : ('e, 'a -> 'b) t -> ('e, 'a) t -> ('e, 'b) t

val map2 : ('e, 'a) t -> ('e, 'b) t -> f:('a -> 'b -> 'c) -> ('e, 'c) t

val map3 : 
  ('e, 'a) t ->
  ('e, 'b) t ->
  ('e, 'c) t ->
  f:('a -> 'b -> 'c -> 'd) ->
  ('e, 'd) t

val all : ('e, 'a) t list -> ('e, 'a list) t

val all_unit : ('e, unit) t list -> ('e, unit) t

module Applicative_infix : sig ... end

val map_input : ('i2, 'result) t -> f:('i1 -> 'i2) -> ('i1, 'result) t

module Proc : sig ... end

module Let_syntax : sig ... end

val state_machine : 
  (module Bonsai_types.Model with type t = 'model) ->
  (module Bonsai_types.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 Map : sig ... end

module List_deprecated : sig ... end

module Arrow : sig ... end

module With_incr : sig ... end

val to_generic : 
  ('input, 'result) t ->
  ('input, 'result, Incr.state_witness, Vdom.Event.t) Bonsai.Generic.t

val of_generic : 
  ('input, 'result, Incr.state_witness, Vdom.Event.t) Bonsai.Generic.t ->
  ('input, 'result) t