package session

  1. Overview
  2. Docs

Lift S.Now to S.Future

module Ident : sig ... end

The identity monad as a stub for blocking computations.

module IO (IO : S.IO) (Now : S.Now) : S.Future with type +'a io = 'a IO.t and type t = Now.t and type key = Now.key and type value = Now.value and type period = Now.period

Lift a synchronous S.Now backend to an asynchronous S.Future interface.

module Thread_IO (IO : S.Thread_IO) (Now : S.Now) : S.Future with type +'a io = 'a IO.t and type t = Now.t and type key = Now.key and type value = Now.value and type period = Now.period

Lift a synchronous S.Now backend to an asynchronous S.Future interface, using threads. This may add concurrency to the program, depending on how in_thread is implemented.