package sturgeon

  1. Overview
  2. Docs
package sturgeon
Legend:
Library
Module
Module type
Parameter
Class
Class type

Session setup a connection between two parties and extends Sexp with continuations from the remote party. One can put function-like values inside these Sexp, which, when applied, invoke some remote code.

The library take care of allocating simple handles to reference continuation from remote party.

type reason = [
  1. | `Cancel
  2. | `Finalize
  3. | `Other of Sturgeon_sexp.basic
]

The reason for a continuation to not be invoked anymore. `Cancel: the continuation was not expected, consumer does not know how to deal with it. `Finalize: the GC determined that the continuation cannot be reached anymore. `Other: some error defined by implementor of remote code. This is analogous to exceptions. The error message is a plain Sexp: it is not possible to "catch" the error and resume control flow.

type 'a cont = ('a, reason) Result.result -> unit

A continuation either takes a result value or a reason for terminating.

type remote =
  1. | Once of t cont
    (*

    Once is the constructor for remote linear continuations: they can consume only one value.

    *)
  2. | Many of t cont
    (*

    Many is the constructor for remote multi-shot continuations: they can consume arbitrarily many values. They can be used to build streams.

    *)

Remote values.

Basic Sexp contain plain values that you can inspect. Sessions also contain remote values. Those are opaque but can consume values that you produce and send to the remote side.

Positive and negative values are the building blocks of more complex control flows. For instance, a function from 'a -> 'b can be encoded as ('a * 'b remote) remote: if you give an 'a, you will be given a 'b.

Finally the type of sessions: it is the S-exp extended with remote values.

type 'a error = [
  1. | `Already_closed of (t, reason) Result.result
  2. | `Query_after_eof of t
  3. | `Invalid_command of Sturgeon_sexp.basic
  4. | `Feed_unknown of Sturgeon_sexp.basic
  5. | `Quit_unknown of Sturgeon_sexp.basic
  6. | `Exceptions_during_cancellation of t * exn list
  7. | `Exceptions_during_shutdown of exn list
]
val cancel : ?stderr:([> `Exceptions_during_cancellation of t * exn list ] -> unit) -> t -> unit

Cancel a session: traverse all sub-expressions to cancel continuations.

type output = Sturgeon_sexp.basic -> unit
type status
val connect : ?greetings:t -> ?cogreetings:(t -> unit) -> ?stderr:(_ error -> unit) -> output -> output * status

Basic creation of a session. greetings and cogreetings are respectively the first session sent and received. The purpose of connect is to convert high-level sessions back and forth plain values, by allocating and managing concrete addresses.

val close : output -> unit
val pending_continuations : status -> int
val is_closed : status -> bool