package caqti

You can search for identifiers within the package.

in-package search v0.2.0

caqti
- Caqti_common
- Caqti_common_priv
  - Alog
  - List
  - Option
  - Result
- Caqti_connect
  - Make_unix
    
    CONNECTION
    
    Response
    
    Pool
    
    System
    
    Log
    
    Mvar
    
    Preemptive
    
    Stream
    
    Unix
- Caqti_connection
  - Make_convenience
    
    C
    
    Response
    
    Sys
    
    Log
    
    Mvar
    
    Stream
  - Make_helpers
    
    Sys
    
    Log
    
    Mvar
    
    Stream
  - Make_populate
    
    C
    
    Response
    
    Sys
    
    Log
    
    Mvar
    
    Stream
- Caqti_driver_info
- Caqti_driver_lib
- Caqti_error
- Caqti_heap
  - Make
    
    Elt
  - S
- Caqti_mult
- Caqti_pool
  - Make
    
    System
    
    Log
    
    Mvar
    
    Stream
- Caqti_query
- Caqti_request
  - Infix
- Caqti_sql
- Caqti_sql_io
  - MONAD
  - Make
    
    Io
  - S
- Caqti_stream
  - FUTURE
  - Make
    
    X
  - S
- Caqti_type
  - Field
  - Std
caqti.blocking
- Caqti_blocking
  - CONNECTION
    
    Response
  - Pool
  - Stream
- Caqti_blocking_sql_io

Legend:
Library
Module
Module type
Parameter
Class
Class type

Facilities for extending and using primitive field types.

type 'a t = ..

An extensible type describing primitive SQL types and types which can be converted to and from such types. When adding a new constructor, register the coding with Field.define_coding if possible. Otherwise, the type will only work with drivers which handle it themselves. The shipped drivers only handle the constructors listed here.

type _ coding =

| Coding : {
1. rep : 'b t;
2. encode : 'a -> ('b, string) result;
3. decode : 'b -> ('a, string) result;
} -> 'a coding

type get_coding = {

get_coding : 'a. Caqti_driver_info.t -> 'a t -> 'a coding;

}

val define_coding : 'a t -> get_coding -> unit

val coding : Caqti_driver_info.t -> 'a t -> 'a coding option

val to_string : 'a t -> string