package picos

You can search for identifiers within the package.

in-package search v0.2.0

package picos

picos
- Picos
  - Computation
  - Fiber
    
    FLS
    
    Maybe
  - Handler
  - Trigger
picos.domain
- Picos_domain
  - DLS
picos.exn_bt
- Picos_exn_bt
picos.fd
- Picos_fd
  - Resource
picos.fifos
- Picos_fifos
picos.htbl
- Picos_htbl
picos.lwt
- Picos_lwt
  - System
picos.lwt_unix
- Picos_lwt_unix
picos.mpscq
- Picos_mpscq
picos.randos
- Picos_randos
picos.rc
- Picos_rc
  - Make
    
    Resource
  - Resource
  - S
    
    Resource
picos.select
- Picos_select
  - Intr
picos.stdio
- Picos_stdio
  - Unix
    
    LargeFile
picos.structured
- Picos_structured
  - Bundle
  - Control
  - Finally
  - Promise
  - Run
picos.sync
- Picos_sync
  - Condition
  - Lazy
  - Mutex
picos.thread
- Picos_thread
  - TLS
picos.threaded
- Picos_threaded

Legend:
Library
Module
Module type
Parameter
Class
Class type

Signature for a module that Picos_lwt.run requires for interoperating with the system that Lwt runs on.

val sleep : float -> unit Lwt.t

sleep seconds returns a cancelable promise that resolves after the given number of seconds.

type trigger

Represents a semi thread-safe signaling mechanism.

val trigger : unit -> trigger

trigger () returns a new thread-safe, single use signaling mechanism.

⚠️ This may only be called on the main thread on which Lwt runs.

val signal : trigger -> unit

signal trigger resolves the promise that await trigger returns.

ℹ️ It must be safe to call signal from any thread or domain. As a special case this need not be thread-safe in case the system only allows a single thread.

val await : trigger -> unit Lwt.t

await trigger returns a promise thet resolves, on the main thread, after signal trigger has been called.

⚠️ This may only be called on the main thread on which Lwt runs.