package eventually
Build not yet checked
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.
Dev Dependencies (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.