links 0.9.4 · OCaml Package

type base_type =

type tag = int

val pp_tag : 
  Ppx_deriving_runtime.Format.formatter ->
  tag ->
  Ppx_deriving_runtime.unit

val show_tag : tag -> Ppx_deriving_runtime.string

type t =

and env = {

}

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

val show : t -> Ppx_deriving_runtime.string

val pp_env : 
  Ppx_deriving_runtime.Format.formatter ->
  env ->
  Ppx_deriving_runtime.unit

val show_env : env -> Ppx_deriving_runtime.string

val query_error : ('a, unit, string, 'b) format4 -> 'a

val nil : t

val bind : env -> (Env.Int.name * t) -> env

val lookup : env -> Var.var -> t

val expression_of_base_value : Value.t -> t

val check_policies_compatible : 
  CommonTypes.QueryPolicy.t ->
  CommonTypes.QueryPolicy.t ->
  unit

val field_types_of_row : Types.datatype -> Types.datatype Utility.StringMap.t

val unbox_xml : t -> Value.xmlitem

val unbox_string : t -> string

val unbox_list : t -> t list

val unbox_pair : t -> t * t

val unbox_record : t -> t Utility.StringMap.t

val used_database : t -> Value.database option

val string_of_t : t -> string

val recdty_field_types : Types.datatype -> Types.datatype Utility.StringMap.t

val env_of_value_env : CommonTypes.QueryPolicy.t -> Value.env -> env

val empty_env : CommonTypes.QueryPolicy.t -> env

val append_env : env -> env -> env

val subst : t -> Var.var -> t -> t

val occurs_free_gens : 
  (Var.var * t) list ->
  t ->
  (Var.var * t * Types.datatype) option

val type_of_expression : t -> Types.datatype

val eta_expand_var : (Var.var * Types.datatype) -> t

val eta_expand_list : t -> (Var.var * t) list * t list * t

val default_of_base_type : CommonTypes.Primitive.t -> t

val value_of_expression : t -> Value.t

val labels_of_field_types : 'a Utility.StringMap.t -> Utility.StringSet.t

val table_field_types : Value.table -> Types.typ Utility.StringMap.t

val is_list : t -> bool

val likeify : t -> t option

val sql_of_query : t -> Sql.query

type let_clause = Var.var * t * Var.var * t

type let_query = let_clause list

val sql_of_let_query : let_query -> Sql.query

val update : ((Var.var * string) * t option * t) -> Sql.query

val delete : ((Var.var * string) * t option) -> Sql.query

val insert : string -> string list -> Value.t list list -> Sql.query

package links