async_unix v0.9.1 · OCaml Package

val names : string list

val open_flags : 
  ([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t)
    Fieldslib.Field.t_with_perm

val last_read_time : 
  ([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm

val close_finished : 
  ([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
    Fieldslib.Field.t_with_perm

val state : 
  ([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm

val available : 
  ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm

val pos : ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm

val close_may_destroy_buf : 
  ([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
    Fieldslib.Field.t_with_perm

val buf : 
  ([< `Read | `Set_and_create ], t, Core.Bigstring.t)
    Fieldslib.Field.t_with_perm

val id : ([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm

val fd : ([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm

val make_creator : 
  fd:
    (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm ->
      'a ->
      ('b -> Fd.t) * 'c) ->
  id:
    (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm ->
      'c ->
      ('b -> Id.t) * 'd) ->
  buf:
    (([< `Read | `Set_and_create ], t, Core.Bigstring.t)
       Fieldslib.Field.t_with_perm ->
      'd ->
      ('b -> Core.Bigstring.t) * 'e) ->
  close_may_destroy_buf:
    (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
       Fieldslib.Field.t_with_perm ->
      'e ->
      ('b -> [ `Not_ever | `Not_now | `Yes ]) * 'f) ->
  pos:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      'f ->
      ('b -> int) * 'g) ->
  available:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      'g ->
      ('b -> int) * 'h) ->
  state:
    (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm ->
      'h ->
      ('b -> State.t) * 'i) ->
  close_finished:
    (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
       Fieldslib.Field.t_with_perm ->
      'i ->
      ('b -> unit Async_unix.Import.Ivar.t) * 'j) ->
  last_read_time:
    (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm ->
      'j ->
      ('b -> Core.Time.t) * 'k) ->
  open_flags:
    (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t)
       Fieldslib.Field.t_with_perm ->
      'k ->
      ('b -> open_flags Async_unix.Import.Deferred.t) * 'l) ->
  'a ->
  ('b -> t) * 'l

val create : 
  fd:Fd.t ->
  id:Id.t ->
  buf:Core.Bigstring.t ->
  close_may_destroy_buf:[ `Not_ever | `Not_now | `Yes ] ->
  pos:int ->
  available:int ->
  state:State.t ->
  close_finished:unit Async_unix.Import.Ivar.t ->
  last_read_time:Core.Time.t ->
  open_flags:open_flags Async_unix.Import.Deferred.t ->
  t

val map : 
  fd:
    (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm ->
      Fd.t) ->
  id:
    (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm ->
      Id.t) ->
  buf:
    (([< `Read | `Set_and_create ], t, Core.Bigstring.t)
       Fieldslib.Field.t_with_perm ->
      Core.Bigstring.t) ->
  close_may_destroy_buf:
    (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
       Fieldslib.Field.t_with_perm ->
      [ `Not_ever | `Not_now | `Yes ]) ->
  pos:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) ->
  available:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) ->
  state:
    (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm ->
      State.t) ->
  close_finished:
    (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
       Fieldslib.Field.t_with_perm ->
      unit Async_unix.Import.Ivar.t) ->
  last_read_time:
    (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm ->
      Core.Time.t) ->
  open_flags:
    (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t)
       Fieldslib.Field.t_with_perm ->
      open_flags Async_unix.Import.Deferred.t) ->
  t

val iter : 
  fd:
    (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm ->
      unit) ->
  id:
    (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm ->
      unit) ->
  buf:
    (([< `Read | `Set_and_create ], t, Core.Bigstring.t)
       Fieldslib.Field.t_with_perm ->
      unit) ->
  close_may_destroy_buf:
    (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
       Fieldslib.Field.t_with_perm ->
      unit) ->
  pos:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      unit) ->
  available:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      unit) ->
  state:
    (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm ->
      unit) ->
  close_finished:
    (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
       Fieldslib.Field.t_with_perm ->
      unit) ->
  last_read_time:
    (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm ->
      unit) ->
  open_flags:
    (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t)
       Fieldslib.Field.t_with_perm ->
      unit) ->
  unit

val fold : 
  init:'a ->
  fd:
    ('a ->
      ([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm ->
      'b) ->
  id:
    ('b ->
      ([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm ->
      'c) ->
  buf:
    ('c ->
      ([< `Read | `Set_and_create ], t, Core.Bigstring.t)
        Fieldslib.Field.t_with_perm ->
      'd) ->
  close_may_destroy_buf:
    ('d ->
      ([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
        Fieldslib.Field.t_with_perm ->
      'e) ->
  pos:
    ('e ->
      ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      'f) ->
  available:
    ('f ->
      ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      'g) ->
  state:
    ('g ->
      ([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm ->
      'h) ->
  close_finished:
    ('h ->
      ([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
        Fieldslib.Field.t_with_perm ->
      'i) ->
  last_read_time:
    ('i ->
      ([< `Read | `Set_and_create ], t, Core.Time.t)
        Fieldslib.Field.t_with_perm ->
      'j) ->
  open_flags:
    ('j ->
      ([< `Read | `Set_and_create ],
        t,
        open_flags Async_unix.Import.Deferred.t)
        Fieldslib.Field.t_with_perm ->
      'k) ->
  'k

val map_poly : 
  ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user ->
  'a list

val for_all : 
  fd:
    (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  id:
    (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  buf:
    (([< `Read | `Set_and_create ], t, Core.Bigstring.t)
       Fieldslib.Field.t_with_perm ->
      bool) ->
  close_may_destroy_buf:
    (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
       Fieldslib.Field.t_with_perm ->
      bool) ->
  pos:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      bool) ->
  available:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      bool) ->
  state:
    (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  close_finished:
    (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
       Fieldslib.Field.t_with_perm ->
      bool) ->
  last_read_time:
    (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  open_flags:
    (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t)
       Fieldslib.Field.t_with_perm ->
      bool) ->
  bool

val exists : 
  fd:
    (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  id:
    (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  buf:
    (([< `Read | `Set_and_create ], t, Core.Bigstring.t)
       Fieldslib.Field.t_with_perm ->
      bool) ->
  close_may_destroy_buf:
    (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
       Fieldslib.Field.t_with_perm ->
      bool) ->
  pos:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      bool) ->
  available:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      bool) ->
  state:
    (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  close_finished:
    (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
       Fieldslib.Field.t_with_perm ->
      bool) ->
  last_read_time:
    (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm ->
      bool) ->
  open_flags:
    (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t)
       Fieldslib.Field.t_with_perm ->
      bool) ->
  bool

val to_list : 
  fd:
    (([< `Read | `Set_and_create ], t, Fd.t) Fieldslib.Field.t_with_perm -> 'a) ->
  id:
    (([< `Read | `Set_and_create ], t, Id.t) Fieldslib.Field.t_with_perm -> 'a) ->
  buf:
    (([< `Read | `Set_and_create ], t, Core.Bigstring.t)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  close_may_destroy_buf:
    (([< `Read | `Set_and_create ], t, [ `Not_ever | `Not_now | `Yes ])
       Fieldslib.Field.t_with_perm ->
      'a) ->
  pos:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) ->
  available:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) ->
  state:
    (([< `Read | `Set_and_create ], t, State.t) Fieldslib.Field.t_with_perm ->
      'a) ->
  close_finished:
    (([< `Read | `Set_and_create ], t, unit Async_unix.Import.Ivar.t)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  last_read_time:
    (([< `Read | `Set_and_create ], t, Core.Time.t) Fieldslib.Field.t_with_perm ->
      'a) ->
  open_flags:
    (([< `Read | `Set_and_create ], t, open_flags Async_unix.Import.Deferred.t)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  'a list

module Direct : sig ... end

package async_unix