package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Sorted = Sorted_records

type env

val matches_change : 
  ((string list * 'a) * (Links_lens__.Phrase_value.t list * 'b) list) list ->
  Links_lens__Phrase.t option

val delta_merge_affected : Value.t -> Sorted.t -> Sorted.t

val query_join_records : Value.t -> Sorted.t -> string list -> Sorted.t

val query_project_records : 
  Value.t ->
  Sorted.t ->
  string list ->
  string list ->
  Sorted.t

val lens_put_set_step : 
  env:env ->
  Value.t ->
  Sorted.t ->
  (env:env -> Value.t -> Sorted.t -> env) ->
  env

val lens_get_delta : Value.t -> Links_lens__.Phrase_value.t list -> Sorted.t

val lens_put_step : 
  Value.t ->
  Links_lens__.Phrase_value.t list ->
  (env:env -> Value.t -> Sorted.t -> env) ->
  env:env ->
  env

val take : 'a list -> int -> 'a list

val skip : 'a list -> int -> 'a list

module OrderedBoolList : sig ... end

module MapBoolList : sig ... end

val apply_delta : 
  table:Database.Table.t ->
  database:Database.t ->
  sort:Sort.t ->
  env:int Links_lens__Lens_map.Make(Links_lens__.Lens_int.Int).t ->
  Sorted.t ->
  int Links_lens__Lens_map.Make(Links_lens__.Lens_int.Int).t

val get_fds : 
  (string list * string list) list ->
  Column.t list ->
  Fun_dep.Set.t

val map_keys : Sorted.t -> Sorted.t

val lens_put : Value.t -> Links_lens__.Phrase_value.t list -> unit