package sessions

You can search for identifiers within the package.

in-package search v0.2.0

Library to provide session types to allow for static verification of protocols between concurrent computations

Install

dune-project

Dependency

github.com Edit opam file Versions (1)

Authors

E

essdotteedot <essdotteedot@gmail.com>

Maintainers

E

essdotteedot <essdotteedot@gmail.com>

Sources

0.1.0.tar.gz

sha256=7b9693aa4e8571fc7dadeeb971a24e523ad411a6cfd6d2e087aae05cfd3882cc

md5=c2d5f085a0aa0f6b5cf7cac2568560fb

doc/sessions.lwt/Binary_session_lwt/index.html

Module `Binary_session_lwt`

A lwt based implementation of Binary_session.Binary_process that uses a pipe for the communication channel between two processes.

author essdotteedot [<essdotteedot[at]gmail[dot]com>]

version 0.1.0

module Make : 
  Binary_session.Binary_process
    with type 'a io = 'a Lwt.t
     and type chan_endpoint = Lwt_io.input_channel * Lwt_io.output_channel

Functor to create a module of type Binary_session.Binary_process.