(our @CLASSES = qw(
Hypothesis Scope ResolvedPropositionSet Proposition DependencyMap
PropositionSequence QueryState ShellState ShellSession SearchState
+ ResolutionSpace ResolutionStrategy Resolution
)),
(our @ROLES = qw(
- Step Action ActionPolicy Predicate Value
+ Step Action ActionPolicy Predicate Value ActionBuilder Update
)),
qw(
- DependencyType _DependencyTree DependecySpec
- One DependencyGroupEntry DependencyGroup
+ DependencyType _DependencyTree DependencySpec
+ One DependencyGroupEntry DependencyGroup ValuePath
+ EventType ApertureList DependencyList
),
)
;
class_type DictValue => { class => 'DX::Value::Dict' };
-declare AlternativeList => as ArrayRef[Tuple[Hypothesis, Step]];
+declare ValuePath => as ArrayRef[Str];
+
+declare PropositionList => as ArrayRef[Proposition];
+
+declare DecisionList => as ArrayRef[Tuple[ResolutionSpace, SearchState]];
declare DependencyType => where {
foreach my $cand (EXISTENCE_OF, TYPE_OF, INDICES_OF, CONTENTS_OF) {
declare _DependencyTree => where { is_DependencyTree($_) };
-declare DependencySpec => as Tuple[DependencyType, slurpy ArrayRef[Str]];
+declare DependencySpec => as Tuple[DependencyType, slurpy ValuePath];
+
+declare DependencyList => as ArrayRef[DependencySpec];
declare One => where { !ref($_) and $_ eq 1 };
(Optional[Maybe[HashRef[One]]]) x 4
]];
-declare DependencyGroupEntry =>
- as Tuple[DependencyType, slurpy ArrayRef[Value|Str]];
-
-declare DependencyGroup =>
- as Tuple[Maybe[Value], slurpy ArrayRef[DependencyGroupEntry]];
+declare ApertureList => as ArrayRef[Tuple[EventType, slurpy ValuePath]];
-declare DependencyGroupList => as ArrayRef[DependencyGroup];
+## These were from the dependency group thing which makes no sense until
+## we have scoping, so revisit it then
+#
+#declare DependencyGroupEntry =>
+# as Tuple[DependencyType, slurpy ArrayRef[Value|Str]];
+#
+#declare DependencyGroup =>
+# as Tuple[Maybe[Value], slurpy ArrayRef[DependencyGroupEntry]];
+#
+#declare DependencyGroupList => as ArrayRef[DependencyGroup];
1;