package caqti
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=d688bd22f6fde5be5a755900545fade0d5fdce6dbcb0b85770d02dad87c41e7c
md5=d18745a703da336054c0d27e78f8be8a
doc/caqti/Caqti_connection_sig/module-type-S/index.html
Module type Caqti_connection_sig.SSource
Full connection signature available to users.
include Base
Query
val call :
f:(('b, 'm) Response.t -> ('c, 'e) result future) ->
('a, 'b, 'm) Caqti_request.t ->
'a ->
('c, [> Caqti_error.call ] as 'e) result futurecall ~f request params performs request with parameters params invoking f to process the result.
Transactions
Starts a transaction if supported by the underlying database, otherwise does nothing.
Commits the current transaction if supported by the underlying database, otherwise does nothing.
Rolls back a transaction if supported by the underlying database, otherwise does nothing.
Disconnection and Reuse
Calling disconnect () closes the connection to the database and frees up related resources.
For internal use by Caqti_pool. Tries to ensure the validity of the connection and must return false if unsuccessful.
For internal use by Caqti_pool. Called after a connection has been used. check f must call f () exactly once with an argument indicating whether to keep the connection in the pool or discard it.
Information about the driver providing this connection module.
Retrieval Convenience
These are shortcuts for call combined with retrieval functions from Caqti_response_sig.S of the same name.
val exec :
('a, unit, [< `Zero ]) Caqti_request.t ->
'a ->
(unit, [> Caqti_error.call_or_retrieve ] as 'e) result futureCombines call with Response.exec.
val find :
('a, 'b, [< `One ]) Caqti_request.t ->
'a ->
('b, [> Caqti_error.call_or_retrieve ] as 'e) result futureCombines call with Response.find.
val find_opt :
('a, 'b, [< `Zero | `One ]) Caqti_request.t ->
'a ->
('b option, [> Caqti_error.call_or_retrieve ] as 'e) result futureCombines call with Response.find_opt.
val fold :
('a, 'b, [< `Zero | `One | `Many ]) Caqti_request.t ->
('b -> 'c -> 'c) ->
'a ->
'c ->
('c, [> Caqti_error.call_or_retrieve ] as 'e) result futureCombines call with Response.fold.
val fold_s :
('a, 'b, [< `Zero | `One | `Many ]) Caqti_request.t ->
('b -> 'c -> ('c, 'e) result future) ->
'a ->
'c ->
('c, [> Caqti_error.call_or_retrieve ] as 'e) result futureCombines call with Response.fold_s.
val iter_s :
('a, 'b, [< `Zero | `One | `Many ]) Caqti_request.t ->
('b -> (unit, 'e) result future) ->
'a ->
(unit, [> Caqti_error.call_or_retrieve ] as 'e) result futureCombines call with Response.iter_s.
val collect_list :
('a, 'b, [< `Zero | `One | `Many ]) Caqti_request.t ->
'a ->
('b list, [> Caqti_error.call_or_retrieve ] as 'e) result futurecollect_list request param performs a call on request, extracting the result as a list.
val rev_collect_list :
('a, 'b, [< `Zero | `One | `Many ]) Caqti_request.t ->
'a ->
('b list, [> Caqti_error.call_or_retrieve ] as 'e) result futurerev_collect_list request param performs a call on request, extracting the result as a reversed list. This is more efficient than find_list and fits well with a subsequent List.rev_map, though it may not matter much in practise.