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.1.tbz
sha256=346104884077f140b3574e1daccc02212960c6efeb793c803e3e6b8bafea0fab
sha512=18abde418c56b1ceed3e8f075cb94e5c951b5cfea967ec4cb5f8e1e4d635b801b3c9e6ec61f89483490dbec143c33b9b76d947bff1183d44e6e0e01d93821dfb

doc/eio.mock/Eio_mock/Domain_manager/index.html

Module Eio_mock.Domain_managerSource

A mock Eio.Domain_manager that runs everything in a single domain.

create () is a mock domain manager.

When asked to run a new Eio domain, it just runs it in the parent domain. It runs the function in a context where id is a fresh domain ID (assigned sequentially starting from 1).

Sourceval run : (Eio.Domain_manager.ty Eio.Std.r -> 'a) -> 'a

run fn runs fn dm, where dm is a new fake domain manager. It also runs with_domain_tracing to display domain IDs in trace output.

fn itself runs with id set to "0".

Sourceval id : string Eio.Std.Fiber.key

id is used to get or set the current fake domain's ID.

This is used in traceln output.

Sourceval with_domain_tracing : (unit -> 'a) -> 'a

with_domain_tracing fn runs fn () with a modified traceln function that prefixes the current id (if any) to each trace message.