package miou

You can search for identifiers within the package.

in-package search v0.2.0

package miou

miou
- Miou
  - Condition
  - Domain
    
    Uid
  - Hook
  - Lazy
  - Mutex
  - Ownership
  - Promise
    
    Uid
  - Sequence
- Miou_fmt
- Miou_gen
  - Make
- Miou_logs
  - Make
    
    _
- Miou_pqueue
  - Make
    
    X
- Miou_queue
- Miou_sequence
- Miou_state
  - Operation
- Miou_vector
miou.backoff
- Miou_backoff
miou.sync
- Miou_sync
  - Computation
  - Trigger
miou.unix
- Miou_unix
  - Ownership

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Undefined

Synonym for Stdlib.Lazy.Undefined.

type !'a t

Represents a deferred computation of suspension.

val from_val : 'a -> 'a t

from_val value returns an already forced suspension whose result is the given value.

val from_fun : (unit -> 'a) -> 'a t

from_fun fn returns a suspension.

val force : 'a t -> 'a

force t forces the suspension, i.e. computes fn () using the fn passed to from_fun, stores the result of the computation to the suspension and reproduces its result. In case the suspension has already been forced the computation is skipped and stored result is reproduced.

raises Undefined
in case the suspension is currently being forced by the current prommise.