package picos_std

You can search for identifiers within the package.

in-package search v0.2.0

Sample libraries for Picos
- Library picos_std.event
  - Picos_std_event
    
    Event
- Library picos_std.finally
  - Picos_std_finally
- Library picos_std.structured
  - Picos_std_structured
    
    Control
    
    Promise
    
    Bundle
    
    Flock
    
    Run
- Library picos_std.sync
  - Picos_std_sync
    
    Mutex
    
    Condition
    
    Semaphore
    
    Counting
    
    Binary
    
    Lazy
    
    Latch
    
    Ivar
    
    Stream
- Sources
  - picos_std.event
    
    event.ml
    
    picos_std_event.ml
    
    picos_std_event__.ml
  - picos_std.finally
    
    picos_std_finally.ml
  - picos_std.structured
    
    bundle.ml
    
    control.ml
    
    flock.ml
    
    picos_std_structured.ml
    
    picos_std_structured__.ml
    
    promise.ml
    
    run.ml
  - picos_std.sync
    
    condition.ml
    
    ivar.ml
    
    latch.ml
    
    lazy.ml
    
    list_ext.ml
    
    mutex.ml
    
    picos_std_sync.ml
    
    picos_std_sync__.ml
    
    q.ml
    
    semaphore.ml
    
    stream.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Picos_std_structured.Promise`Source

A cancelable promise.

ℹ️ In addition to using a promise to concurrently compute and return a value, a cancelable promise can also represent a concurrent fiber that will continue until it is explicitly canceled.

Sourcetype !'a t

Represents a promise to return value of type 'a.

Sourceval of_value : 'a -> 'a t

of_value value returns a constant completed promise that returns the given value.

ℹ️ Promises can also be created in the scope of a Bundle or a Flock.

Sourceval await : 'a t -> 'a

await promise awaits until the promise has completed and either returns the value that the evaluation of the promise returned, raises the exception that the evaluation of the promise raised, or raises the Terminate exception in case the promise has been canceled.

Sourceval completed : 'a t -> 'a Picos_std_event.Event.t

completed promise returns an event that can be committed to once the promise has completed.

Sourceval is_running : 'a t -> bool

is_running promise determines whether the completion of the promise is still pending.

Sourceval try_terminate : ?callstack:int -> 'a t -> bool

try_terminate promise tries to terminate the promise by canceling it with the Terminate exception and returns true in case of success and false in case the promise had already completed, i.e. either returned, raised, or canceled.

The optional callstack argument specifies the number of callstack entries to capture with the Terminate exception. The default is 0.

Sourceval terminate : ?callstack:int -> 'a t -> unit

terminate promise is equivalent to try_terminate promise |> ignore.

Sourceval terminate_after : ?callstack:int -> 'a t -> seconds:float -> unit

terminate_after ~seconds promise arranges to terminate the promise by canceling it with the Terminate exception after the specified timeout in seconds.

The optional callstack argument specifies the number of callstack entries to capture with the Terminate exception. The default is 0.

package picos_std

Module Picos_std_structured.PromiseSource

Module `Picos_std_structured.Promise`Source