package caqti

  1. Overview
  2. Docs

Module type Caqti1_system_sig.SSource

Sourcetype +'a io
Sourceval (>>=) : 'a io -> ('a -> 'b io) -> 'b io
Sourceval (>|=) : 'a io -> ('a -> 'b) -> 'b io
Sourceval return : 'a -> 'a io
Sourceval join : unit io list -> unit io
Sourceval fail : exn -> 'a io
Sourceval catch : (unit -> 'a io) -> (exn -> 'a io) -> 'a io
Sourcemodule Mvar : sig ... end
Sourcemodule Unix : sig ... end
Sourcemodule Log : sig ... end
Sourcemodule Preemptive : sig ... end