Mina_caqti (mina_caqti.Mina

type Caqti_type.field +=

| Array_nullable_int : int option array Caqti_type.field

type Caqti_type.field +=

| Array_nullable_string : string option array Caqti_type.field

module Type_spec : sig ... end

val make_coding : 
  elem_to_string:( 'a -> string ) ->
  elem_of_string:( string -> 'a0 ) ->
  ( 'a1 option Core_kernel.Array.t ->
  ( string, 'b ) Core_kernel.Result.t )
  * ( string ->
  ( 'a2 option array, string ) Core_kernel__Result.t )

val array_nullable_int_typ : int option array Caqti_type.t

val array_int_typ : int array Caqti_type.t

val array_nullable_string_typ : string option array Caqti_type.t

val array_string_typ : string array Caqti_type.t

val deferred_result_list_fold : 
  'a list ->
  init:'b ->
  f:( 'c -> 'd -> ( 'e, 'f ) Async_kernel__Deferred_result.t ) ->
  ( 'g, 'h ) Async_kernel__Deferred_result.t

val deferred_result_list_mapi : 
  f:( Core_kernel.Int.t -> 'a -> ( 'b, 'c ) Async_kernel__Deferred_result.t ) ->
  'd list ->
  ( 'e list, 'f ) Async_kernel__Deferred_result.t

val deferred_result_list_map : 
  f:( 'a -> ( 'b, 'c ) Async_kernel__Deferred_result.t ) ->
  'a list ->
  ( 'b list, 'c ) Async_kernel__Deferred_result.t

val deferred_result_lift_opt : 
  ( 'a, 'err ) Async.Deferred.Result.t option ->
  ( 'a option, 'err ) Async.Deferred.Result.t

val add_if_some : 
  ( 'arg -> ( 'res, 'err ) Async.Deferred.Result.t ) ->
  'arg0 option ->
  ( 'res0 option, 'err0 ) Async.Deferred.Result.t

val add_if_zkapp_set : 
  ( 'arg -> ( 'res, 'err ) Async.Deferred.Result.t ) ->
  'arg0 Mina_base.Zkapp_basic.Set_or_keep.t ->
  ( 'res0 option, 'err0 ) Async.Deferred.Result.t

val add_if_zkapp_check : 
  ( 'arg -> ( 'res, 'err ) Async.Deferred.Result.t ) ->
  'arg0 Mina_base.Zkapp_basic.Or_ignore.t ->
  ( 'res0 option, 'err0 ) Async.Deferred.Result.t

val select_cols : 
  select:string ->
  table_name:string ->
  ?tannot:( string -> string option ) ->
  cols:string list ->
  unit ->
  string

val select_cols_from_id : table_name:string -> cols:string list -> string

val insert_into_cols : 
  returning:string ->
  table_name:string ->
  ?tannot:( string -> string option ) ->
  cols:string list ->
  unit ->
  string

val select_insert_into_cols : 
  select:(string * 'select Caqti_type.t) ->
  table_name:string ->
  ?tannot:( string -> string option ) ->
  cols:(string list * 'cols Caqti_type.t) ->
  (module Caqti_async.CONNECTION) ->
  'cols0 ->
  ( 'select0, [> Caqti_error.call_or_retrieve ] )
    Async_kernel__Deferred_result.t

val query : 
  f:
    ( 'a ->
      ( 'b, [< Caqti_error.t ] as 'c ) Stdlib.result Async_kernel.Deferred.t ) ->
  ( 'a, 'c ) Caqti_async.Pool.t ->
  'd Async_kernel__Deferred.t

val make_get_opt : 
  of_option:( 'a option -> 'b ) ->
  f:
    ( 'c ->
      ( 'd, [< Caqti_error.t ] ) Core_kernel._result Async_kernel__Deferred.t ) ->
  'e option ->
  'f Async_kernel__Deferred.t

functions to retrieve an item from the db, where the input has option type; the resulting option is converted to a suitable type

val get_zkapp_set_or_keep : 
  'arg option ->
  f:( 'arg0 -> ( 'res, [< Caqti_error.t ] ) Async.Deferred.Result.t ) ->
  'res0 Mina_base.Zkapp_basic.Set_or_keep.t Async.Deferred.t

val get_zkapp_or_ignore : 
  'arg option ->
  f:( 'arg0 -> ( 'res, [< Caqti_error.t ] ) Async.Deferred.Result.t ) ->
  'res0 Mina_base.Zkapp_basic.Or_ignore.t Async.Deferred.t

val get_opt_item : 
  'arg option ->
  f:( 'arg0 -> ( 'res, [< Caqti_error.t ] ) Async.Deferred.Result.t ) ->
  'res0 option Async.Deferred.t