__PACKAGE__->meta->add_attribute('type_constraints' => (
accessor => 'type_constraints',
- default => sub { [] }
+ default => sub { [] },
+ Class::MOP::_definition_context(),
));
sub new {
sub can_be_inlined {
my $self = shift;
- return all { $_->can_be_inlined } @{ $self->type_constraints };
+ # This was originally done with all() from List::MoreUtils, but that
+ # caused some sort of bizarro parsing failure under 5.10.
+ for my $tc ( @{ $self->type_constraints } ) {
+ return 0 unless $tc->can_be_inlined;
+ }
+
+ return 1;
}
sub _inline_check {
my $self = shift;
my $val = shift;
- return
- join ' || ', map { '(' . $_->_inline_check($val) . ')' }
- @{ $self->type_constraints };
-};
+ return '('
+ . (
+ join ' || ', map { '(' . $_->_inline_check($val) . ')' }
+ @{ $self->type_constraints }
+ )
+ . ')';
+}
sub inline_environment {
my $self = shift;
return @other_constraints == 0;
}
-sub parents {
+sub parent {
my $self = shift;
- $self->type_constraints;
+
+ my ($first, @rest) = @{ $self->type_constraints };
+
+ for my $parent ( $first->_collect_all_parents ) {
+ return $parent if all { $_->is_a_type_of($parent) } @rest;
+ }
+
+ return;
}
sub validate {
sub is_a_type_of {
my ($self, $type_name) = @_;
- foreach my $type (@{$self->type_constraints}) {
- return 1 if $type->is_a_type_of($type_name);
- }
- return 0;
+
+ return all { $_->is_a_type_of($type_name) } @{ $self->type_constraints };
}
sub is_subtype_of {
my ($self, $type_name) = @_;
- foreach my $type (@{$self->type_constraints}) {
- return 1 if $type->is_subtype_of($type_name);
- }
- return 0;
+
+ return all { $_->is_subtype_of($type_name) } @{ $self->type_constraints };
}
sub create_child_type {
This returns the array reference of C<type_constraints> provided to
the constructor.
-=item B<< $constraint->parents >>
+=item B<< $constraint->parent >>
-This returns the same constraint as the C<type_constraints> method.
+This returns the nearest common ancestor of all the components of the union.
=item B<< $constraint->check($value) >>
=item B<< $constraint->is_a_type_of($type_name_or_object) >>
-This returns true if any of the member type constraints return true
+This returns true if all of the member type constraints return true
for the C<is_a_type_of> method.
=item B<< $constraint->is_subtype_of >>
-This returns true if any of the member type constraints return true
+This returns true if all of the member type constraints return true
for the C<is_a_subtype_of> method.
=item B<< $constraint->create_child_type(%options) >>