package incr_map

  1. Overview
  2. Docs
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) -> unit
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__4
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) -> bool
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) -> bool
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__ list
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
val set_all_mutable_fields : ('k, 'filter, 'order) t -> unit
OCaml

Innovation. Community. Security.