Async

Monadic concurrency library

Version

Overview Documentation

IN THIS PACKAGE

library async
- module Async
  - module Command
  - module Deferred
    
    module Array
    
    module Choice
    
    module Infix
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module List
    
    module Map
    
    module Memo
    
    module Deferred
    
    module Choice
    
    module Handler
    
    module Infix
    
    module Let_syntax
    
    module Let_syntax
    
    module M
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Monad_infix
    
    module type Monad_sequence
    
    module Scheduler
    
    module Bvar
    
    module Fields
    
    module Direct
    
    module Ivar
    
    module Synchronous_time_source
    
    module Alarm
    
    module Event
    
    module Abort_result
    
    module Id
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Read_write
    
    module T1
    
    module Event
    
    module Fields
    
    module Direct
    
    module Option
    
    module Event_is_block
    
    module Optional_syntax
    
    module Optional_syntax
    
    module Status
    
    module Fields
    
    module Direct
    
    module Job_or_event
    
    module Match
    
    module Time_ns
    
    module Alternate_sexp
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Hash_queue
    
    module Hash_set
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Ofday
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Option
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Zoned
    
    module Option
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Span
    
    module Alternate_sexp
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Option
    
    module Parts
    
    module Private
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Stable
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Stable
    
    module Alternate_sexp
    
    module V1
    
    module Map
    
    module Set
    
    module Ofday
    
    module Option
    
    module V1
    
    module Zoned
    
    module Option
    
    module Span
    
    module Option
    
    module V1
    
    module V2
    
    module Map
    
    module Set
    
    module V1
    
    module Table
    
    module Utc
    
    module Zone
    
    module Very_low_priority_worker
    
    module Exec_result
    
    module Fields
    
    module Direct
    
    module Unregister
    
    module Monad_infix
    
    module Option
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Monad_infix
    
    module Or_error
    
    module Applicative_infix
    
    module Deferred
    
    module Choice
    
    module Handler
    
    module Infix
    
    module Let_syntax
    
    module Let_syntax
    
    module M
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Monad_infix
    
    module type Monad_sequence
    
    module Scheduler
    
    module Bvar
    
    module Fields
    
    module Direct
    
    module Ivar
    
    module Synchronous_time_source
    
    module Alarm
    
    module Event
    
    module Abort_result
    
    module Id
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Read_write
    
    module T1
    
    module Event
    
    module Fields
    
    module Direct
    
    module Option
    
    module Event_is_block
    
    module Optional_syntax
    
    module Optional_syntax
    
    module Status
    
    module Fields
    
    module Direct
    
    module Job_or_event
    
    module Match
    
    module Time_ns
    
    module Alternate_sexp
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Hash_queue
    
    module Hash_set
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Ofday
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Option
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Zoned
    
    module Option
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Span
    
    module Alternate_sexp
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Option
    
    module Parts
    
    module Private
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Stable
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Stable
    
    module Alternate_sexp
    
    module V1
    
    module Map
    
    module Set
    
    module Ofday
    
    module Option
    
    module V1
    
    module Zoned
    
    module Option
    
    module Span
    
    module Option
    
    module V1
    
    module V2
    
    module Map
    
    module Set
    
    module V1
    
    module Table
    
    module Utc
    
    module Zone
    
    module Very_low_priority_worker
    
    module Exec_result
    
    module Fields
    
    module Direct
    
    module Unregister
    
    module Expect_test_config
    
    module IO_flush
    
    module IO_run
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module List
    
    module Monad_infix
    
    module Queue
    
    module Result
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Monad_infix
    
    module Sequence
  - module Expect_test_config
    
    module IO_flush
    
    module IO_run
  - module Expect_test_config_or_error
    
    module IO_flush
    
    module IO_run
  - module Ppx_log_syntax
    
    module Global
    
    module No_global
    
    module Ppx_log_syntax
    
    module Global
  - module Quickcheck
library async.async_command
- module Async_command
  - module Anons
  - module Arg_type
    
    module Export
    
    module For_testing
  - module Auto_complete
  - module Deprecated
    
    module Spec
  - module type Enumerable_sexpable
  - module type Enumerable_stringable
  - module Flag
  - module Let_syntax
    
    module Let_syntax
  - module Param
    
    module Applicative_infix
    
    module Arg_type
    
    module Export
    
    module For_testing
    
    module If_nothing_chosen
    
    module type S
    
    module Applicative_infix
    
    module If_nothing_chosen
  - module Path
  - module Shape
    
    module Anons
    
    module Grammar
    
    module Base_info
    
    module Fields
    
    module Direct
    
    module Exec_info
    
    module Fields
    
    module Direct
    
    module Flag_help_display
    
    module Flag_info
    
    module Fields
    
    module Direct
    
    module Fully_forced
    
    module Group_info
    
    module Fields
    
    module Direct
    
    module Num_occurrences
    
    module Fields
    
    module Direct
    
    module Sexpable
    
    module Versioned
  - module Spec
    
    module Applicative_infix
    
    module Arg_type
    
    module Export
    
    module For_testing
    
    module If_nothing_chosen
  - module Staged
library async.async_quickcheck
- module Async_quickcheck
  - module Configure
    
    argument 1-Config
library async.async_rpc
- module Async_rpc
  - module Rpc
    
    module Connection
    
    module Client_implementations
    
    module Heartbeat_config
    
    module Low_latency_transport
    
    module Config
    
    module Handler_result
    
    module Header
    
    module Reader
    
    module type S
    
    module With_internal_reader
    
    module Send_result
    
    module With_internal_reader
    
    module Writer
    
    module type S
    
    module Transport
    
    module Handler_result
    
    module Header
    
    module Reader
    
    module type S
    
    module Send_result
    
    module Tcp
    
    module Writer
    
    module type S
library async.lock_file_async
- module Lock_file_async
  - module Flock
  - module Nfs
  - module Symlink
library async.log_extended
- module Log_extended
  - module Blocking
    
    module Output
  - module Command
  - module Console
    
    module Blocking
  - module For_testing
  - module Global
    
    module For_testing
  - module type Global_intf
    
    module For_testing
  - module Level
    
    module Stable
    
    module V1
  - module Make_global
    
    module For_testing
  - module Message
    
    module Stable
    
    module V0
    
    module V2
  - module Output
    
    module Format
    
    module Stable
    
    module V1
  - module Reader
    
    module Expert
  - module Rotation
    
    module type Id_intf
  - module Syslog
    
    module Blocking
library async.persistent_connection
- module Persistent_connection
  - module Make
    
    argument 1-Conn
    
    module Event
  - module Rpc
    
    module Event
  - module type S
    
    module Event
  - module type S_rpc
    
    module Event
  - module Versioned_rpc
    
    module Event
library async.unpack_sequence
- module Unpack_sequence
  - module Unpack_from
  - module Unpack_iter_result
  - module Unpack_result

Module Async

Async_kernel

include module type of struct include Async_kernel end

module Async_kernel_config = Async_kernel.Async_kernel_config

module Async_kernel_require_explicit_time_source =
  Async_kernel.Async_kernel_require_explicit_time_source

module Async_kernel_scheduler = Async_kernel.Async_kernel_scheduler

module Bvar = Async_kernel.Bvar

module Clock_ns = Async_kernel.Clock_ns

module Condition = Async_kernel.Condition

module Execution_context = Async_kernel.Execution_context

module Gc = Async_kernel.Gc

module Invariant = Async_kernel.Invariant

module Ivar = Async_kernel.Ivar

module Lazy_deferred = Async_kernel.Lazy_deferred

module Monad_sequence = Async_kernel.Monad_sequence

module Monitor = Async_kernel.Monitor

module Mvar = Async_kernel.Mvar

module Pipe = Async_kernel.Pipe

module Priority = Async_kernel.Priority

module Sequencer = Async_kernel.Sequencer

module Stream = Async_kernel.Stream

module Synchronous_time_source = Async_kernel.Synchronous_time_source

module Tail = Async_kernel.Tail

module Throttle = Async_kernel.Throttle

module Time_source = Async_kernel.Time_source

Toplevel functions

The functions below are broadly useful when writing Async programs, and so are made available at the toplevel.

val catch : 
  ( ( unit -> unit ) ->
    exn Async_kernel.Deferred.t )
    Monitor.with_optional_monitor_name

val choice : 
  'a Async_kernel.Deferred.t ->
  ( 'a -> 'b ) ->
  'b Async_kernel.Deferred.Choice.t

val choose : 
  'a Async_kernel.Deferred.Choice.t list ->
  'a Async_kernel.Deferred.t

val don't_wait_for : unit Async_kernel.Deferred.t -> unit

val never : unit -> 'a Async_kernel.Deferred.t

val try_with : 
  ( ?extract_exn:bool ->
    ?run:[ `Now | `Schedule ] ->
    ?rest:[ `Call of exn -> unit | `Log | `Raise ] ->
    ( unit -> 'a Async_kernel.Deferred.t ) ->
    ( 'a, exn ) Core.Result.t Async_kernel.Deferred.t )
    Monitor.with_optional_monitor_name

val upon : 'a Async_kernel.Deferred.t -> ( 'a -> unit ) -> unit

Infix operators and `Let_syntax` support

include Core.Monad.Infix with type 'a t := 'a Async_kernel.Deferred.t

val (>>=) : 
  'a Async_kernel.Deferred.t ->
  ( 'a -> 'b Async_kernel.Deferred.t ) ->
  'b Async_kernel.Deferred.t

t >>= f returns a computation that sequences the computations represented by two monad elements. The resulting computation first does t to yield a value v, and then runs the computation returned by f v.

val (>>|) : 
  'a Async_kernel.Deferred.t ->
  ( 'a -> 'b ) ->
  'b Async_kernel.Deferred.t

t >>| f is t >>= (fun a -> return (f a)).

val (>>>) : 'a Async_kernel.Deferred.t -> ( 'a -> unit ) -> unit

equivalent to Deferred.upon.

val (>>=?) : 
  ( 'a, 'b ) Async_kernel.Deferred.Result.t ->
  ( 'a -> ( 'c, 'b ) Async_kernel.Deferred.Result.t ) ->
  ( 'c, 'b ) Async_kernel.Deferred.Result.t

equivalent to Deferred.Result.bind.

val (>>|?) : 
  ( 'a, 'b ) Async_kernel.Deferred.Result.t ->
  ( 'a -> 'c ) ->
  ( 'c, 'b ) Async_kernel.Deferred.Result.t

equivalent to Deferred.Result.map.

include module type of struct include Async_kernel.Deferred.Let_syntax end

val return : 'a -> 'a Async_kernel.Deferred.t

val (>>=) : 
  'a Async_kernel.Deferred.t ->
  ( 'a -> 'b Async_kernel.Deferred.t ) ->
  'b Async_kernel.Deferred.t

val (>>|) : 
  'a Async_kernel.Deferred.t ->
  ( 'a -> 'b ) ->
  'b Async_kernel.Deferred.t

t >>| f is t >>= (fun a -> return (f a)).

module Let_syntax = Async_kernel.Let_syntax

module Deferred : sig ... end

Async_unix

include module type of struct include Async_unix end

module Async_config = Async_unix.Async_config

module Clock = Async_unix.Clock

module Dump_core_on_job_delay = Async_unix.Dump_core_on_job_delay

module Fd = Async_unix.Fd

module In_thread = Async_unix.In_thread

module Io_stats = Async_unix.Io_stats

module Log = Async_unix.Log

module Print = Async_unix.Print

module Process = Async_unix.Process

module Reader = Async_unix.Reader

module Require_explicit_time_source = Async_unix.Require_explicit_time_source

module Scheduler = Async_unix.Scheduler

module Shutdown = Async_unix.Shutdown

module Signal = Async_unix.Signal

module Socket = Async_unix.Socket

module Sys = Async_unix.Sys

module Tcp = Async_unix.Tcp

module Thread_safe = Async_unix.Thread_safe

module Writer = Async_unix.Writer

module Unix = Async_unix.Unix

val after : Time_unix.Span.t -> unit Async_kernel.Deferred.t

val at : Time_unix.t -> unit Async_kernel.Deferred.t

val every : 
  ?start:unit Async_kernel.Deferred.t ->
  ?stop:unit Async_kernel.Deferred.t ->
  ?continue_on_error:bool ->
  Time_unix.Span.t ->
  ( unit -> unit ) ->
  unit

val with_timeout : 
  Time_unix.Span.t ->
  'a Async_kernel.Deferred.t ->
  'a Clock.Or_timeout.t Async_kernel.Deferred.t

val schedule : ( ( unit -> unit ) -> unit ) Scheduler.with_options

val schedule' : 
  ( ( unit -> 'a Async_kernel.Deferred.t ) ->
    'a Async_kernel.Deferred.t )
    Scheduler.with_options

val shutdown : ?force:unit Async_kernel.Deferred.t -> int -> unit

val within : ( ( unit -> unit ) -> unit ) Scheduler.with_options

val within' : 
  ( ( unit -> 'a Async_kernel.Deferred.t ) ->
    'a Async_kernel.Deferred.t )
    Scheduler.with_options

module Printf = Async_unix.Printf

Shadow blocking functions in Core.Printf to prevent their unintentional use.

module Overwrite_ = Async_unix.Overwrite_

val close_in_noerr : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val close_in : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val close_out_noerr : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val close_out : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val eprintf : ( 'a, unit, string, unit ) format4 -> 'a

val flush_all : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val flush : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val fprintf : Async_unix.Writer.t -> ( 'a, unit, string, unit ) format4 -> 'a

val ifprintf : 'a -> ( 'b, 'a, 'c, unit ) format4 -> 'b

val in_channel_length : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val input_binary_int : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val input_byte : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val input_char : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val input_line : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val input_lines : 
  ?fix_win_eol:'a ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val input : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val input_value : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val open_in_bin : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val open_in_gen : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val open_in : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val open_out_bin : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val open_out_gen : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val open_out : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val out_channel_length : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val output_binary_int : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val output_byte : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val output_char : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val output : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val output_string : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val output_value : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val pos_in : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val pos_out : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val prerr_char : char -> unit

val prerr_endline : string -> unit

val prerr_float : float -> unit

val prerr_int : int -> unit

val prerr_newline : unit -> unit

val prerr_string : string -> unit

val print_char : char -> unit

val print_endline : string -> unit

val print_float : float -> unit

val printf : ( 'a, unit, string, unit ) format4 -> 'a

val print_int : int -> unit

val print_newline : unit -> unit

val print_s : ?mach:unit -> Sexplib.Sexp.t -> unit

val print_string : string -> unit

val read_float : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val read_int : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val read_line : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val read_lines : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val read_wrap : 
  ?binary:'a ->
  f:'b ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val really_input : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val seek_in : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val seek_out : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val set_binary_mode_in : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val set_binary_mode_out : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val write_lines : 
  [< `This_is_async__Think_about_blocking ] ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val write_wrap : 
  ?binary:'a ->
  f:'b ->
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val eprint_s : 
  [< `This_is_async__Think_about_blocking ] ->
  [> `This_is_async__Think_about_blocking ]

val eprint_s_nonblocking : ?mach:unit -> Sexplib.Sexp.t -> unit

module LargeFile = Async_unix.LargeFile

module Sexp = Async_unix.Sexp

val exit : 
  ?force:unit Async_kernel.Deferred.t ->
  int ->
  'a Async_kernel.Deferred.t

Async_command

module Command : sig ... end

Async_rpc

include module type of struct include Async_rpc end

module Rpc = Async_rpc.Rpc

module Versioned_rpc = Async_rpc.Versioned_rpc

module Quickcheck : sig ... end

module Expect_test_config : sig ... end

The default expect test config in code which has open Async.

module Expect_test_config_or_error : sig ... end

An alternative to Async.Deferred_or_error_expect_test_config in which %expect has type unit rather than unit Deferred.Or_error.t. This lets one write:

module Ppx_log_syntax : sig ... end