package async_unix

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val iter : t -> fd: (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm -> t -> Fd.t -> 'a) -> id: (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm -> t -> Id.t -> 'b) -> buf: (([< `Read | `Set_and_create ], t, Core.Bigstring.t) Fieldslib.Field.t_with_perm -> t -> Core.Bigstring.t -> 'c) -> close_may_destroy_buf: (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ]) Fieldslib.Field.t_with_perm -> t -> [ `Not_ever | `Not_now | `Yes ] -> 'd) -> pos: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'e) -> available: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'f) -> state: (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm -> t -> State.t -> 'g) -> close_finished: (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t) Fieldslib.Field.t_with_perm -> t -> unit Async_unix.Import.Ivar.t -> 'h) -> last_read_time: (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm -> t -> Core.Time.t -> 'i) -> open_flags: (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t) Fieldslib.Field.t_with_perm -> t -> open_flags Async_unix.Import.Deferred.t -> 'j) -> 'j
val fold : t -> init:'a -> fd: ('a -> ([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm -> t -> Fd.t -> 'b) -> id: ('b -> ([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm -> t -> Id.t -> 'c) -> buf: ('c -> ([< `Read | `Set_and_create ], t, Core.Bigstring.t) Fieldslib.Field.t_with_perm -> t -> Core.Bigstring.t -> 'd) -> close_may_destroy_buf: ('d -> ([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ]) Fieldslib.Field.t_with_perm -> t -> [ `Not_ever | `Not_now | `Yes ] -> 'e) -> pos: ('e -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'f) -> available: ('f -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'g) -> state: ('g -> ([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm -> t -> State.t -> 'h) -> close_finished: ('h -> ([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t) Fieldslib.Field.t_with_perm -> t -> unit Async_unix.Import.Ivar.t -> 'i) -> last_read_time: ('i -> ([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm -> t -> Core.Time.t -> 'j) -> open_flags: ('j -> ([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t) Fieldslib.Field.t_with_perm -> t -> open_flags Async_unix.Import.Deferred.t -> 'k) -> 'k
val for_all : t -> fd: (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm -> t -> Fd.t -> bool) -> id: (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm -> t -> Id.t -> bool) -> buf: (([< `Read | `Set_and_create ], t, Core.Bigstring.t) Fieldslib.Field.t_with_perm -> t -> Core.Bigstring.t -> bool) -> close_may_destroy_buf: (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ]) Fieldslib.Field.t_with_perm -> t -> [ `Not_ever | `Not_now | `Yes ] -> bool) -> pos: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> available: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> state: (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm -> t -> State.t -> bool) -> close_finished: (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t) Fieldslib.Field.t_with_perm -> t -> unit Async_unix.Import.Ivar.t -> bool) -> last_read_time: (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm -> t -> Core.Time.t -> bool) -> open_flags: (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t) Fieldslib.Field.t_with_perm -> t -> open_flags Async_unix.Import.Deferred.t -> bool) -> bool
val exists : t -> fd: (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm -> t -> Fd.t -> bool) -> id: (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm -> t -> Id.t -> bool) -> buf: (([< `Read | `Set_and_create ], t, Core.Bigstring.t) Fieldslib.Field.t_with_perm -> t -> Core.Bigstring.t -> bool) -> close_may_destroy_buf: (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ]) Fieldslib.Field.t_with_perm -> t -> [ `Not_ever | `Not_now | `Yes ] -> bool) -> pos: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> available: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> state: (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm -> t -> State.t -> bool) -> close_finished: (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t) Fieldslib.Field.t_with_perm -> t -> unit Async_unix.Import.Ivar.t -> bool) -> last_read_time: (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm -> t -> Core.Time.t -> bool) -> open_flags: (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t) Fieldslib.Field.t_with_perm -> t -> open_flags Async_unix.Import.Deferred.t -> bool) -> bool
val to_list : t -> fd: (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm -> t -> Fd.t -> 'a) -> id: (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm -> t -> Id.t -> 'a) -> buf: (([< `Read | `Set_and_create ], t, Core.Bigstring.t) Fieldslib.Field.t_with_perm -> t -> Core.Bigstring.t -> 'a) -> close_may_destroy_buf: (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ]) Fieldslib.Field.t_with_perm -> t -> [ `Not_ever | `Not_now | `Yes ] -> 'a) -> pos: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> available: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> state: (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm -> t -> State.t -> 'a) -> close_finished: (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t) Fieldslib.Field.t_with_perm -> t -> unit Async_unix.Import.Ivar.t -> 'a) -> last_read_time: (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm -> t -> Core.Time.t -> 'a) -> open_flags: (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t) Fieldslib.Field.t_with_perm -> t -> open_flags Async_unix.Import.Deferred.t -> 'a) -> 'a list
val map : t -> fd: (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm -> t -> Fd.t -> Fd.t) -> id: (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm -> t -> Id.t -> Id.t) -> buf: (([< `Read | `Set_and_create ], t, Core.Bigstring.t) Fieldslib.Field.t_with_perm -> t -> Core.Bigstring.t -> Core.Bigstring.t) -> close_may_destroy_buf: (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ]) Fieldslib.Field.t_with_perm -> t -> [ `Not_ever | `Not_now | `Yes ] -> [ `Not_ever | `Not_now | `Yes ]) -> pos: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> available: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> state: (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm -> t -> State.t -> State.t) -> close_finished: (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t) Fieldslib.Field.t_with_perm -> t -> unit Async_unix.Import.Ivar.t -> unit Async_unix.Import.Ivar.t) -> last_read_time: (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm -> t -> Core.Time.t -> Core.Time.t) -> open_flags: (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t) Fieldslib.Field.t_with_perm -> t -> open_flags Async_unix.Import.Deferred.t -> open_flags Async_unix.Import.Deferred.t) -> t
val set_all_mutable_fields : t -> buf:Core.Bigstring.t -> close_may_destroy_buf:[ `Not_ever | `Not_now | `Yes ] -> pos:int -> available:int -> state:State.t -> last_read_time:Core.Time.t -> unit