use Return::MultiLevel qw(with_return);
use DX::Op::Backtrack;
use Scalar::Util qw(blessed);
+use List::MoreUtils qw(uniq);
use Safe::Isa;
use Moo;
has dependencies => (is => 'ro', default => sub { {} });
+has actions => (is => 'ro', default => sub { {} });
+
sub scope_var {
my ($self, $name) = @_;
$self->by_id->{$self->scope->{$name}};
sub resolve_value {
my ($self, $var) = @_;
+die("FUCK") unless $var;
+ die "Can't resolve unbound ${\$var->id}" unless $var->is_bound;
my $val = $var->bound_value;
if ($val->$_does('DX::Role::Ref')) {
return $val->resolve($self);
), %vars;
}
+sub record_action {
+ my ($self, $action) = @_;
+ my %id_gen = %{$self->id_gen};
+ my ($type) = (ref($action) =~ /([^:]+)$/);
+ my $id = join('_', $type, ++($id_gen{$type}||='000'));
+ my $recorded = $action->but(id => $id);
+ $self->but(
+ id_gen => \%id_gen,
+ actions => { %{$self->actions}, $id => $recorded }
+ ), $id;
+}
+
sub assign_vars {
my ($self, %vars) = @_;
my ($state, %expanded) = $self->expand_vars(%vars);
while (my $id = shift @queue) {
$seen{$id}++;
my $value = $self->resolve_value($by_id->{$id});
- push @found, $id if $value->$_does('DX::Role::Fact')
- and $value->has_required_action;
+ push @found, $value if $value->$_does('DX::Role::Fact')
+ and $value->has_required_action;
push @queue, grep !$seen{$_}, keys %{$deps->{$id}};
}
- return @found;
+ return uniq map $_->required_action, @found;
}
sub copy_vars {