package session

You can search for identifiers within the package.

in-package search v0.2.0

package session

session
- Library session
  - Session
    
    Lift
    
    Ident
    
    IO
    
    Thread_IO
    
    Memory
    
    S
    
    Now
    
    IO
    
    Thread_IO
    
    Future
- Sources
  - session
    
    lift.ml
    
    memory.ml
    
    s.ml
    
    session.ml

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

Module `Session.Lift`Source

Lift S.Now to S.Future

Sourcemodule Ident : sig ... end

The identity monad as a stub for blocking computations.

Source

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.

Source

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.

package session

Module Session.LiftSource

Module `Session.Lift`Source