[scpubgit/DX.git] / lib / DX / Step / InvokeNextPredicate.pm

package DX::Step::InvokeNextPredicate;

use DX::Class;

with 'DX::Role::Step';

has proposition => (is => 'ro', required => 1);

sub apply_to {
  my ($self, $hyp) = @_;
  return (undef, $self->proposition->resolve_for($hyp->scope));
}

1;
Commit	Line	Data
e647e417	1	package DX::Step::InvokeNextPredicate;
	2
	3	use DX::Class;
	4
	5	with 'DX::Role::Step';
	6
ccf0d4fe	7	has proposition => (is => 'ro', required => 1);
ccf0d4fe	8
e647e417	9	sub apply_to {
e647e417	10	my ($self, $hyp) = @_;
ccf0d4fe	11	return (undef, $self->proposition->resolve_for($hyp->scope));
e647e417	12	}
	13
	14	1;