package b0

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Future value setters
Future values

b0.b00
- B00
  - Env
  - Exec
  - File_cache
    
    Stats
  - Guard
  - Memo
    
    Fut
  - Op
    
    Map
    
    Mkdir
    
    Read
    
    Set
    
    Spawn
    
    Write
  - Op_cache
  - Tool
b0.care
- B0_github
  - Issue
  - Pages
  - Release
  - Repo
- B0_machine
- B0_odoc
  - Compile
    
    Dep
    
    Writes
  - Html
    
    Dep
    
    Writes
  - Html_fragment
  - Support_files
    
    Writes
- B0_trace
  - Compilation_database
  - Trace_event
- B0_ui
  - Browser
  - Cli
    
    Arg
    
    B0_std
  - Editor
  - Memo
  - Pager
- B0_vcs
  - Git
- B0_web
  - Htmlg
    
    Att
    
    El
  - Http
  - Json
  - Jsong
  - Jsonq
b0.std
- B0_std
  - Char
    
    Ascii
  - Cmd
  - Conv
    
    Bin
    
    Txt
  - Fmt
  - Fpath
    
    Map
    
    Set
  - Hash
    
    Murmur3_128
    
    T
    
    Xxh_64
  - List
  - Log
  - Option
  - Os
    
    Cmd
    
    Dir
    
    Env
    
    Fd
    
    File
    
    Path
  - Result
  - String
    
    Ascii
    
    Map
    
    Set
  - Time
    
    Span
  - Tty

Legend:
Library
Module
Module type
Parameter
Class
Class type

Future values.

Future value setters

type 'a set

The type for setting a future value of type 'a.

val set : 'a set -> 'a -> unit

set s v sets the future value linked to s to the value v.

raises Invalid_argument
if the value was already set.

Future values

type memo = t

type 'a t

The type for future values of type 'a.

val create : memo -> 'a t * 'a set

create memo is (f, s) a future value f and a setter s for it. Fibers waiting on the future are scheduled by stiring memo.

val value : 'a t -> 'a option

value f is f's value if set.

val wait : 'a t -> 'a fiber

wait f k waits for f to be set and continues with k v with v the value of the future.