package picos

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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
  - Make
    
    _
  - S
  - Sleep
picos.mpsc_queue
- Picos_mpsc_queue
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
  - 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

Make (Sleep) creates a Picos compatible interface to Lwt with given implementation of sleep.

For example,

module Picos_lwt_unix = Picos_lwt.Make (Lwt_unix)

instantiates this functor using Lwt_unix.sleep as the implemention of sleep.

Direct style Picos compatible interface to Lwt.

Parameters

module _ : Sleep

Signature

val run : forbid:bool -> (unit -> 'a) -> 'a Lwt.t

run ~forbid main runs the main program implemented in Picos as a promise with Lwt as the scheduler. In other words, the main program will be run as a Lwt promise or fiber.

val await : (unit -> 'a Lwt.t) -> 'a

await thunk awaits for the promise returned by thunk () to resolve and returns the result. This should only be called from inside a fiber started through run.