package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t =

| Lens of {
1. table : Database.Table.t;
2. sort : Sort.t;
}
| LensSelect of {
1. lens : t;
2. predicate : Phrase.t;
3. sort : Sort.t;
}
| LensJoin of {
1. left : t;
2. right : t;
3. on : (string * string * string) list;
4. del_left : Phrase.t;
5. del_right : Phrase.t;
6. sort : Sort.t;
}

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

include Sexplib0.Sexpable.S with type t := t

val t_of_sexp : Sexplib0.Sexp.t -> t

val sexp_of_t : t -> Sexplib0.Sexp.t

val serialize : t -> string

Serialization using s-expression.

val deserialize : string -> t

Deserialization using s-expression.

val string_of_value : t -> string

val sort : t -> Sort.t

val is_memory_lens : t -> bool

val columns : t -> Column.List.t

val cols_present_aliases : t -> string list

returns the aliases of all present columns.

val colset : t -> Column.Set.t

val fundeps : t -> Fun_dep.Set.t

val predicate : t -> Phrase.t option

val get_primary_key : t -> Alias.Set.t

val generate_query : t -> Database.Select.t

val lens_get : db:Database.t -> t -> Links_lens__.Phrase_value.t list

Fetch the records of a lens from the database.

val lens_select_internal : t -> predicate:Phrase.t -> t

Construct a select lens using the specified underlying lens and select predicate. This should not be used to construct lenses in general, as it may have a bad put direction.

val lens_get_select_opt : 
  db:Database.t ->
  t ->
  predicate:Phrase.t option ->
  Links_lens__.Phrase_value.t list

Generate a select lens from the specified lens and query its results.

val query_exists : db:Database.t -> t -> Phrase.t -> bool

val set_serial : t -> columns:Alias.Set.t -> t

Change the type of the specified columns to be of serial type. Only primitive lenses supported.