package eio

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (20)

Authors

  1. A
    Anil Madhavapeddy
  2. T
    Thomas Leonard

Maintainers

  1. A
    anil@recoil.org

Sources

eio-1.4.tbz
sha256=ba11ad486f492130dbb486f2b3bdc4905643f10016806ddf86e9a34e4346aaa5
sha512=57ef2c137ccdc26d8029e636b6a4ee92da7c6b2f35954946bd56ca595d6947a8ec42f6f83f8552f73d6719e6ce2314cae2e2fad1686a387522935e6f90e9a8d9

doc/src/eio.unix/eio_unix.ml.html

Source file eio_unix.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
open Eio.Std

module Fd = Fd
module Resource = Resource
module Private = Private
module Err = Err

include Types

let await_readable = Private.await_readable
let await_writable = Private.await_writable
let pipe = Private.pipe

type Eio.Exn.Backend.t += Unix_error = Err.Unix_error

let sleep d =
  Eio.Time.Mono.sleep (Effect.perform Private.Get_monotonic_clock) d

let run_in_systhread = Thread_pool.run_in_systhread

module Ipaddr = Net.Ipaddr

module Process = Process
module Net = Net
module Pty = Pty
module Cap = Cap
module Pi = Pi

module Stdenv = struct
  type base = <
    stdin  : source_ty r;
    stdout : sink_ty r;
    stderr : sink_ty r;
    net : [`Unix | `Generic] Eio.Net.ty r;
    domain_mgr : Eio.Domain_manager.ty r;
    process_mgr : Process.mgr_ty r;
    clock : float Eio.Time.clock_ty r;
    mono_clock : Eio.Time.Mono.ty r;
    fs : Eio.Fs.dir_ty Eio.Path.t;
    cwd : Eio.Fs.dir_ty Eio.Path.t;
    secure_random : Eio.Flow.source_ty r;
    debug : Eio.Debug.t;
    backend_id: string;
  >

  let override
    ?stdin ?stdout ?stderr ?net ?domain_mgr
    ?process_mgr ?clock ?mono_clock ?fs ?cwd
    ?secure_random ?debug ?backend_id (env : <base; ..>) : base
  =
    object
      method stdin = Option.value ~default:env#stdin stdin
      method stdout = Option.value ~default:env#stdout stdout 
      method stderr = Option.value ~default:env#stderr stderr 
      method net = Option.value ~default:env#net net 
      method domain_mgr = Option.value ~default:env#domain_mgr domain_mgr 
      method process_mgr = Option.value ~default:env#process_mgr process_mgr
      method clock = Option.value ~default:env#clock clock
      method mono_clock = Option.value ~default:env#mono_clock mono_clock
      method fs = Option.value ~default:env#fs fs
      method cwd = Option.value ~default:env#cwd cwd
      method secure_random = Option.value ~default:env#secure_random secure_random 
      method debug = Option.value ~default:env#debug debug
      method backend_id = Option.value ~default:env#backend_id backend_id
    end
end