package miou
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=2b7a2d52ec0599156b6e7c586190cc99dd964d840799763f6f2407bb83e39471
sha512=eba70cb4c5484ef4c5fce522b106d32f20482fe55a9252c82cf7b85d69cd1359d97a9d7279f39c05f3b2365d87cdfec39fbe2a0780167506d1eaeaf618227895
doc/miou.sync/Miou_sync/Computation/index.html
Module Miou_sync.Computation
Source
type 'a state =
| Cancelled of exn * Printexc.raw_backtrace
| Returned of 'a
| Continue of {
balance : int;
triggers : Trigger.t list;
}
try_return c value
attempts to complete the computation with the specified value
and returns true
on success. Otherwise returns false
, which means that the computation had already been completed before.
try_capture c fn x
calls fn x
and tries to complete the computation with the value returned or the exception raised by the call and returns true
on success. Otherwise returns false
, which means that the computation had already been completed before.
try_cancel c (exn, bt)
attempts to mark the computation c
as cancelled with the specified exception and backtrace and returns true
on success. Otherwise returns false
, which means that the computation had already been completed before.
is_running c
determines whether the computation c
is in the running state meaning that it has not yet been completed.
cancelled c
returns the exception that the computation has been cancelled with or returns None
in case the computation has not been cancelled.
raise_if_errored
raises the exception the computation was cancelled with if it was errored.
peek c
returns the result of the computation c
or None
in case the computation has not completed.
try_attach c trigger
tries to attach the trigger to be signaled on completion of the computation and returns true
on success. Otherwise, it returns false
, which means that the computation has already been completed or the trigger has already been signaled.
detach c trigger
signals the trigger and detaches it from the computation c
.
await c
waits for the computation to complete and either returns the value of the completed computation or the exception the computation was cancelled with.