package macaque

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package macaque

macaque
- Check
- Inner_sql
  - bool_t
  - bytea_t
  - date_t
  - float_t
  - int16_t
  - int32_array_t
  - int32_t
  - int64_t
  - interval_t
  - numeric_t
  - row_t
  - string_t
  - time_t
  - timestamp_t
  - timestamptz_t
  - type_info
  - unit_t
- Query
  - Db
  - Make
    
    Db
    
    Thread
  - Make_with_Db
    
    Db
    
    Thread
  - QUERY
    
    Db
  - THREAD
- Sql
  - Op
  - Sequence
  - Table_type
  - Value
  - View
  - ViewOp
  - bool_t
  - bytea_t
  - date_t
  - float_t
  - int16_t
  - int32_array_t
  - int32_t
  - int64_t
  - interval_t
  - numeric_t
  - row_t
  - string_t
  - time_t
  - timestamp_t
  - timestamptz_t
  - type_info
  - unit_t
- Sql_base
- Sql_builders
- Sql_keywords
- Sql_parsers
- Sql_printers
- Sql_public
  - Op
  - Sequence
  - Table_type
  - Value
  - View
  - ViewOp
- Sql_types
  - bool_t
  - bytea_t
  - date_t
  - float_t
  - int16_t
  - int32_array_t
  - int32_t
  - int64_t
  - interval_t
  - numeric_t
  - row_t
  - string_t
  - time_t
  - timestamp_t
  - timestamptz_t
  - type_info
  - unit_t

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Thread : THREAD

Signature

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

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

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

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

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

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

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