System (p.caqti-miou.2.2.4.doc.caqti-miou.unix.Caqti_miou

Source

val error_msgf : 
  ('a, Format.formatter, unit, ('b, [> `Msg of string ]) result) format4 ->
  'a

Sourcemodule type FLOW = Caqti_platform.System_sig.SOCKET_OPS with type 'a fiber = 'a

Sourcetype ocaml = |

Sourceand system = |

Sourcetype 'a impl =

| OCaml : (module FLOW with type t = 'a) * 'a -> ocaml impl
| System : Buffer.t * Miou_unix.file_descr -> system impl

Sourcetype socket =

| Socket : 'a impl -> socket

Sourcetype Caqti_error.msg +=

| Msg_unix of Unix.error * string * string

Sourceval reraise : exn -> 'a

Sourcemodule System_core : sig ... end

include module type of struct include System_core end

include Caqti_platform.System_sig.CORE
  with type 'a Fiber.t = 'a
   and module Stream = Caqti_miou.Stream
   and type Switch.t = Caqti_miou.Switch.t
   and type stdenv := unit

Sourcemodule Fiber = System_core.Fiber

module Switch = System_core.Switch

A module used by EIO to handle cleanup tasks; unit for other platforms.

Sourceval async : sw:Switch.t -> (unit -> unit Fiber.t) -> unit

async f runs f () asynchroneously if possible, else immediately.

module Mutex = System_core.Mutex

module Condition = System_core.Condition

Sourcemodule Log = System_core.Log

Sourcemodule Sequencer = System_core.Sequencer

Sourcetype stdenv = unit

Sourcemodule Alarm : sig ... end

Sourcemodule Stream = Caqti_miou.Stream

module Pool : sig ... end

Sourcemodule Net : sig ... end