package eio

You can search for identifiers within the package.

in-package search v0.2.0

eio
- Eio
  - Buf_read
    
    BE
    
    LE
    
    Syntax
  - Buf_write
    
    BE
    
    LE
  - Cancel
  - Condition
  - Debug
  - Domain_manager
    
    t
  - Exn
    
    Backend
  - Fiber
    
    List
  - File
    
    Stat
    
    Unix_perm
    
    ro
    
    rw
  - Flow
    
    close
    
    sink
    
    source
    
    two_way
  - Fs
    
    dir
    
    dir_with_close
  - Generic
    
    close
    
    t
  - Mutex
  - Net
    
    Ipaddr
    
    V4
    
    V6
    
    Sockaddr
    
    datagram_socket
    
    listening_socket
    
    socket
    
    stream_socket
    
    t
  - Path
  - Private
    
    Broadcast
    
    Cells
    
    CELL
    
    Make
    
    Cell
    
    Ctf
    
    Control
    
    Debug
    
    Dla
    
    Effects
    
    Fiber_context
    
    Suspend
  - Process
    
    mgr
    
    t
  - Promise
  - Semaphore
  - Std
  - Stdenv
  - Stream
  - Switch
  - Time
    
    Mono
    
    t
    
    Timeout
    
    clock
    
    clock_base
eio.mock
- Eio_mock
  - Action
  - Backend
  - Clock
    
    Mono
    
    S
  - Flow
  - Handler
  - Net
eio.unix
- Eio_unix
  - Ctf
  - Fd
  - Net
    
    Ipaddr
    
    datagram_socket
    
    stream_socket
    
    t
  - Private
    
    Rcfd
  - Process
    
    mgr
  - Resource
  - Stdenv
eio.utils
- Eio_utils
  - Lf_queue
  - Suspended
  - Zzz
    
    Key

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t =
  < Mtime.t Eio.Time.clock_base
  ; advance : unit
  ; set_time : Mtime.t -> unit >

val make : unit -> t

make () is a new clock.

The time is initially set to 0.0 and doesn't change except when you call advance or set_time.

val advance : t -> unit

advance t sets the time to the next scheduled event (adding any due fibers to the run queue).

raises Invalid_argument
if nothing is scheduled.

val set_time : t -> Mtime.t -> unit

set_time t time sets the time to time (adding any due fibers to the run queue).