Query (p.macaque.0.7.4.doc.macaque.Query)

module type THREAD = sig ... end

module type QUERY = sig ... end

module Make (Thread : THREAD) : QUERY with type 'a Db.monad = 'a Thread.t

module Make_with_Db
  (Thread : THREAD)
  (Db : PGOCaml_generic.PGOCAML_GENERIC with type 'a monad = 'a Thread.t) : 
  QUERY with module Db = Db

include QUERY
  with type 'a Db.monad = 'a PGOCaml.monad
   and type 'a Db.t = 'a PGOCaml.t

module Db : 
  PGOCaml_generic.PGOCAML_GENERIC
    with type 'a monad = 'a PGOCaml.monad
    with type 'a t = 'a PGOCaml.t

val query : _ Db.t -> ?log:out_channel -> 'a Sql.query -> 'a Db.monad

val view : _ Db.t -> ?log:out_channel -> ('a, _) Sql.view -> 'a list Db.monad

val view_one : _ Db.t -> ?log:out_channel -> ('a, _) Sql.view -> 'a Db.monad

val view_opt : 
  _ Db.t ->
  ?log:out_channel ->
  ('a, _) Sql.view ->
  'a option Db.monad

val value : 
  _ Db.t ->
  ?log:out_channel ->
  < t : 'a Sql.type_info ; nul : Sql.non_nullable.. > Sql.t ->
  'a Db.monad

val value_opt : 
  _ Db.t ->
  ?log:out_channel ->
  < t : 'a Sql.type_info ; nul : Sql.nullable.. > Sql.t ->
  'a option Db.monad