6 use DX::Op::MemberLookup;
7 use DX::Op::ApplyConstraint;
9 use List::Util qw(reduce);
11 has rules => (is => 'ro', default => sub { {} });
14 my ($self, $name, $vars, @body) = @_;
15 my $full_name = join('/', $name, scalar @$vars);
16 push @{$self->rules->{$full_name}}, $self->_make_rule($vars, @body);
21 my ($self, $vars, @body) = @_;
22 my $head = reduce { $b->but(next => $a) }
24 reverse map $self->expand(@$_), @body;
29 my ($self, $type, @rest) = @_;
30 $self->${\"_expand_${type}"}(@rest);
34 my ($self, $name, @args) = @_;
35 DX::Op::CallRule->new(rule_name => $name, rule_args => \@args);
38 sub _expand_member_of {
39 my ($self, $member_var, $coll_name) = @_;
40 DX::Op::MemberOf->new(
41 member_var => $member_var,
42 coll_name => $coll_name,
46 sub _expand_member_lookup {
47 my ($self, $member_var, $coll_name, $key_name, $key_var) = @_;
48 DX::Op::MemberLookup->new(
49 member_var => $member_var,
50 coll_name => $coll_name,
51 key_name => $key_name,
56 sub _expand_constrain {
57 my ($self, $vars, $constraint) = @_;
58 DX::Op::ApplyConstraint->new(
60 constraint => $constraint