package eio

  1. Overview
  2. Docs
Effect-based direct-style IO API for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (19)

Authors

  1. A
    Anil Madhavapeddy
  2. T
    Thomas Leonard

Maintainers

  1. A
    anil@recoil.org

Sources

eio-1.3.tbz
sha256=8ed5c13e6689f31c85dca5f12762d84b8cc0042a7b07d3e464df6eb4b72b3dfc
sha512=46e8f817f32c3316e7f35835a136ad177a295b3306351eb2efa2386482b0169a5b19ed2925b32da2a1f10d40f083fe3d588dd401908f9fec6e4a44cd68535204

doc/eio/Eio/Flow/index.html

Module Eio.FlowSource

A flow can be used to read or write bytes.

Flows are used to represent byte streams, such as open files and network sockets. A source provides a stream of bytes. A sink consumes a stream. A two_way can do both.

To read structured data (e.g. a line at a time), wrap a source using Buf_read.

Types

Sourcetype source_ty = [
  1. | `R
  2. | `Flow
]
Sourcetype 'a source = ([> source_ty ] as 'a) Std.r

A readable flow provides a stream of bytes.

Sourcetype sink_ty = [
  1. | `W
  2. | `Flow
]
Sourcetype 'a sink = ([> sink_ty ] as 'a) Std.r

A writeable flow accepts a stream of bytes.

Sourcetype shutdown_ty = [
  1. | `Shutdown
]
Sourcetype 'a shutdown = ([> shutdown_ty ] as 'a) Std.r
Sourcetype 'a read_method = ..

Sources can offer a list of ways to read them, in order of preference.

Sourcetype shutdown_command = [
  1. | `Receive
    (*

    Indicate that no more reads will be done

    *)
  2. | `Send
    (*

    Indicate that no more writes will be done

    *)
  3. | `All
    (*

    Indicate that no more reads or writes will be done

    *)
]

Reading

Sourceval single_read : _ source -> Cstruct.t -> int

single_read src buf reads one or more bytes into buf.

It returns the number of bytes read (which may be less than the buffer size even if there is more data to be read).

  • Use read_exact instead if you want to fill buf completely.
  • Use Buf_read.line to read complete lines.
  • Use copy to stream data directly from a source to a sink.

buf must not be zero-length.

Sourceval read_exact : _ source -> Cstruct.t -> unit

read_exact src dst keeps reading into dst until it is full.

Sourceval string_source : string -> source_ty Std.r

string_source s is a source that gives the bytes of s.

Sourceval cstruct_source : Cstruct.t list -> source_ty Std.r

cstruct_source cs is a source that gives the bytes of cs.

Sourcetype read_method +=
  1. | Read_source_buffer of 't -> (Cstruct.t list -> int) -> unit
    (*

    If a source offers Read_source_buffer rsb then the user can call rsb t fn to borrow a view of the source's buffers. fn returns the number of bytes it consumed.

    rsb will raise End_of_file if no more data will be produced. If no data is currently available, rsb will wait for some to become available before calling fn.

    fn must not continue to use the buffers after it returns.

    *)

Writing

Sourceval write : _ sink -> Cstruct.t list -> unit

write dst bufs writes all bytes from bufs.

You should not perform multiple concurrent writes on the same flow (the output may get interleaved).

This is a low level API. Consider using:

  • Buf_write to combine multiple small writes.
  • copy for bulk transfers, as it allows some extra optimizations.
Sourceval single_write : _ sink -> Cstruct.t list -> int

single_write dst bufs writes at least one byte from bufs and returns the number of bytes written.

Sourceval copy : _ source -> _ sink -> unit

copy src dst copies data from src to dst until end-of-file.

Sourceval copy_string : string -> _ sink -> unit

copy_string s = copy (string_source s)

Sourceval buffer_sink : Buffer.t -> sink_ty Std.r

buffer_sink b is a sink that adds anything sent to it to b.

To collect data as a cstruct, use Buf_read instead.

Bidirectional streams

Sourcetype two_way_ty = [
  1. | source_ty
  2. | sink_ty
  3. | shutdown_ty
]
Sourcetype 'a two_way = ([> two_way_ty ] as 'a) Std.r
Sourceval shutdown : _ two_way -> shutdown_command -> unit

shutdown t cmd indicates that the caller has finished reading or writing t (depending on cmd).

This is useful in some protocols to indicate that you have finished sending the request, and that the remote peer should now send the response.

Closing

Flows are usually attached to switches and closed automatically when the switch finishes. However, it can be useful to close them sooner manually in some cases.

Sourceval close : [> `Close ] Std.r -> unit

Alias of Resource.close.

Provider Interface

Sourcemodule Pi : sig ... end

Convenience wrappers

Sourceval read_all : _ source -> string

read_all src is a convenience wrapper to read an entire flow.

It is the same as Buf_read.(parse_exn take_all) src ~max_size:max_int