Module `Caqti_error`Source

Error descriptors.

Messages

Sourcetype msg = ..

In this type, drivers can stash information about an errors in ther own format, which can later be used for pretty-printing and or future operations. Drivers must define_msg on each constructor added to this type.

Source

val define_msg : 
  pp:(Format.formatter -> msg -> unit) ->
  extension_constructor ->
  unit

Mandatory registration of pretty-printer for a driver-supplied error descriptor.

Sourceval pp_msg : Format.formatter -> msg -> unit

pp_msg ppf msg formats msg on ppf.

Sourcetype msg +=

| Msg : string -> msg
(*
The shape of locally generated messages and messages from drivers without dedicated error type.
*)

Messages with Metadata

Note. Please consider the fields internal for now, they may still be revised or hidden.

Sourcetype load_error = private {

uri : Uri.t;
msg : msg;

}

Sourcetype connection_error = private {

uri : Uri.t;
msg : msg;

}

Sourcetype query_error = private {

uri : Uri.t;
query : string;
msg : msg;

}

Sourcetype coding_error = private {

uri : Uri.t;
typ : Caqti_type.any;
msg : msg;

}

Documented Constructors

Errors during Driver Loading

Sourceval load_rejected : uri:Uri.t -> msg -> [> `Load_rejected of load_error ]

load_rejected ~uri msg indicates that a driver could not be identified from uri.

Sourceval load_failed : uri:Uri.t -> msg -> [> `Load_failed of load_error ]

load_failed ~uri msg indicates that a driver for uri could not be loaded.

Errors during Connect

Source

val connect_rejected : 
  uri:Uri.t ->
  msg ->
  [> `Connect_rejected of connection_error ]

connect_rejected ~uri msg indicates that the driver rejected the URI.

Source

val connect_failed : 
  uri:Uri.t ->
  msg ->
  [> `Connect_failed of connection_error ]

connect_failed ~uri msg indicates that the driver failed to establish a connection to the database.

Errors during Call

Source

val encode_missing : 
  uri:Uri.t ->
  field_type:'a Caqti_type.field ->
  unit ->
  [> `Encode_rejected of coding_error ]

encode_missing ~uri ~field_type () indicates that the driver does not support field_type and no fallback encoding is available for the type.

Source

val encode_rejected : 
  uri:Uri.t ->
  typ:'a Caqti_type.t ->
  msg ->
  [> `Encode_rejected of coding_error ]

encode_rejected ~uri ~typ msg indicates that encoding a value to typ failed, e.g. due to being out of range.

Source

val encode_failed : 
  uri:Uri.t ->
  typ:'a Caqti_type.t ->
  msg ->
  [> `Encode_failed of coding_error ]

encode_failed ~uri ~typ msg indicates that a parameter of type typ was not accepted by the database client library.

Source

val request_rejected : 
  uri:Uri.t ->
  query:string ->
  msg ->
  [> `Request_rejected of query_error ]

request_rejected ~uri ~query msg indicates that query was not accepted by the database or driver.

Source

val request_failed : 
  uri:Uri.t ->
  query:string ->
  msg ->
  [> `Request_failed of query_error ]

request_failed ~uri ~query msg indicates that the request could not be transmitted to the database, that the database was not ready to process the request, or that something went wrong while processing the request.

Errors during Result Retrieval

Source

val decode_missing : 
  uri:Uri.t ->
  field_type:'a Caqti_type.field ->
  unit ->
  [> `Decode_rejected of coding_error ]

decode_missing ~uri ~field_type () indicates that the driver does not support field_type for decoding result rows.

Source

val decode_rejected : 
  uri:Uri.t ->
  typ:'a Caqti_type.t ->
  msg ->
  [> `Decode_rejected of coding_error ]

decode_rejected ~uri ~typ msg indicates that the driver could not decode a field of type typ from the returned row, e.g. due to an invalid value or limited range of the target type.

Source

val response_failed : 
  uri:Uri.t ->
  query:string ->
  msg ->
  [> `Response_failed of query_error ]

response_failed ~uri ~query msg indicates that something when wrong while fetching a delayed part of the response.

Source

val response_rejected : 
  uri:Uri.t ->
  query:string ->
  msg ->
  [> `Response_rejected of query_error ]

response_rejected ~uri ~query msg indicates that the response from the database was rejected due to requirements posed by client code.

Specific Error Types

Sourcetype call = [

| `Encode_rejected of coding_error
| `Encode_failed of coding_error
| `Request_rejected of query_error
| `Request_failed of query_error
| `Response_rejected of query_error

]

Sourcetype retrieve = [

| `Decode_rejected of coding_error
| `Response_failed of query_error
| `Response_rejected of query_error

]

Sourcetype call_or_retrieve = [

| call
| retrieve

]

Sourcetype transact = [

| call
| retrieve

]

Sourcetype load = [

| `Load_rejected of load_error
| `Load_failed of load_error

]

Sourcetype connect = [

| `Connect_rejected of connection_error
| `Connect_failed of connection_error
| `Post_connect of call_or_retrieve

]

Sourcetype load_or_connect = [

| load
| connect

]

Generic Error Type and Functions

Sourcetype t = [

| load
| connect
| call
| retrieve

]

The full union of errors used by Caqti.

Sourceval uri : [< t ] -> Uri.t

uri error is the URI of the connection used where error occurred.

Sourceval pp : Format.formatter -> [< t ] -> unit

pp ppf error prints an explanation of error on ppf.

Sourceval show : [< t ] -> string

show error is an explanation of error.

Source

val uncongested : 
  ('a, [< t | `Congested of Caqti_common.counit ]) result ->
  ('a, [> t ]) result

uncongested r eliminates an unused `Congested case from the error.

Sourceexception Exn of t

Exn error can be used when an exception is preferred over explicit error handling. The core Caqti API never raises exceptions which originate from runtime errors.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/caqti/Caqti_error/index.html

Module `Caqti_error`Source

Messages

Messages with Metadata

Documented Constructors

Errors during Driver Loading

Errors during Connect

Errors during Call

Errors during Result Retrieval

Specific Error Types

Generic Error Type and Functions

package caqti

Install

Dune Dependency

Authors

Maintainers

Sources

doc/caqti/Caqti_error/index.html

Module Caqti_errorSource

Messages

Messages with Metadata

Documented Constructors

Errors during Driver Loading

Errors during Connect

Errors during Call

Errors during Result Retrieval

Specific Error Types

Generic Error Type and Functions

Module `Caqti_error`Source