X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMoose%2FMeta%2FTypeConstraint%2FParameterized.pm;h=dc4f3836e415b6c8915a807e1e2daf16d7663a95;hb=d03bd989b97597428b460d7f9a021e2931893fa0;hp=838122505336c57460543808cd5b6a5d16654b10;hpb=dc39b8509deeefd2204942516e4161ac10a2a38d;p=gitmo%2FMoose.git diff --git a/lib/Moose/Meta/TypeConstraint/Parameterized.pm b/lib/Moose/Meta/TypeConstraint/Parameterized.pm index 8381225..dc4f383 100644 --- a/lib/Moose/Meta/TypeConstraint/Parameterized.pm +++ b/lib/Moose/Meta/TypeConstraint/Parameterized.pm @@ -8,7 +8,7 @@ use Scalar::Util 'blessed'; use Moose::Util::TypeConstraints; use Moose::Meta::TypeConstraint::Parameterizable; -our $VERSION = '0.70'; +our $VERSION = '0.75_01'; $VERSION = eval $VERSION; our $AUTHORITY = 'cpan:STEVAN'; @@ -25,7 +25,7 @@ sub equals { my $other = Moose::Util::TypeConstraints::find_type_constraint($type_or_name); return unless $other->isa(__PACKAGE__); - + return ( $self->type_parameter->equals( $other->type_parameter ) and @@ -35,25 +35,30 @@ sub equals { sub compile_type_constraint { my $self = shift; - - ($self->has_type_parameter) - || Moose->throw_error("You cannot create a Higher Order type without a type parameter"); - + + unless ( $self->has_type_parameter ) { + require Moose; + Moose->throw_error("You cannot create a Higher Order type without a type parameter"); + } + my $type_parameter = $self->type_parameter; - - (blessed $type_parameter && $type_parameter->isa('Moose::Meta::TypeConstraint')) - || Moose->throw_error("The type parameter must be a Moose meta type"); + + unless ( blessed $type_parameter && $type_parameter->isa('Moose::Meta::TypeConstraint') ) { + require Moose; + Moose->throw_error("The type parameter must be a Moose meta type"); + } foreach my $type (Moose::Util::TypeConstraints::get_all_parameterizable_types()) { if (my $constraint = $type->generate_constraint_for($self)) { $self->_set_constraint($constraint); - return $self->SUPER::compile_type_constraint; + return $self->SUPER::compile_type_constraint; } } - - # if we get here, then we couldn't + + # if we get here, then we couldn't # find a way to parameterize this type - Moose->throw_error("The " . $self->name . " constraint cannot be used, because " + require Moose; + Moose->throw_error("The " . $self->name . " constraint cannot be used, because " . $self->parent->name . " doesn't subtype or coerce from a parameterizable type."); } @@ -71,29 +76,21 @@ __END__ =head1 NAME -Moose::Meta::TypeConstraint::Parameterized - Higher Order type constraints for Moose +Moose::Meta::TypeConstraint::Parameterized - Type constraints with a bound parameter (ArrayRef[Int]) =head1 METHODS -=over 4 - -=item B - -=item B - -=item B - -=item B - -=item B +This class is intentionally not documented because the API is +confusing and needs some work. -=item B +=head1 INHERITANCE -=back +C is a subclass of +L. =head1 BUGS -All complex software has bugs lurking in it, and this module is no +All complex software has bugs lurking in it, and this module is no exception. If you find a bug please either email me, or add the bug to cpan-RT.