package eventually

Build not yet checked
  1. Overview
  2. No Docs
Time-bounded computations and stream iteration

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
md5=2ff603e740d1267316d1dcf3ce4e0c39
sha512=48cf12103dd2f67ffdaf9ab4d061432ccbaf1e36c454f9928c76abde58abb02076fecdb23538a16480c8485e449ad424d2205913483392b99619b3ed1503db38

Description

This package exposes the eventually monad for computations run against a logical time budget, which may be infinite (risking that the computation diverges) or finite (resulting in a timeout instead). The package provides a reader/writer interface for stream processing, and implements time-bounded stream operations by way of the eventually monad.

Tags

divergence lazy evaluation streams monads

Added to opam-repository:

Dependencies (2)

  1. ocaml >= "4.14"
  2. dune >= "3.14"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

This version of eventually was published after the check.ci.ocaml.org run of against opam-repository 78c202b, so it has no build results yet. check.ci runs about once a week.