package delimcc_of_fxhandler

  1. Overview
  2. Docs
Delimited control primitives on top of effect handlers

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.tar.gz
md5=5482673d1019d3fa2d72c85d7b8cebcc
sha512=537414e59f0acc318efa5dc2b94215a5d9df65ea016fed4b66f9b1e9e6ac60c69af859d9adc2f7c8360f3f13eb432b64a3217b7630d4d229b0923ac666f9504a

Description

Delimited control primitives on top of effect handlers

Tags

effect handlers delimited control

Published: 22 Jun 2023

README

delimcc_of_fxhandler

Delimcc primitives from OCaml 5 effect handlers. See lib/delimcc_of_fxhandler.mli.

Usage

You can install the library for OCaml 5 as follows:

$ git clone https://github.com/kayceesrk/delimcc_of_fxhandler
$ cd delimcc_of_fxhandler
$ opam pin .

There is a test in tests/, which can be run as follows:

$ dune exec ./test/test1.exe

Note

Delimited control operators such as shift/reset and control/prompt are presented in a setting where the continuations may be resumed more than once whereas OCaml 5 delimited continuations may not be resumed more than once. To support multi-shot continuations, this library uses ocaml-multicont. Hence, the same caveats that applies to ocaml-multicont applies to this library.

Dependencies (3)

  1. dune >= "3.7"
  2. multicont
  3. ocaml >= "5.0.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None