X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMoose%2FMeta%2FTypeConstraint%2FParameterizable.pm;h=52da95f37617b38aa9a059791795d5ff8608d549;hb=d4048ef33f6cad8a3453766505ee0c67690796f6;hp=e020b8c328f5b338b7c6a22c4dc4956fae920670;hpb=9409e92e75a6e1060eb3d0adcfc7965713d3d776;p=gitmo%2FMoose.git diff --git a/lib/Moose/Meta/TypeConstraint/Parameterizable.pm b/lib/Moose/Meta/TypeConstraint/Parameterizable.pm index e020b8c..52da95f 100644 --- a/lib/Moose/Meta/TypeConstraint/Parameterizable.pm +++ b/lib/Moose/Meta/TypeConstraint/Parameterizable.pm @@ -4,7 +4,7 @@ use strict; use warnings; use metaclass; -our $VERSION = '0.72'; +our $VERSION = '0.93'; $VERSION = eval $VERSION; our $AUTHORITY = 'cpan:STEVAN'; @@ -19,16 +19,16 @@ __PACKAGE__->meta->add_attribute('constraint_generator' => ( sub generate_constraint_for { my ($self, $type) = @_; - + return unless $self->has_constraint_generator; - + return $self->constraint_generator->($type->type_parameter) if $type->is_subtype_of($self->name); - + return $self->_can_coerce_constraint_from($type) if $self->has_coercion && $self->coercion->has_coercion_for_type($type->parent->name); - + return; } @@ -51,10 +51,10 @@ sub parameterize { my ($self, $type_parameter) = @_; my $contained_tc = $self->_parse_type_parameter($type_parameter); - + ## The type parameter should be a subtype of the parent's type parameter ## if there is one. - + if(my $parent = $self->parent) { if($parent->can('type_parameter')) { unless ( $contained_tc->is_a_type_of($parent->type_parameter) ) { @@ -88,32 +88,33 @@ __END__ =head1 NAME -Moose::Meta::TypeConstraint::Parameterizable - Higher Order type constraints for Moose - -=head1 METHODS +Moose::Meta::TypeConstraint::Parameterizable - Type constraints which can take a parameter (ArrayRef) -=over 4 +=head1 DESCRIPTION -=item B +This class represents a parameterizable type constraint. This is a +type constraint like C or C, that can be +parameterized and made more specific by specifying a contained +type. For example, instead of just an C of anything, you can +specify that is an C. -=item B +A parameterizable constraint should not be used as an attribute type +constraint. Instead, when parameterized it creates a +L which should be used. -=item B +=head1 INHERITANCE -=item B +C is a subclass of +L. -Given a single type constraint or type constraint string, this method -parameterizes the type based on the given argument. - -=item B +=head1 METHODS -=back +This class is intentionally not documented because the API is +confusing and needs some work. =head1 BUGS -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. +See L for details on reporting bugs. =head1 AUTHOR @@ -121,7 +122,7 @@ Stevan Little Estevan@iinteractive.comE =head1 COPYRIGHT AND LICENSE -Copyright 2006-2009 by Infinity Interactive, Inc. +Copyright 2006-2010 by Infinity Interactive, Inc. L