Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package multicont
a resumption is a managed variation of Effect.Deep.continuation that can be used multiple times.
val promote : ('a, 'b) Effect.Deep.continuation -> ('a, 'b) resumptionpromote k converts a regular linear deep continuation to a multi-shot deep resumption. This function fully consumes the supplied continuation k.
val resume : ('a, 'b) resumption -> 'a -> 'bresume r v reinstates the context captured by the multi-shot deep resumption r with value v.
val abort : ('a, 'b) resumption -> exn -> 'babort r e injects the exception e into the context captured by the multi-shot deep resumption r.
val abort_with_backtrace :
('a, 'b) resumption ->
exn ->
Printexc.raw_backtrace ->
'babort_with_backtrace k e bt aborts the deep multi-shot resumption r by raising the exception e in k using bt as the origin for the exception.
val clone_continuation :
('a, 'b) Effect.Deep.continuation ->
('a, 'b) Effect.Deep.continuationclone_continuation k clones the linear deep continuation k. The supplied continuation is *not* consumed.
val drop_continuation : ('a, 'b) Effect.Deep.continuation -> unitdrop_continuation k deallocates the memory occupied by the continuation k. Note, however, that this function does not clean up acquired resources captured by the continuation. In order to delete the continuation and free up the resources the programmer should instead use `discontinue` from the Effect.Deep module.