package incr_map
Helpers for incremental operations on map like data structures
Install
Dune Dependency
Authors
Maintainers
Sources
incr_map-v0.16.0.tar.gz
sha256=a29d13cbc1759714ef49cc398ccfd5548212d1c0ba497552877548c9ce734d67
doc/incr_map.collate/Incr_map_collate/Collate/Fields/index.html
Module Collate.FieldsSource
Source
val fold :
init:'acc__0 ->
filter:
('acc__0 ->
(('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
'acc__1) ->
order:
('acc__1 -> (('k, 'filter, 'order) t, 'order) Fieldslib.Field.t -> 'acc__2) ->
key_range:
('acc__2 ->
(('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
'acc__3) ->
rank_range:
('acc__3 ->
(('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
'acc__4) ->
'acc__4Source
val make_creator :
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
'acc__0 ->
('input__ -> 'filter) * 'acc__1) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
'acc__1 ->
('input__ -> 'order) * 'acc__2) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
'acc__2 ->
('input__ -> 'k Which_range.t) * 'acc__3) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
'acc__3 ->
('input__ -> int Which_range.t) * 'acc__4) ->
'acc__0 ->
('input__ -> ('k, 'filter, 'order) t) * 'acc__4Source
val create :
filter:'filter ->
order:'order ->
key_range:'k Which_range.t ->
rank_range:int Which_range.t ->
('k, 'filter, 'order) tSource
val map :
filter:((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t -> 'filter) ->
order:((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t -> 'order) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
'k Which_range.t) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
int Which_range.t) ->
('k, 'filter, 'order) tSource
val iter :
filter:((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t -> unit) ->
order:((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t -> unit) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t -> unit) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t -> unit) ->
unitSource
val for_all :
filter:((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t -> bool) ->
order:((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t -> bool) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t -> bool) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t -> bool) ->
boolSource
val exists :
filter:((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t -> bool) ->
order:((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t -> bool) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t -> bool) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t -> bool) ->
boolSource
val to_list :
filter:((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t -> 'elem__) ->
order:((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t -> 'elem__) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t -> 'elem__) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t -> 'elem__) ->
'elem__ list