—package
Mojo::Promise;
use
Mojo::Base -base;
use
Mojo::Exception;
use
Mojo::IOLoop;
has
ioloop
=>
sub
{ Mojo::IOLoop->singleton },
weak
=> 1;
sub
AWAIT_CHAIN_CANCEL { }
sub
AWAIT_CLONE { _await(
'clone'
,
@_
) }
sub
AWAIT_DONE { _settle_await(
resolve
=>
@_
) }
sub
AWAIT_FAIL { _settle_await(
reject
=>
@_
) }
sub
AWAIT_GET {
my
$self
=
shift
;
my
@results
= @{
$self
->{results} // []};
return
wantarray
?
@results
:
$results
[0]
if
$self
->{status} eq
'resolve'
;
die
$results
[0]
if
ref
$results
[0] ||
$results
[0] =~ m!\n!;
croak
$results
[0];
}
sub
AWAIT_IS_CANCELLED {
undef
}
sub
AWAIT_IS_READY {
my
$self
=
shift
;
$self
->{handled} = 1;
return
!!
$self
->{results} && !@{
$self
->{resolve}} && !@{
$self
->{reject}};
}
sub
AWAIT_NEW_DONE { _await(
'resolve'
,
@_
) }
sub
AWAIT_NEW_FAIL { _await(
'reject'
,
@_
) }
sub
AWAIT_ON_CANCEL { }
sub
AWAIT_ON_READY {
shift
->_finally(0,
@_
)->
catch
(
sub
{ });
}
sub
AWAIT_WAIT {
my
$self
=
shift
;
$self
->
catch
(
sub
{ })->
wait
;
return
$self
->AWAIT_GET;
}
sub
DESTROY {
my
$self
=
shift
;
return
if
$self
->{handled} || (
$self
->{status} //
''
) ne
'reject'
|| !
$self
->{results};
carp
"Unhandled rejected promise: @{$self->{results}}"
;
warn
$self
->{debug}->message(
"-- Destroyed promise\n"
)->verbose(1)->to_string
if
DEBUG;
}
sub
all { _all(2,
@_
) }
sub
all_settled { _all(0,
@_
) }
sub
any { _all(3,
@_
) }
sub
catch
{
shift
->then(
undef
,
shift
) }
sub
clone {
$_
[0]->new->ioloop(
$_
[0]->ioloop) }
sub
finally
{
shift
->_finally(1,
@_
) }
sub
map
{
my
(
$class
,
$options
,
$cb
,
@items
) = (
shift
,
ref
$_
[0] eq
'HASH'
?
shift
: {},
@_
);
return
$class
->all(
map
{
$_
->
$cb
}
@items
)
if
!
$options
->{concurrency} ||
@items
<=
$options
->{concurrency};
my
@start
=
map
{
$_
->
$cb
}
splice
@items
, 0,
$options
->{concurrency};
my
@wait
=
map
{
$start
[0]->clone } 0 ..
$#items
;
my
$start_next
=
sub
{
return
()
unless
@items
;
my
$item
=
shift
@items
;
my
(
$start_next
,
$chain
) = (__SUB__,
shift
@wait
);
$_
->
$cb
->then(
sub
{
$chain
->resolve(
@_
);
$start_next
->() },
sub
{
$chain
->reject(
@_
);
@items
= () })
for
$item
;
return
();
};
$_
->then(
$start_next
,
sub
{ })
for
@start
;
return
$class
->all(
@start
,
@wait
);
}
sub
new {
my
$self
=
shift
->SUPER::new;
$self
->{debug} = Mojo::Exception->new->trace
if
DEBUG;
shift
->(
sub
{
$self
->resolve(
@_
) },
sub
{
$self
->reject(
@_
) })
if
@_
;
return
$self
;
}
sub
race { _all(1,
@_
) }
sub
reject {
shift
->_settle(
'reject'
,
@_
) }
sub
resolve {
shift
->_settle(
'resolve'
,
@_
) }
sub
then {
my
(
$self
,
$resolve
,
$reject
) =
@_
;
my
$new
=
$self
->clone;
$self
->{handled} = 1;
push
@{
$self
->{resolve}},
sub
{ _then_cb(
$new
,
$resolve
,
'resolve'
,
@_
) };
push
@{
$self
->{reject}},
sub
{ _then_cb(
$new
,
$reject
,
'reject'
,
@_
) };
$self
->_defer
if
$self
->{results};
return
$new
;
}
sub
timer {
shift
->_timer(
'resolve'
,
@_
) }
sub
timeout {
shift
->_timer(
'reject'
,
@_
) }
sub
wait
{
my
$self
=
shift
;
return
if
(
my
$loop
=
$self
->ioloop)->is_running;
my
$done
;
$self
->_finally(0,
sub
{
$done
++;
$loop
->stop })->
catch
(
sub
{ });
$loop
->start
until
$done
;
}
sub
_all {
my
(
$type
,
$class
,
@promises
) =
@_
;
my
$all
=
$promises
[0]->clone;
my
$results
= [];
my
$remaining
=
scalar
@promises
;
for
my
$i
(0 ..
$#promises
) {
# "race"
if
(
$type
== 1) {
$promises
[
$i
]->then(
sub
{
$all
->resolve(
@_
); () },
sub
{
$all
->reject(
@_
); () });
}
# "all"
elsif
(
$type
== 2) {
$promises
[
$i
]->then(
sub
{
$results
->[
$i
] = [
@_
];
$all
->resolve(
@$results
)
if
--
$remaining
<= 0;
return
();
},
sub
{
$all
->reject(
@_
); () }
);
}
# "any"
elsif
(
$type
== 3) {
$promises
[
$i
]->then(
sub
{
$all
->resolve(
@_
); () },
sub
{
$results
->[
$i
] = [
@_
];
$all
->reject(
@$results
)
if
--
$remaining
<= 0;
return
();
}
);
}
# "all_settled"
else
{
$promises
[
$i
]->then(
sub
{
$results
->[
$i
] = {
status
=>
'fulfilled'
,
value
=> [
@_
]};
$all
->resolve(
@$results
)
if
--
$remaining
<= 0;
return
();
},
sub
{
$results
->[
$i
] = {
status
=>
'rejected'
,
reason
=> [
@_
]};
$all
->resolve(
@$results
)
if
--
$remaining
<= 0;
return
();
}
);
}
}
return
$all
;
}
sub
_await {
my
(
$method
,
$class
) = (
shift
,
shift
);
my
$promise
=
$class
->
$method
(
@_
);
$promise
->{cycle} =
$promise
;
return
$promise
;
}
sub
_defer {
my
$self
=
shift
;
return
unless
my
$results
=
$self
->{results};
my
$cbs
=
$self
->{status} eq
'resolve'
?
$self
->{resolve} :
$self
->{reject};
@{
$self
}{
qw(cycle resolve reject)
} = (
undef
, [], []);
$self
->ioloop->next_tick(
sub
{
$_
->(
@$results
)
for
@$cbs
});
}
sub
_finally {
my
(
$self
,
$handled
,
$finally
) =
@_
;
my
$new
=
$self
->clone;
my
$cb
=
sub
{
my
@results
=
@_
;
$new
->resolve(
$finally
->())->then(
sub
{
@results
});
};
my
$before
=
$self
->{handled};
$self
->
catch
(
$cb
);
my
$next
=
$self
->then(
$cb
);
delete
$self
->{handled}
if
!
$before
&& !
$handled
;
return
$next
;
}
sub
_settle {
my
(
$self
,
$status
,
@results
) =
@_
;
my
$thenable
= blessed
$results
[0] &&
$results
[0]->can(
'then'
);
unless
(
ref
$self
) {
return
$results
[0]
if
$thenable
&&
$status
eq
'resolve'
&&
$results
[0]->isa(
'Mojo::Promise'
);
$self
=
$self
->new;
}
if
(
$thenable
&&
$status
eq
'resolve'
) {
$results
[0]->then(
sub
{
$self
->resolve(
@_
); () },
sub
{
$self
->reject(
@_
); () });
}
elsif
(!
$self
->{results}) {
@{
$self
}{
qw(results status)
} = (\
@results
,
$status
);
$self
->_defer;
}
return
$self
;
}
sub
_settle_await {
my
(
$status
,
$self
,
@results
) =
@_
;
return
$results
[0]->then(
sub
{
$self
->resolve(
@_
); () },
sub
{
$self
->reject(
@_
); () })
if
blessed
$results
[0] &&
$results
[0]->can(
'then'
);
@{
$self
}{
qw(results status)
} = ([
@results
],
$status
)
if
!
$self
->{results};
$self
->_defer;
}
sub
_then_cb {
my
(
$new
,
$cb
,
$method
,
@results
) =
@_
;
return
$new
->
$method
(
@results
)
unless
defined
$cb
;
my
@res
;
return
$new
->reject($@)
unless
eval
{
@res
=
$cb
->(
@results
); 1 };
return
$new
->resolve(
@res
);
}
sub
_timer {
my
(
$self
,
$method
,
$after
,
@results
) =
@_
;
$self
=
$self
->new
unless
ref
$self
;
$results
[0] =
'Promise timeout'
if
$method
eq
'reject'
&& !
@results
;
$self
->ioloop->timer(
$after
=>
sub
{
$self
->
$method
(
@results
) });
return
$self
;
}
1;
=encoding utf8
=head1 NAME
Mojo::Promise - Promises/A+
=head1 SYNOPSIS
use Mojo::Promise;
use Mojo::UserAgent;
# Wrap continuation-passing style APIs with promises
my $ua = Mojo::UserAgent->new;
sub get_p {
my $promise = Mojo::Promise->new;
$ua->get(@_ => sub ($ua, $tx) {
my $err = $tx->error;
if (!$err || $err->{code}) { $promise->resolve($tx) }
else { $promise->reject($err->{message}) }
});
return $promise;
}
# Perform non-blocking operations sequentially
get_p('https://mojolicious.org')->then(sub ($mojo) {
say $mojo->res->code;
return get_p('https://metacpan.org');
})->then(sub ($cpan) {
say $cpan->res->code;
})->catch(sub ($err) {
warn "Something went wrong: $err";
})->wait;
# Synchronize non-blocking operations (all)
my $mojo = get_p('https://mojolicious.org');
my $cpan = get_p('https://metacpan.org');
Mojo::Promise->all($mojo, $cpan)->then(sub ($mojo, $cpan) {
say $mojo->[0]->res->code;
say $cpan->[0]->res->code;
})->catch(sub ($err) {
warn "Something went wrong: $err";
})->wait;
# Synchronize non-blocking operations (race)
my $mojo = get_p('https://mojolicious.org');
my $cpan = get_p('https://metacpan.org');
Mojo::Promise->race($mojo, $cpan)->then(sub ($tx) {
say $tx->req->url, ' won!';
})->catch(sub ($err) {
warn "Something went wrong: $err";
})->wait;
=head1 DESCRIPTION
L<Mojo::Promise> is a Perl-ish implementation of L<Promises/A+|https://promisesaplus.com> and a superset of L<ES6
Promises|https://duckduckgo.com/?q=\mdn%20Promise>.
=head1 STATES
A promise is an object representing the eventual completion or failure of a non-blocking operation. It allows
non-blocking functions to return values, like blocking functions. But instead of immediately returning the final value,
the non-blocking function returns a promise to supply the value at some point in the future.
A promise can be in one of three states:
=over 2
=item pending
Initial state, neither fulfilled nor rejected.
=item fulfilled
Meaning that the operation completed successfully.
=item rejected
Meaning that the operation failed.
=back
A pending promise can either be fulfilled with a value or rejected with a reason. When either happens, the associated
handlers queued up by a promise's L</"then"> method are called.
=head1 ATTRIBUTES
L<Mojo::Promise> implements the following attributes.
=head2 ioloop
my $loop = $promise->ioloop;
$promise = $promise->ioloop(Mojo::IOLoop->new);
Event loop object to control, defaults to the global L<Mojo::IOLoop> singleton. Note that this attribute is weakened.
=head1 METHODS
L<Mojo::Promise> inherits all methods from L<Mojo::Base> and implements the following new ones.
=head2 all
my $new = Mojo::Promise->all(@promises);
Returns a new L<Mojo::Promise> object that either fulfills when all of the passed L<Mojo::Promise> objects have
fulfilled or rejects as soon as one of them rejects. If the returned promise fulfills, it is fulfilled with the values
from the fulfilled promises in the same order as the passed promises.
=head2 all_settled
my $new = Mojo::Promise->all_settled(@promises);
Returns a new L<Mojo::Promise> object that fulfills when all of the passed L<Mojo::Promise> objects have fulfilled or
rejected, with hash references that describe the outcome of each promise.
=head2 any
my $new = Mojo::Promise->any(@promises);
Returns a new L<Mojo::Promise> object that fulfills as soon as one of the passed L<Mojo::Promise> objects fulfills,
with the value from that promise.
=head2 catch
my $new = $promise->catch(sub {...});
Appends a rejection handler callback to the promise, and returns a new L<Mojo::Promise> object resolving to the return
value of the callback if it is called, or to its original fulfillment value if the promise is instead fulfilled.
# Longer version
my $new = $promise->then(undef, sub {...});
# Pass along the rejection reason
$promise->catch(sub (@reason) {
warn "Something went wrong: $reason[0]";
return @reason;
});
# Change the rejection reason
$promise->catch(sub (@reason) { "This is bad: $reason[0]" });
=head2 clone
my $new = $promise->clone;
Return a new L<Mojo::Promise> object cloned from this promise that is still pending.
=head2 finally
my $new = $promise->finally(sub {...});
Appends a fulfillment and rejection handler to the promise, and returns a new L<Mojo::Promise> object resolving to the
original fulfillment value or rejection reason.
# Do something on fulfillment and rejection
$promise->finally(sub { say "We are done!" });
=head2 map
my $new = Mojo::Promise->map(sub {...}, @items);
my $new = Mojo::Promise->map({concurrency => 3}, sub {...}, @items);
Apply a function that returns a L<Mojo::Promise> to each item in a list of items while optionally limiting concurrency.
Returns a L<Mojo::Promise> that collects the results in the same manner as L</all>. If any item's promise is rejected,
any remaining items which have not yet been mapped will not be.
# Perform 3 requests at a time concurrently
Mojo::Promise->map({concurrency => 3}, sub { $ua->get_p($_) }, @urls)
->then(sub{ say $_->[0]->res->dom->at('title')->text for @_ });
These options are currently available:
=over 2
=item concurrency
concurrency => 3
The maximum number of items that are in progress at the same time.
=back
=head2 new
my $promise = Mojo::Promise->new;
my $promise = Mojo::Promise->new(sub {...});
Construct a new L<Mojo::Promise> object.
# Wrap a continuation-passing style API
my $promise = Mojo::Promise->new(sub ($resolve, $reject) {
Mojo::IOLoop->timer(5 => sub {
if (int rand 2) { $resolve->('Lucky!') }
else { $reject->('Unlucky!') }
});
});
=head2 race
my $new = Mojo::Promise->race(@promises);
Returns a new L<Mojo::Promise> object that fulfills or rejects as soon as one of the passed L<Mojo::Promise> objects
fulfills or rejects, with the value or reason from that promise.
=head2 reject
my $new = Mojo::Promise->reject(@reason);
$promise = $promise->reject(@reason);
Build rejected L<Mojo::Promise> object or reject the promise with one or more rejection reasons.
# Longer version
my $promise = Mojo::Promise->new->reject(@reason);
=head2 resolve
my $new = Mojo::Promise->resolve(@value);
$promise = $promise->resolve(@value);
Build resolved L<Mojo::Promise> object or resolve the promise with one or more fulfillment values.
# Longer version
my $promise = Mojo::Promise->new->resolve(@value);
=head2 then
my $new = $promise->then(sub {...});
my $new = $promise->then(sub {...}, sub {...});
my $new = $promise->then(undef, sub {...});
Appends fulfillment and rejection handlers to the promise, and returns a new L<Mojo::Promise> object resolving to the
return value of the called handler.
# Pass along the fulfillment value or rejection reason
$promise->then(
sub (@value) {
say "The result is $value[0]";
return @value;
},
sub (@reason) {
warn "Something went wrong: $reason[0]";
return @reason;
}
);
# Change the fulfillment value or rejection reason
$promise->then(
sub (@value) { return "This is good: $value[0]" },
sub (@reason) { return "This is bad: $reason[0]" }
);
=head2 timer
my $new = Mojo::Promise->timer(5 => 'Success!');
$promise = $promise->timer(5 => 'Success!');
$promise = $promise->timer(5);
Create a new L<Mojo::Promise> object with a timer or attach a timer to an existing promise. The promise will be
resolved after the given amount of time in seconds with or without a value.
=head2 timeout
my $new = Mojo::Promise->timeout(5 => 'Timeout!');
$promise = $promise->timeout(5 => 'Timeout!');
$promise = $promise->timeout(5);
Create a new L<Mojo::Promise> object with a timeout or attach a timeout to an existing promise. The promise will be
rejected after the given amount of time in seconds with a reason, which defaults to C<Promise timeout>.
=head2 wait
$promise->wait;
Start L</"ioloop"> and stop it again once the promise has been fulfilled or rejected, does nothing when L</"ioloop"> is
already running.
=head1 DEBUGGING
You can set the C<MOJO_PROMISE_DEBUG> environment variable to get some advanced diagnostics information printed to
C<STDERR>.
MOJO_PROMISE_DEBUG=1
=head1 SEE ALSO
L<Mojolicious>, L<Mojolicious::Guides>, L<https://mojolicious.org>.
=cut