package sessions

You can search for identifiers within the package.

in-package search v0.2.0

package sessions

sessions
- Binary_session
  - Binary_process
  - IO
  - Make
    
    I
sessions.lwt
- Binary_session_lwt
  - Make

Legend:
Library
Module
Module type
Parameter
Class
Class type

Abstract type which can perform monadic concurrent IO.

type 'a t

The monadic light weight thread type returning value 'a.

type chan_endpoint

The abstract type representing one end of a communication channel.

type chan =

| Chan : chan_endpoint * chan_endpoint -> chan
(*
A channel consists of two Binary_session.IO.chan_endpoint.
*)

The abstract type representing a communication channel between two processes.

val make_channel : unit -> chan

make_channel () will return a new communication channel Binary_session.IO.chan.

val read_channel : chan_endpoint -> 'a t

read_channel end_point reads a marshalled value from end_point and returns it.

val write_channel : 
  'a ->
  flags:Marshal.extern_flags list ->
  chan_endpoint ->
  unit t

write_channel v flags end_point marshals the value v according to flags and writes it to end_point.

val close_channel : chan -> unit t

close_channel c will close the given channel c.

val return : 'a -> 'a t

return v creates a light weight thread returning v.

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

bind t f is a thread which first waits for the thread t to terminate and then, behaves as the application of function f to the return value of t.