package incr_map

  1. Overview
  2. Docs
type 'a derived_on = 'a t
type ('a, 'a_diff) t =
  1. | Set_to_all_rows
  2. | Set_to_from of 'a
  3. | Set_to_to of 'a
  4. | Set_to_between of 'a * 'a
  5. | Diff_from of 'a_diff
  6. | Diff_to of 'a_diff
  7. | Diff_between of ('a, 'a, 'a_diff, 'a_diff) Diffable.For_ppx.Tuple2.For_inlined_tuple.Diff.t
include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t
val t_of_sexp : (Sexplib0__.Sexp.t -> 'a) -> (Sexplib0__.Sexp.t -> 'b) -> Sexplib0__.Sexp.t -> ('a, 'b) t
val sexp_of_t : ('a -> Sexplib0__.Sexp.t) -> ('b -> Sexplib0__.Sexp.t) -> ('a, 'b) t -> Sexplib0__.Sexp.t
include Core.Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t
val bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2
val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2
val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2
val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2
val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer
val bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader
val bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t
val get : (from:'a -> to_:'a -> 'a_diff Diffable.For_ppx.Optional_diff.t) -> from:'a derived_on -> to_:'a derived_on -> ('a, 'a_diff) t Diffable.For_ppx.Optional_diff.t
val apply_exn : ('a -> 'a_diff -> 'a) -> 'a derived_on -> ('a, 'a_diff) t -> 'a derived_on
val of_list_exn : ('a_diff list -> 'a_diff Diffable.For_ppx.Optional_diff.t) -> ('a -> 'a_diff -> 'a) -> ('a, 'a_diff) t list -> ('a, 'a_diff) t Diffable.For_ppx.Optional_diff.t
OCaml

Innovation. Community. Security.