package DX::RuleSet;
use Moo;
+use DX::Op::SetupScope;
use DX::Op::CallRule;
use DX::Op::MemberOf;
use DX::Op::ApplyConstraint;
use DX::Op::Observe;
use DX::Op::Not;
use DX::Op::ProposeAction;
+use DX::Op::ModifyAction;
use DX::Op::Materialize;
use DX::Op::Prop;
use DX::Op::Exists;
+use DX::Op::Predicate;
+use DX::Op::HasAction;
+use DX::Op::FindAll;
+use DX::Op::ForEach;
use List::Util qw(reduce);
has rules => (is => 'ro', default => sub { {} });
+sub add_predicate {
+ my ($self, $name, $vars, @cases) = @_;
+ my $full_name = join('/', $name, scalar @$vars);
+ push @{$self->rules->{$full_name}}, DX::Op::Predicate->new(
+ arg_names => $vars, arg_cases => \@cases
+ );
+}
+
sub add_rule {
my ($self, $name, $vars, @body) = @_;
my $full_name = join('/', $name, scalar @$vars);
sub _make_rule {
my ($self, $vars, @body) = @_;
my $head = $self->expand_and_link(DX::Op::Return->new, @body);
- [ $vars, $head ];
+ DX::Op::SetupScope->new(arg_names => $vars, next => $head);
}
sub expand_and_link {
);
}
+sub _expand_op_findall {
+ my ($self, $coll_name, $var_name, @contents) = @_;
+ DX::Op::FindAll->new(
+ coll_name => $coll_name,
+ var_name => $var_name,
+ body => $self->expand_and_link(DX::Op::Return->new, @contents),
+ );
+}
+
+sub _expand_op_foreach {
+ my ($self, $var_name, $body, $each_body) = @_;
+ DX::Op::ForEach->new(
+ var_name => $var_name,
+ body => $self->expand_and_link(DX::Op::Return->new, @$body),
+ each_body => $self->expand_and_link(DX::Op::Return->new, @$each_body),
+ );
+}
+
sub _expand_op_member_of {
my ($self, $member_var, $coll_var) = @_;
DX::Op::MemberOf->new(
);
}
+sub _expand_op_react {
+ my ($self, $vars, $builder) = @_;
+ DX::Op::ModifyAction->new(
+ vars => $vars,
+ builder => $builder,
+ );
+}
+
sub _expand_op_materialize {
- my ($self, $var_name) = @_;
- DX::Op::Materialize->new(var_name => $var_name);
+ my ($self) = @_;
+ DX::Op::Materialize->new;
}
sub _expand_op_prop {
);
}
+sub _expand_op_has_action {
+ my ($self, @args) = @_;
+ DX::Op::HasAction->new(arg_spec => \@args);
+}
+
1;