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/Direct/index.html
Module Fields.DirectSource
Source
val iter :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
unit) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
unit) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
unit) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
unit) ->
unitSource
val fold :
('k, 'filter, 'order) t ->
init:'acc__0 ->
filter:
('acc__0 ->
(('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
'acc__1) ->
order:
('acc__1 ->
(('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
'acc__2) ->
key_range:
('acc__2 ->
(('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
'acc__3) ->
rank_range:
('acc__3 ->
(('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
'acc__4) ->
'acc__4Source
val for_all :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
bool) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
bool) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
bool) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
bool) ->
boolSource
val exists :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
bool) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
bool) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
bool) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
bool) ->
boolSource
val to_list :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
'elem__) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
'elem__) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
'elem__) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
'elem__) ->
'elem__ listSource
val map :
('k, 'filter, 'order) t ->
filter:
((('k, 'filter, 'order) t, 'filter) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'filter ->
'filter) ->
order:
((('k, 'filter, 'order) t, 'order) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'order ->
'order) ->
key_range:
((('k, 'filter, 'order) t, 'k Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
'k Which_range.t ->
'k Which_range.t) ->
rank_range:
((('k, 'filter, 'order) t, int Which_range.t) Fieldslib.Field.t ->
('k, 'filter, 'order) t ->
int Which_range.t ->
int Which_range.t) ->
('k, 'filter, 'order) t