Module Private.Apply_actionSource

Sourcetype ('model, 'action) transition = schedule_event:(unit Ui_effect.t -> unit) -> 'model -> 'action -> 'model
Sourcetype ('model, 'action) t =
  1. | Incremental : ('model, 'action) transition Ui_incr.t -> ('model, 'action) t
  2. | Impossible : ('action -> Core.Nothing.t) -> (_, 'action) t
  3. | Join : {
    1. incr : ('model1, 'action1) transition Ui_incr.t;
    2. witness : 'action2 -> Core.Nothing.t;
    3. map_model : 'model -> 'model1 * 'model2;
    4. unmap_model : ('model1 * 'model2) -> 'model;
    5. map_action : 'action -> ('action1, 'action2) Core.Either.t;
    } -> ('model, 'action) t
Sourceval incremental : ('model, 'action) transition Ui_incr.t -> ('model, 'action) t
Sourceval impossible : (_, Core.Nothing.t) t
Sourceval to_incremental : ('model, 'action) t -> ('model, 'action) transition Ui_incr.t
Sourceval merge : ('model1, 'action1) t -> ('model2, 'action2) t -> ('model1 * 'model2, ('action1, 'action2) Base.Either.t) t
Sourceval map : ('model_in, 'action_in) t -> f: (('model_in, 'action_in) transition -> ('model_out, 'action_out) transition) -> ('model_out, 'action_out) t
Sourceval iter_incremental : (_, _) t -> f:(Incremental.Packed.t -> unit) -> unit