package caqti

You can search for identifiers within the package.

in-package search v0.2.0

Unified interface to relational database libraries

Install

dune-project

Dependency

sha256=3ceea06ba0e8e8bcab0386b5817b68cb30fce457eaa25ada0182891d66f6a0b9

sha512=e01f546a45b04cafd5fa262e9228e5a1aabd5e0942059c073a4181c928450baf3d990cc59ffb1a33dff445b46a0e218224a23dca96e8d24cdd0ab793d08e4538

type +'a t

A concurrency monad with an optional failure monad, or just the identity type constructor for blocking operation.

module Infix : sig ... end

val return : 'a -> 'a t

Return operation of the concurrency monad.

val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t

val finally : (unit -> 'a t) -> (unit -> unit t) -> 'a t

finally f g runs f () and then runs g () whether the former finished, failed with an exception, or failed with a monadic failure.

val cleanup : (unit -> 'a t) -> (unit -> unit t) -> 'a t

cleanup f g runs f () and then runs g () and re-raise the failure if and only if f () failed with an exception or a monadic failure.