package macaque

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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:Pervasives.out_channel ->
  'a Sql.query ->
  'a Db.monad

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

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

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

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

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