package incr_map
Helpers for incremental operations on map like data structures
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=91acc784e4760af8544c4504bee1a9f6d7385eb0620f8e56392cd193a250b7d2
doc/incr_map.collate/Incr_map_collate/Collated/Stable/V1/Diff/index.html
Module V1.DiffSource
Source
val sexp_of_t :
('a -> Sexplib0.Sexp.t) ->
('b -> Sexplib0.Sexp.t) ->
('a_diff -> Sexplib0.Sexp.t) ->
('b_diff -> Sexplib0.Sexp.t) ->
('a, 'b, 'a_diff, 'b_diff) t ->
Sexplib0.Sexp.tSource
val t_of_sexp :
(Sexplib0.Sexp.t -> 'a) ->
(Sexplib0.Sexp.t -> 'b) ->
(Sexplib0.Sexp.t -> 'a_diff) ->
(Sexplib0.Sexp.t -> 'b_diff) ->
Sexplib0.Sexp.t ->
('a, 'b, 'a_diff, 'b_diff) tSource
val bin_shape_t :
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.tSource
val bin_size_t :
'a Bin_prot.Size.sizer ->
'b Bin_prot.Size.sizer ->
'a_diff Bin_prot.Size.sizer ->
'b_diff Bin_prot.Size.sizer ->
('a, 'b, 'a_diff, 'b_diff) t Bin_prot.Size.sizerSource
val bin_write_t :
'a Bin_prot.Write.writer ->
'b Bin_prot.Write.writer ->
'a_diff Bin_prot.Write.writer ->
'b_diff Bin_prot.Write.writer ->
('a, 'b, 'a_diff, 'b_diff) t Bin_prot.Write.writerSource
val bin_writer_t :
'a Bin_prot.Type_class.writer ->
'b Bin_prot.Type_class.writer ->
'a_diff Bin_prot.Type_class.writer ->
'b_diff Bin_prot.Type_class.writer ->
('a, 'b, 'a_diff, 'b_diff) t Bin_prot.Type_class.writerSource
val bin_read_t :
'a Bin_prot.Read.reader ->
'b Bin_prot.Read.reader ->
'a_diff Bin_prot.Read.reader ->
'b_diff Bin_prot.Read.reader ->
('a, 'b, 'a_diff, 'b_diff) t Bin_prot.Read.readerSource
val __bin_read_t__ :
'a Bin_prot.Read.reader ->
'b Bin_prot.Read.reader ->
'a_diff Bin_prot.Read.reader ->
'b_diff Bin_prot.Read.reader ->
(int -> ('a, 'b, 'a_diff, 'b_diff) t) Bin_prot.Read.readerSource
val bin_reader_t :
'a Bin_prot.Type_class.reader ->
'b Bin_prot.Type_class.reader ->
'a_diff Bin_prot.Type_class.reader ->
'b_diff Bin_prot.Type_class.reader ->
('a, 'b, 'a_diff, 'b_diff) t Bin_prot.Type_class.readerSource
val bin_t :
'a Bin_prot.Type_class.t ->
'b Bin_prot.Type_class.t ->
'a_diff Bin_prot.Type_class.t ->
'b_diff Bin_prot.Type_class.t ->
('a, 'b, 'a_diff, 'b_diff) t Bin_prot.Type_class.tSource
val get :
(from:'a -> to_:'a -> 'a_diff Diffable.Optional_diff.t) ->
(from:'b -> to_:'b -> 'b_diff Diffable.Optional_diff.t) ->
from:('a, 'b) derived_on ->
to_:('a, 'b) derived_on ->
('a, 'b, 'a_diff, 'b_diff) t Diffable.Optional_diff.tSource
val apply_exn :
('a -> 'a_diff -> 'a) ->
('b -> 'b_diff -> 'b) ->
('a, 'b) derived_on ->
('a, 'b, 'a_diff, 'b_diff) t ->
('a, 'b) derived_onSource
val of_list_exn :
('a_diff list -> 'a_diff Diffable.Optional_diff.t) ->
('a -> 'a_diff -> 'a) ->
('b_diff list -> 'b_diff Diffable.Optional_diff.t) ->
('b -> 'b_diff -> 'b) ->
('a, 'b, 'a_diff, 'b_diff) t list ->
('a, 'b, 'a_diff, 'b_diff) t Diffable.Optional_diff.t