package session

You can search for identifiers within the package.

in-package search v0.2.0

session
- Session
  - Lift
    
    IO
    
    IO
    
    Now
    
    Ident
    
    Thread_IO
    
    IO
    
    Now
  - Memory
  - S
    
    Future
    
    IO
    
    Now
    
    Thread_IO

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.