class Promise
Status/result of an asynchronous computation
1 | Methods |
1.1 | method start |
1.2 | method in |
1.3 | method at |
1.4 | method kept |
1.5 | method broken |
1.6 | method allof |
1.7 | method anyof |
1.8 | method then |
1.9 | method keep |
1.10 | method break |
1.11 | method result |
1.12 | method cause |
1.13 | method Bool |
1.14 | method status |
1.15 | method scheduler |
1.16 | method vow |
1.17 | method Supply |
1.18 | sub await |
2 | Type Graph |
my (:Planned(0), :Kept(1), :Broken(2));
A Promise is used to handle the result of a computation that might not have finished. It allows the user to execute code once the computation is done (with the then
method), execution after a time delay (with in
), combining promises, and waiting for results.
my = Promise.start();.then(); # will print 42 once the block finishedsay .status; # OUTPUT: «Planned».result; # waits for the computation to finishsay .status; # OUTPUT: «Kept»
There are two typical scenarios for using promises. The first is to use a factory method (start
, in
, at
, anyof
, allof
, kept
, broken
) on the type object; those will make sure that the promise is automatically kept or broken for you, and you can't call break
or keep
on these promises yourself.
The second is to create your promises yourself with Promise.new
. If you want to ensure that only your code can keep or break the promise, you can use the vow
method to get a unique handle, and call keep
or break
on it:
sub async-get-with-promise(, )
Further examples can be found in the concurrency page.
Methods
method start
method start(Promise: , : = --> Promise)
Creates a new Promise that runs the given code object. The promise will be kept when the code terminates normally, or broken if it throws an exception. The return value or exception can be inspected with the result
method.
The scheduler that handles this promise can be passed as a named argument.
There is also a statement prefix start
that provides syntactic sugar for this method:
# these two are equivalent:my = Promise.start();my = start ;
As of the 6.d version of the language, start
statement prefix used in sink context will automatically attach an exceptions handler. If an exception occurs in the given code, it will be printed and the program will then exit, like if it were thrown without any start
statement prefixes involved.
use v6.c;start ; sleep ⅓; say "hello"; # OUTPUT: «hello»
use v6.d;start ; sleep ⅓; say "hello";# OUTPUT:# Unhandled exception in code scheduled on thread 4# Died# in block at -e line 1
If you wish to avoid this behavior, use start
in non-sink context or catch the exception yourself:
# Don't sink it:my $ = start ; sleep ⅓; say "hello"; # OUTPUT: «hello»# Catch yourself:start ;sleep ⅓;say "hello";# OUTPUT: «caughthello»
This behavior exists only syntactically, by using an alternate .sink
method for Promise objects created by start
blocks in sink context, thus simply sinking a Promise object that was created by other means won't trigger this behavior.
method in
method in(Promise: , : = --> Promise)
Creates a new Promise that will be kept in $seconds
seconds, or later.
my = Proc::Async.new('perl6', '-e', 'sleep 10; warn "end"');my = await Promise.anyof(my = .start, # may or may not work in timePromise.in(5).then:).then:# OUTPUT: «timeout»
$seconds
can be fractional or negative. Negative values are treated as 0
(i.e. keeping the returned Promise right away).
Please note that situations like these are often more clearly handled with a react and whenever block.
method at
method at(Promise: , : = --> Promise)
Creates a new Promise
that will be kept $at
the given time—which is given as an Instant or equivalent Numeric—or as soon as possible after it.
my = Promise.at(now + 2).then();# do other stuff hereawait ; # wait here until the 2 seconds are over
If the given time is in the past, it will be treated as now (i.e. keeping the returned Promise right away).
Please note that situations like these are often more clearly handled with a react and whenever block.
method kept
multi method kept(Promise: \result = True --> Promise)
Returns a new promise that is already kept, either with the given value, or with the default value True
.
method broken
multi method broken(Promise: --> Promise)multi method broken(Promise: \exception --> Promise)
Returns a new promise that is already broken, either with the given value, or with the default value X::AdHoc.new(payload => "Died")
method allof
method allof(Promise: * --> Promise)
Returns a new promise that will be kept when all the promises passed as arguments are kept or broken. The result of the individual Promises is not reflected in the result of the returned promise: it simply indicates that all the promises have been completed in some way. If the results of the individual promises are important then they should be inspected after the allof
promise is kept.
In the following requesting the result
of a broken promise will cause the original Exception to be thrown. (You may need to run it several times to see the exception.)
my ;for 1..5 ->my = Promise.allof();await ;>>.result;say "Promises kept so we get to live another day!";
method anyof
method anyof(Promise: * --> Promise)
Returns a new promise that will be kept as soon as any of the promises passed as arguments is kept or broken. The result of the completed Promise is not reflected in the result of the returned promise which will always be Kept.
You can use this to wait at most a number of seconds for a promise:
my = 5;await Promise.anyof(Promise.in(),start,);
method then
method then(Promise: )
Schedules a piece of code to be run after the invocant has been kept or broken, and returns a new promise for this computation. In other words, creates a chained promise.
my = Promise.in(2);my = .then();say .result; # 2 seconds are over# result
method keep
multi method keep(Promise: \result = True)
Keeps a promise, optionally setting the result. If no result is passed, the result will be True
.
Throws an exception of type X::Promise::Vowed
if a vow has already been taken. See method vow
for more information.
my = Promise.new;if Bool.pickelse
method break
multi method break(Promise: \cause = False)
Breaks a promise, optionally setting the cause. If no cause is passed, the cause will be False
.
Throws an exception of type X::Promise::Vowed
if a vow has already been taken. See method vow
for more information.
my = Promise.new;.break('sorry');say .status; # OUTPUT: «Broken»say .cause; # OUTPUT: «sorry»
method result
method result(Promise)
Waits for the promise to be kept or broken. If it is kept, returns the result; otherwise throws the result as an exception.
method cause
method cause(Promise)
If the promise was broken, returns the result (or exception). Otherwise, throws an exception of type X::Promise::CauseOnlyValidOnBroken
.
method Bool
multi method Bool(Promise:)
Returns True
for a kept or broken promise, and False
for one in state Planned
.
method status
method status(Promise --> PromiseStatus)
Returns the current state of the promise: Kept
, Broken
or Planned
:
say "promise got Kept" if .status ~~ Kept;
method scheduler
method scheduler(Promise:)
Returns the scheduler that manages the promise.
method vow
mymethod vow(Promise: --> Vow)
Returns an object that holds the sole authority over keeping or breaking a promise. Calling keep
or break
on a promise that has vow taken throws an exception of type X::Promise::Vowed
.
my = Promise.new;my = .vow;.keep();say .status; # OUTPUT: «Kept»
method Supply
method Supply(Promise:)
Returns a Supply that will emit the result
of the Promise being Kept or quit
with the cause
if the Promise is Broken.
sub await
multi sub await(Promise --> Promise)multi sub await(*@ --> Array)
Waits until one or more promises are all fulfilled, and then returns their values. Also works on channels. Any broken promises will rethrow their exceptions. If a list is passed it will return a list containing the results of awaiting each item in turn.