add types to Proposition and PropositionSequence

[scpubgit/DX.git] / lib / DX / Proposition.pm

diff --git a/lib/DX/Proposition.pm b/lib/DX/Proposition.pm
index b682392..1415276 100644 (file)
--- a/lib/DX/Proposition.pm
+++ b/lib/DX/Proposition.pm
@@ -5,11 +5,11 @@ use DX::Class;
 
 has predicate => (is => 'ro', isa => Str, required => 1);
 
-has args => (is => 'ro', isa => ArrayRef, required => 1);
+has args => (is => 'ro', isa => ArrayRef[Str|Value], required => 1);
 
-has introduced_names => (is => 'ro', isa => HashRef, required => 1);
+has introduced_names => (is => 'ro', isa => HashRef[One], required => 1);
 
-has required_names => (is => 'ro', isa => HashRef, required => 1);
+has required_names => (is => 'ro', isa => HashRef[One], required => 1);
 
 sub resolve_for {
   my ($self, $scope) = @_;